Subscribe to our Erlang Factory newsletter to receive the latest updates and news
SIGPLAN Erlang Workshop 2009
|
Track |
| 9:00 - 9:30 |
Welcome Clara Benac Earle |
| 9:30 - 10:00 |
Keynote: CouchDB Jan Lehnardt |
| 10:00 - 10:30 |
Coffee break |
| 10:30 - 11:00 |
Cleaning up Erlang code is a dirty job but somebody's gotta do it Kostis Sagonas |
| 11:00 - 11:30 |
Automated Module Interface Upgrade László Lövei |
| 11:30 - 12:00 |
Automatic Assessment of Failure Recovery in Erlang Applications Jan Henry Nystrom |
| 12:00 - 13:30 |
Lunch |
| 13:30 - 14:00 |
Teaching Erlang using Robotics and Player/Stage Sten Grüner, Thomas Lorentsen |
| 14:00 - 14:30 |
Development of a Distributed System Applied to Teaching and Learning Erik Ramos |
| 14:30 - 15:00 |
ETC: An Object-Oriented Extension to Erlang Gábor Fehér, András György Békés |
| 15:00 - 15:30 |
Coffee break |
| 15:30 - 16:00 |
Implementing an LTL-to-Büchi translator in Erlang Hans Svensson |
| 16:00 - 16:30 |
Model Based Testing of Data Constraints: Testing the Business Logic of a Mnesia Database Application with Quviq QuickCheck Nicolae Paladi |
| 16:30 - 17:00 |
Automatic Testing of TCP/IP Implementations Using Quickcheck Thomas Arts, Javier Paris |
| 17:00 - 17:30 |
Recent Improvements to the McErlang model checker Clara Benac Earle, Lars-Ake Fredlund |