- Haskell - Haskell.org

Postdoctoral position in Functional Programming and Many-Cores
by Sven-Bodo Scholz 05 Dec '07

05 Dec '07

+----------------------------------------------------------------------------+ POSTDOCTORAL RESEARCH FELLOW IN PROGRAMMING LANGUAGES School of Computer Science University of Hertfordshire, UK Applications are invited for a 3-year postdoctoral research fellowship in functional programming, to work with Dr Sven-Bodo Scholz on the EU-funded project "Architecture Paradigms and Programming Languages for Efficient programming of multiple CORES" (Apple-CORE). The advent of multicore processors has raised new demand for techniques that allow mainstream programmers to effectively utilise machines with a rapidly growing amount of concurrency available at the hardware level. Decades of research into parallel programming have identified several challenges that need to be overcome to achieve this goal. Although the functional paradigm substantially facilitates the identification of concurrently executable tasks, its resource scheduling has proven to be a major challenge. Only in restricted settings, such as the data parallel setting of the functional language SaC (<http://www.sac-home.org/>), has it been shown that satisfactory auto-parallelisation can be achieved by means of sophisticated program analysis. This project is based on a novel micro-threaded hardware architecture developed at the University of Amsterdam (<http://www.science.uva.nl/research/csa/microgrids.html>). Its unique features are support for resource scheduling and fine-grain synchronisation facilities in hardware. These features make it an ideal target architecture for functional programs. The aim of the project is to explore how this may be achieved. If successful, we expect not only an improvement in the data-prallel setting, but we also believe that scalable auto-parallelisation could be possible with other forms of concurrency. Applicants for this position will hold a PhD in Computer Science, and have research experience in programming languages. Experience in any of the following areas is desireable: functional programming, compiler construction, type systems, concurrency theory, high-performance computing, or scientific applications. The successful applicant will work in collaboration with the Compiler Technology and Computer Architecture group at the University of Hertfordshire, a rapidly expanding centre for research on functionally inspired approaches to the efficient utilisation of highly parallel architectures. The group currently comprises 4 academic staff, 1 research staff, and 4 PhD students plus a regular influx of shorter-term research visitors from other labs in the EU, Japan, and the US. Salary will be within the range 25,134 - 32,796 pounds per year, depending on qualifications and experience. The post is available immediately, and will be offered on a term contract for 3 years. Further details regarding the position and how to apply are available from Dr Sven-Bodo Scholz, S.Scholz(a)herts.ac.uk. Applications will be screened as they arrive. For full consideration apply before 9. January 2008. +----------------------------------------------------------------------------+ | Dr Sven-Bodo Scholz Email : S.Scholz(a)herts.ac.uk | | School of Computer Science | | University of Herfordshire Web : hompages.feis.herts.ac.uk/~comqss/ | | College Lane Campus | | Hatfield, Herts, AL10 9AB, UK Phone : +44 (0)1707 28 6403 | +----------------------------------------------------------------------------+

1 0

3 PhD Stipends in Functional Programming and Many-Cores
by Sven-Bodo Scholz 05 Dec '07

05 Dec '07

+----------------------------------------------------------------------------+ PHD STUDENTSHIPS IN PROGRAMMING LANGUAGES School of Computer Science University of Hertfordshire, UK Applications are invited for a 3-year PhD studentship in the Compiler Technology and Computer Architecture group within the School of Computer Science. We can offer three EU-funded PhD studentships as part of the EU projects "Self-Adaptive Embedded Technologies for Pervasive Computing Architectures" (Aether) and "Architecture Paradigms and Programming Languages for Efficient Programming of Multiple Cores" (Apple-CORE). The advent of multicore processors has raised new demand for techniques that allow mainstream programmers to effectively utilise machines with a rapidly growing amount of concurrency available at the hardware level. In both of the aforementioned EU-projects we address that challenge using functional techniques. While the Aether project is concerned with a stream-processing approach based on the language S-Net (<http://snet.feis.herts.ac.uk/>), the Apple-CORE project investigates the suitability of a novel micro-threaded hardware architecture as a compilation target for functional programming languages such as the high-performance language SaC (<http://www.sac-home.org/>). The architecture under consideration is developed by our partners at the University of Amsterdam (<http://www.science.uva.nl/research/csa/microgrids.html>). To strengthen our research team we are looking for up to three new PhD students, who want to be involved in the theoretical and practical aspects of programming language and compiler research for the upcoming generation of highly parallel hardware architectures. Applicants should have a good honours degree or equivalent in a relevant discipline. Experience in any of the following areas is desireable: functional programming, compiler construction, type systems, concurrency theory, high-performance computing, or scientific applications. Successful applicants will become a member of the Compiler Technology and Computer Architecture group at the University of Hertfordshire, a rapidly expanding centre for research on functionally inspired approaches to the efficient utilisation of highly parallel architectures. The group currently comprises 4 academic staff, 1 research staff, and 4 PhD students plus a regular influx of shorter-term research visitors from other labs in the EU, Japan, and the US. The studentships come with a usually tax-free stipend of approximately GBP 12,600 per annum with all tuition fees and research costs being covered separately. Although the studentships do not include any teaching obligations, teaching experience can be gained by taking up extra duties which are paid for on an hourly basis. Further details regarding the studentships and how to apply are available from Mrs Lorraine Nicholls, Research Student Administrator, STRI, Faculty of Engineering and Information Sciences, University of Hertfordshire, College Lane, Hatfield, Herts, AL10 9AB, UK. Tel: +44 (0) 1707 286083 Fax: +44 (0) 1707 284185 or email: L.Nicholls(a)herts.ac.uk. Note, all applications must be made via Lorraine Nicholls. Informal discussions with one of the potential PhD supervisors, Dr Sven-Bodo Scholz (S.Scholz(a)herts.ac.uk) are encouraged before handing in an application. The short-listing process will beginn on 9. January 2008. +----------------------------------------------------------------------------+ | Dr Sven-Bodo Scholz Email : S.Scholz(a)herts.ac.uk | | School of Computer Science | | University of Herfordshire Web : hompages.feis.herts.ac.uk/~comqss/ | | College Lane Campus | | Hatfield, Herts, AL10 9AB, UK Phone : +44 (0)1707 28 6403 | +----------------------------------------------------------------------------+

1 0

New releases for Edison, Shellac, and the Lambda Shell
by Robert Dockins 05 Dec '07

05 Dec '07

Fellow Haskellers, The following packages have now all been updated to compile correctly with GHC 6.8.x and Cabal 1.2.x. Cabal 1.2 is now supported and required. GHC 6.6.x and 6.8.x are supported. I would also like to announce that these projects are now hosted from a new web home. If you have bookmarks or automated build systems that point to older versions of these packages, please update them to point to the new locations listed below. The old website will not dissapear, but it will no longer be updated. Thank you! Edison 1.2.1.1 Edison is a library of purely function data structures for Haskell. Project homepage: http://www.cs.princeton.edu/~rdockins/edison/home/ Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/EdisonAPI-1.2.1 http://hackage.haskell.org/cgi-bin/hackage-scripts/package/EdisonCore-1.2.1… Shellac 0.9.1 Shellac is a framework for building read-eval-print style shells. Shells are created by declaratively defining a set of shell commands and an evaluation function. Project homepage: http://www.cs.princeton.edu/~rdockins/shellac/home/ Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Shellac-0.9.1 http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Shellac-readline… Lambda Shell 0.9.1 The Lambda Shell is a feature-rich shell environment and command-line tool for evaluating terms of the pure, untyped lambda calculus. The Lambda Shell builds on the shell creation framework Shellac, and showcases most of Shellac's features. Project homepage: http://www.cs.princeton.edu/~rdockins/lambda/home/ Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/LambdaShell-0.9.1

1 0

Re: Haskell Digest, Vol 52, Issue 1
by Rishiyur Nikhil 04 Dec '07

04 Dec '07

Simon Peyton-Jones said: > But since the read may block, it matters *when* you perform it. > For example if you print "Hello" and then read the IVar, you'll > block after printing; but if you read the IVar and then print, the > print won't come out. If the operation was pure (no IO) then you'd > have a lot less control over when it happened. But this is true of any expression in a non-strict language. Why the special treatment of IVars? Nikhil

4 3

Small Workshop: DEPENDENTLY TYPED PROGRAMMING
by Peter Morris 04 Dec '07

04 Dec '07

Hi everybody, You may be interested to know that we (Thorsten Altenkirch, Tarmo Uustalu & myself) are organizing a small TYPES workshop on *Dependently Typed Programming*. This is a workshop in the tradition of previous workshops on "Dependent Types in Programming" and "Dependently Typed Programming" which cover the use of dependent types in programming in languages like Agda, Cayenne, Coq's CIC, DML, Epigram, Omega, ... The workshop is taking place 18-20 February in Nottingham at the NCSL conference centre. This is on campus but much nicer than the usual student accommodation! The invited speakers at the workshop will be Lennart Augustsson and Xavier Leroy. For more details see the web page: http://sneezy.cs.nott.ac.uk/darcs/DTP08 <http://sneezy.cs.nott.ac.uk/darcs/> The deadline for talks and registration will be in January. However, if you know you would like to come we would appreciate it if you could email us (_@_ dtpnott08 cs.nott.ac.uk) as soon as possible to register your intentions. We have to promise a certain number of rooms and you will also ensure you get accommodation at the NCSL. Cheers, The Organizers

1 0

REMINDER: HC&A Report (December 2007 edition)
by Andres Loeh 04 Dec '07

04 Dec '07

Dear Haskellers, the deadline for the December 2007 edition of the Haskell Communities and Activities Report is only a few days away. If you haven't already, please write an entry for your new project, or update your old entry. Until now, I have about 30 reactions. This is okay compared to the development of previous editions, but not enough given the number of announcements on this list during the past months. Also, many regular contributors haven't yet submitted their entries. Please do! The deadline is Friday, 7 December 2007. If you absolutely cannot make it by Friday, I may be able to give a few days extension on an individual basis. Please contact me if you have any questions. Please mail your entries to <hcar at haskell dot org>, in plain text or pseudo-(La)TeX format. More information can be found in the original Call for Contributions at http://www.haskell.org/pipermail/haskell/2007-November/019988.html I look forward to receiving your contributions. Thanks a lot, Andres (current editor)

1 0

Jobs in Functional Programming event at Chalmers
by John Hughes 03 Dec '07

03 Dec '07

I'm proud to announce that the first "Jobs in Functional Programming" recruitment evening will be held at Chalmers University on the 14th of December. As far as I am aware, this is the first time such an event has been held anywhere in the world. While we're holding the event at Chalmers because we have many skilled functional programmers among our students, it is of course open to anyone who would like to take part. All the details can be found at www.jobs-in-fp.org. Welcome to what promises to be a very exciting event! John Hughes

1 0

Doctoral and Post-doctoral openings at Rice
by Walid Taha 30 Nov '07

30 Nov '07

The Resource-Aware Programming (RAP) research group at Rice University is seeking qualified doctoral and post-doctoral students. The openings will support work on a wide range of topics, including the Concoqtion programming language, physically safe computing, and device drivers. The full descriptions of these positions can be found at: http://www.resource-aware.org/twiki/bin/view/RAP/OpeningsGraduate and http://www.resource-aware.org/twiki/bin/view/RAP/OpeningsPostdoctoral Funding for these positions is provided by the National Science Foundation (NSF) and by industrial partners including Intel, LogicBlox, and Schlumberger. Walid Taha, http://www.cs.rice.edu/~taha Department of Computer Science Rice University Houston, TX 77025

1 0

Call for Papers - SBLP 2008 (12th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES)
by Heron 30 Nov '07

30 Nov '07

12th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES <http://www.lia.ufc.br/sblp2008> http://www.lia.ufc.br/sblp2008 Fortaleza, Ceara, Brazil August 27-29, 2008 CALL FOR PAPERS AND TUTORIALS The 12th Brazilian Symposium on Programming Languages, SBLP 2008, will be held in Fortaleza, Ceara, Brazil, on August 27-29, 2008. SBLP provides a venue for researchers and practitioners interested in the fundamental principles and innovations in the design and implementation of programming languages and systems. SBLP 2008 invites authors to contribute with Technical Papers and Tutorial Proposals related (but not limited) to: * Programming language design and implementation * Formal semantics of programming languages * Theoretical foundations of programming languages * Design and implementation of programming language environments * Object-oriented programming languages * Functional programming * Aspect-oriented programming languages * Scripting languages * Domain-specific languages * Programming languages for mobile, web and network computing * New programming models * Program transformations * Program analysis and verification * Compilation and interpretation techniques Contributions can be written in Portuguese or English. Papers should have at most 14 pages. All accepted papers will be published in the conference proceedings. Selected papers will appear in a Special Issue of the Journal of Universal Computer Science (J.UCS). Only papers written in English are eligible to be published in JUCS. Papers should be presented in the language of submission. Tutorial submissions must be in the form of an extended abstract with at most 10 pages. The final version of accepted tutorials should contain at most 30 pages. This final version will be distributed to attendees. An abstract of the tutorial (1-2 pages) will be included in the conference proceedings. Detailed submission guidelines are available at <http://www.lia.ufc.br/sblp2008> http://www.lia.ufc.br/sblp2008. IMPORTANT DATES Paper abstract submission (15 lines): March 28, 2008 Full paper submission: April 4, 2008 Notification of acceptance: June 6, 2008 Final papers due: June 30, 2008 GENERAL CHAIR Francisco Heron de Carvalho Junior, UFC PROGRAMME CHAIRS Marco Tulio Valente, PUC Minas Peter Mosses, Swansea University PROGRAMME COMMITTEE Alberto Pardo, Univ. de La Republica Alex Garcia, IME Alfio Martini, PUC-RS Alvaro Freitas Moreira, UFRGS Andre Rauber Du Bois, UCPel Andre Santos, UFPE Carlos Camarao, UFMG Christiano Braga, Univ. Comp. de Madrid David Naumann, Stevens Tech Eric Tanter, Univ. of Chile Francisco Heron de Carvalho Junior, UFC Isabel Cafezeiro, UFF Johan Jeuring, Utrecht Univ. Joao Saraiva, Univ. do Minho Jose Guimaraes, UFSCAR Jose E. Labra Gayo, Univ. of Oviedo Jose Luiz Fiadeiro, Univ. of Leicester Lucilia Figueiredo, UFOP Luis Soares Barbosa, Univ. do Minho Luis Carlos Meneses, UPE Marcelo A. Maia, UFU Mariza A. S. Bigonha, UFMG Martin A. Musicante, UFRN Nabor Mendonca,UNIFOR Nick Benton, Microsoft Research Noemi Rodriguez, PUC-Rio Paulo Borba, UFPE Rafael Dueire Lins, UFPE Renato Cerqueira, PUC-Rio Ricardo Massa Lima, UPE Roberto S. Bigonha, UFMG Roberto Ierusalimschy, PUC-Rio Rodolfo Jardim de Azevedo, UNICAMP Sandro Rigo, UNICAMP Sergio de Mello Schneider, UFU Sergio Soares, UPE Sergiu Dascalu, Univ. of Nevada Simon Thompson, Univ. of Kent Varmo Vene, Univ. de Tartu Vitor Santos Costa, UFRJ Vladimir Di Iorio, UFV ORGANIZATION Brazilian Computer Society and Federal University of Ceara

1 0

Bug in hugs?
by Damian Nadales 27 Nov '07

27 Nov '07

Hi, I'm sorry to bother. I was using the splitRegex function http://cvs.haskell.org/Hugs/pages/libraries/base/Text-Regex.html#t%3ARegex and it enters an infinite loop when I enter the command (splitRegex (mkRegex "") "hi") I apologize if this is not a bug or if it's the wrong place to submit it. Best regards, damian.

1 0