Erlang Workshop 2006: Portland, Oregon, USA

Testing

• Richard Carlsson, Mickaël Rémond:
  EUnit: a lightweight unit testing framework for Erlang. 1
  
• Thomas Arts, John Hughes, Joakim Johansson, Ulf Wiger:
  Testing telecoms software with quviq QuickCheck. 2-10
  
• Lars-Åke Fredlund, Clara Benac Earle:
  Model checking erlang programs: the functional approach. 11-19
  

Language

• Guillaume Germain:
  Concurrency oriented programming in termite scheme. 20
  
• Romain Lenglet, Shigeru Chiba:
  Dryverl: a flexible Erlang/C binding compiler. 21-31
  
• Jay Nelson:
  Concurrent caching. 32-38
  
• Chanchal Kumar Roy, Thomas Noll, Banani Roy, James R. Cordy:
  Towards automatic verification of Erlang programs by pi-calculus translation. 38-50
  

Applications

• Philip W. Trinder:
  Comparing C++ and ERLANG for motorola telecoms software. 51
  
• Francesco Cesarini, Lukas Larsson, Michal Slaski:
  From HTTP to HTML: Erlang/OTP experiences in web based service applications. 52-57
  
• Emil Hellman:
  Evaluation of database management systems for Erlang. 58-67