Fourth ACM SIGPLAN Erlang Workshop Tallinn, Estonia, September 25, 2005 Satellite event of ACM SIGPLAN International Conference on Functional Programming, September 26-28, 2005 |
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 Programme | ||||
08.30 | Registration | |||
08.50 | Welcome by the PC and Workshop Chair | |||
Session I | ||||
09.00 | Invited Talk Ulf Wiger | |||
09.45 | A Stream Library using Erlang Binaries Jay Nelson | (slides) | ||
10.00 | Bit-Level Binaries and Generalized
Comprehensions in Erlang Per Gustafsson and Konstantinos Sagonas | (slides) | ||
10.30 | Break | |||
Session II | ||||
11.00 | TypEr: A Type Annotator of Erlang Code Tobias Lindahl and Konstantinos Sagonas | (slides) | ||
11.30 | Verifying Fault Tolerant Erlang Programs Clara Benac Earle, Lars-Åke Fredlund, and John Derrick |
(slides) | ||
12.00 | A New Leader Election Implementation Hans Svensson and Thomas Arts | (slides) | ||
12.15 | Atom Garbage Collection Thomas Lindgren | (slides) | ||
12.30 | Lunch break | |||
Session III | ||||
14.30 | Remote Controlling Devices using Instant
Messaging Simon Aurell |
(slides) | ||
15.00 | A High Performance Erlang TCP/IP Stack Javier París, Alberto Valderruten, and Victor M. Gulias | (slides) | ||
15.30 | ERESYE: Artificial Intelligence in
Erlang Programs Antonella Di Stefano, Francesca Gangemi, and Corrado Santoro | (slides) | ||
16.00 | Break | |||
Session IV | ||||
16.30 | Modeling Erlang in the Pi-Calculus Thomas Noll and Chanchal Kumar Roy |
(slides) | ||
17.00 | A Semantics for Distributed Erlang Koen Claessen and Hans Svensson | (slides) | ||
17.15 | 5-minute "Madness" Session Various participants | |||
18.00 | Discussion, Report from the Program Committee, Closing Comments |
Workshop Chair |
|
Program Chair |
|
Program Committee |
|
Venue |
|
Registration Details |
|
Accomodation and Travel |
|
Related Links |
|