Accepted Papers and Program
Accepted Papers
| Authors |
Title |
| Michael Lesniak |
PASTHA - Parallelizing Stencil Calculations in Haskell |
| David Matthews, Makarius Wenzel |
Efficient parallel programming in Poly/ML and Isabelle/ML |
| Dominic Orchard, Alan Mycroft, Max Bolingbroke |
Ypnos: Declarative Parallel Structured Grid Programming |
| Simona Perri, Francesco Ricca and Marco Sirianni |
A Parallel ASP Instantiator Based on DLV |
| KC Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad and Suresh Jagannathan |
Lightweight Asynchrony using Parasitic Threads |
| Brad Nemanich, Daniel Cooke and Nelson Rushton |
SequenceL: Transparency and Multi-core Parallelisms |
| Clemens Grelck, Jukka Julku and Frank Penczek |
S-Net for Multi-Memory Multicores |
| Z. George Mou, Hai Liu and Paul Hudak |
Compress-and-Conquer for Optimal Multicore Computing |
Program:
Tuesday January 19th, 2010:
Invited Talk [9:00-10:00]
- Parallelizing Constraint Programs.
Laurent Michel (University of Connecticut)
Session 1 [10:30-11:30]
- PASTHA - Parallelizing Stencil Calculations in Haskell
Michael Lesniak - Ypnos: Declarative Parallel Structured Grid Programming
Dominic Orchard, Alan Mycroft, Max Bolingbroke
Session 2 [12:00-13:00]
- SequenceL: Transparency and Multi-core Parallelism
Brad Nemanich, Daniel Cooke, Nelson Rushton - Efficient Parallel Programming in Poly/ML and Isabelle/ML
David Matthews, Makarius Wenzel
Session 3 [14:30-15:30]
- S-Net for Multi-Memory Multicores
Clemens Grelck, Jukka Julku, Frank Penczek - Compress-and-Conquer for Optimal Multicore Computing
Z. George Mou, Hai Liu, Paul Hudak
Sesssion 4 [16:00-17:00]
- Lightweight Ansynchrony using Parasitic Threads
KC Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan - A Parallel ASP Instantiator Based on DLV
Simona Perri, Francesco Ricca, Marco Sirianni
- Declarative Data-Parallel Programming with the Accellerator System
Satnam Singh (Microsoft Research)
Important Dates:
- Papers and Abstracts Submission: September 27th, 2009
- Author Notification: October 26th, 2009
- Camera-Ready: November 9th, 2009
- DAMP'10: January 19, 2010