Erlang Workshop 2011: Tokyo, Japan

Kenji Rikitake, Erik Stenman (Eds.): Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011. ACM 2011, ISBN 978-1-4503-0859-5

Keynote address

Steve Vinoski:
A decade of Yaws. 1

Language extensions

Patrik Nyblom:
Erlang ETS tables and software transactional memory: how transactions make ETS tables more like ordinary actors. 2-13
Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson:
Accelerating race condition detection through procrastination. 14-22
Stavros Aronis, Konstantinos F. Sagonas:
Typed callbacks for more robust behaviours. 23-29

Testing and development

Thomas Arts, Laura M. Castro:
Model-based testing of data types with side effects. 30-38
Manolis Papadakis, Konstantinos F. Sagonas:
A PropEr integration of types and function specifications with property-based testing. 39-50
Alkis Gotovos, Maria Christakis, Konstantinos F. Sagonas:
Test-driven development of concurrent programs using concuerror. 51-61

Testing with QuickCheck

Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson:
Extracting QuickCheck specifications from EUnit test cases. 62-71
John M. Hughes, Hans Bolinder:
Testing a database for race conditions with QuickCheck: none. 72-77

Implementation and practice

Kenji Rikitake:
SFMT pseudo random number generator for Erlang. 78-83
Prashanth Mundkur, Ville H. Tuulos, Jared Flatow:
Disco: a computing platform for large-scale data analytics. 84-89

Poster session abstracts and summaries

Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato:
Implementation of sequence BDDs in Erlang. 90-91
Cláudio Amaral, Mário Florido, Patrik Jansson:
Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. 92-93
Trevor Bain, Patrick Campbell, Jonas Karlsson:
Modeling growth and dynamics of neural networks via message passing in Erlang: neural models have a natural home in message passing functional programming languages. 94-97

Last update Thu May 24 04:17:12 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page