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
|
|
|
