DAMP 2009: Workshop on
Declarative Aspects of Multicore Programming

Workshop Program

The slides of the invited talks are linked below from the talk titles.
The regular papers are available in the ACM Digital Library.


8:00 - 9:00 Breakfast
9:00 - 10:00 Invited talk
The Manticore Project
John Reppy
10:00 - 10:30 Morning break
10:30 - 12:00 Session I (Chair: Satnam Singh)
Speculative N-Way Barriers
Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet and Umut Acar
The Semantics of Power and ARM Multiprocessor Machine Code
Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell and Francesco Zappa Nardelli
Coordinating Irregular Symbolic Computations on Multi-Core Architectures
Abdallah Al Zain, Jost Berthold, Kevin Hammond, Phil Trinder, Greg Michaelson and Mustafa Aswad
12:00 - 13:30 Lunch break
13:30 - 15:00 Session II (Chair: Leaf Petersen)
Comparing the performance of concurrent linked-list implementations in Haskell
Martin Sulzmann, Edmund Lam and Simon Marlow
Declarative Aspects of Memory Management in the Concurrent Collections Parallel Programming Model
Zoran Budimlic, Aparna Chandramowlishwaran, Kath Knobe, Geoff Lowney, Vivek Sarkar and Leo Treggiari
Controlling Chaos - On Safe Side-Effects in Data-Parallel Operations
Stephan Herhut, Clemens Grelck and Sven-Bodo Scholz
15:00 - 15:30 Afternoon break
15:30 - 17:30 Invited tutorial
Erlang Programming for Multi-core
Ulf Wiger