Erlang Workshop 2005: Tallinn, Estonia

Binaries and bit stream processing

• Per Gustafsson, Konstantinos F. Sagonas:
  Bit-level binaries and generalized comprehensions in Erlang. 1-8
  
• Jay Nelson:
  A stream library using Erlang binaries. 9-16
  

Implementation

• Tobias Lindahl, Konstantinos F. Sagonas:
  TypEr: a type annotator of Erlang code. 17-25
  
• Clara Benac Earle, Lars-Åke Fredlund, John Derrick:
  Verifying fault-tolerant Erlang programs. 26-34
  
• Hans Svensson, Thomas Arts:
  A new leader election implementation. 35-39
  
• Thomas Lindgren:
  Atom garbage collection. 40-45
  

Applications

• Simon Aurell:
  Remote controlling devices using instant messaging: building an intelligent gateway in Erlang/OTP. 46-51
  
• Javier París, Víctor M. Gulías, Alberto Valderruten:
  A high performance Erlang Tcp/Ip stack. 52-61
  
• Antonella Di Stefano, Francesca Gangemi, Corrado Santoro:
  ERESYE: artificial intelligence in Erlang programs. 62-71
  

Theory

• Thomas Noll, Chanchal Kumar Roy:
  Modeling Erlang in the pi-calculus. 72-77
  
• Koen Claessen, Hans Svensson:
  A semantics for distributed Erlang. 78-87