DAMP 2010: Madrid, Spain

Leaf Petersen, Enrico Pontelli (Eds.): Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010. ACM 2010, ISBN 978-1-60558-859-9

Keynote address

Satnam Singh:
Declarative data-parallel programming with the accelerator system. 1-2
Laurent D. Michel:
Parallelizing constraint programs. 3-4

Session 1

Michael Lesniak:
PASTHA: parallelizing stencil calculations in Haskell. 5-14
Dominic A. Orchard, Max Bolingbroke, Alan Mycroft:
Ypnos: declarative, parallel structured grid programming. 15-24
Clemens Grelck, Jukka Julku, Frank Penczek:
S-Net for multi-memory multicores. 25-34
Zhijing G. Mou, Hai Liu, Paul Hudak:
Compress-and-conquer for optimal multicore computing. 35-44

Session 2

Brad Nemanich, Daniel E. Cooke, J. Nelson Rushton:
SequenceL: transparency and multi-core parallelisms. 45-52
David C. J. Matthews, Makarius Wenzel:
Efficient parallel programming in Poly/ML and Isabelle/ML. 53-62
K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan:
Lightweight asynchrony using parasitic threads. 63-72
Simona Perri, Francesco Ricca, Marco Sirianni:
A parallel ASP instantiator based on DLV. 73-82