DAMP 2009: Savannah, GA, USA

Leaf Petersen, Manuel M. T. Chakravarty (Eds.): Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009. ACM 2009, ISBN 978-1-60558-417-1

Session 1

Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar:
Speculative N-Way barriers. 1-12
Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli:
The semantics of power and ARM multiprocessor machine code. 13-24
Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad:
Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. 25-36

Session 2

Martin Sulzmann, Edmund S. L. Lam, Simon Marlow:
Comparing the performance of concurrent linked-list implementations in Haskell. 37-46
Zoran Budimlic, Aparna Chandramowlishwaran, Kathleen Knobe, Geoff N. Lowney, Vivek Sarkar, Leo Treggiari:
Declarative aspects of memory management in the concurrent collections parallel programming model. 47-58
Stephan Herhut, Sven-Bodo Scholz, Clemens Grelck:
Controlling chaos: on safe side-effects in data-parallel operations. 59-67