Portland, Oregon, September 16, 2006
Satellite event of ACM SIGPLAN International Conference on Functional Programming, September 18-20, 2006
|
I N V I T A T I O N
|
|
Fifth ACM SIGPLAN Erlang
Workshop
Portland, Oregon, September 16, 2006 Satellite event of ACM SIGPLAN International Conference on Functional Programming, September 18-20, 2006 |
|
Erlang is a concurrent, distributed functional programming language aimed at systems with requirements on massive concurrency, soft real time response, fault tolerance, and high availability. It has been available as open source for several years creating a community that actively contributes to its already existing rich set of libraries and applications. Originally created for telecom applications, its usage has spread to other domains including e-commerce, banking, and computer telephony.
Erlang programs are today among the largest applications written in any functional programming language. These applications offer new opportunities to evaluate functional programming and functional programming methods on a very large scale and suggest new problems for the research community to solve.
This workshop will bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming.
| Workshop Program | ||||||||||||||||||||||||||||||||||
| 08.30 | Registration | |||||||||||||||||||||||||||||||||
| 08.50 | Welcome by the Workshop Chairman | |||||||||||||||||||||||||||||||||
| Session I: Tutorial | ||||||||||||||||||||||||||||||||||
| 09.00 | Large Scale Software Engineering with Erlang: Using Advanced Erlang/OTP
Francesco Cesarini | |||||||||||||||||||||||||||||||||
| 10.30 | Break | |||||||||||||||||||||||||||||||||
| Session II: Testing | ||||||||||||||||||||||||||||||||||
| 11.00 | Simon Thompson, University of Kent, UK, Session Chairman | |||||||||||||||||||||||||||||||||
| - | EUnit - a Lightweight Unit Testing Framework for Erlang
Richard Carlsson | |||||||||||||||||||||||||||||||||
| - | Testing Telecoms Software with Quviq QuickCheck
Thomas Arts, John Hughes et al | |||||||||||||||||||||||||||||||||
| - | Model Checking Erlang Programs: The Functional Approach
Lars-Åke Fredlund and Clara Benac Earle | |||||||||||||||||||||||||||||||||
| 12.30 | Lunch break | |||||||||||||||||||||||||||||||||
Session III: Language
| 14.30 | Rex Page, University of Oklahoma, USA,
Session Chairman | - |
Concurrency Oriented Programming in Termite Scheme
| Guillaume Germain - |
Dryverl: a Flexible Erlang/C Binding Compiler
| Romain Lenglet and Shigeru Chiba - |
Concurrent Caching
| Jay Nelson - |
Towards Automatic Verification of Erlang Programs by PI-Calculus Translation
| C.K. Roy, T. Noll, B. Roy and J.R. Cordy 16.00 | Break |
Session IV: Applications | 16.30 | Richard Carlsson, IAR Systems, Sweden,
Session Chairman | - |
The Ericsson Integrated Site Framework
| Joakim Johansson - |
Comparing C++ and Erlang for Motorola Telecoms Software
| Phil Trinder - |
From HTTP to HTML - Erlang/OTP Experiences in Web Based Service Applications
| Lukas Larsson and Michal Slaski - |
Evaluation of DBMS for Erlang
| Emil Hellman 18.00 | Final comments from the Program Committee | | | ||||||||
| Workshop Chair |
|
| Program Chair |
|
| Program Committee |
|
| Local Information and Accomodation |
|
| Registration Details | |||||||||||||
| |||||||||||||
|
|||||||||||||
| Related Links |
|