DAMP 2007 - Advance Program

The ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming

January 16, 2007, Nice, France

Breakfast: 8:30-9:00

Session 1: 9:00 - 10:00

Invited talk: Automatic Granularity-Aware Parallelization of Programs with Predicates, Functions, and Constraints
  Manuel Hermenegildo, Technical U. of Madrid and U. of New Mexico
Invited talk: Application-level Concurrency: Combining Events and Threads
  Steve Zdancewic, U. of Pennsylvania

Break: 10:00 -10:30

Session 2: 10:30 - 12:00

A Proposal for Parallel Self-Adjusting Computation
  Matthew Hammer, Umut Acar, Mohan Rajagopalan, and Anwar Ghuloum
Data Parallel Haskell: a status report
  Manuel M. T. Chakravart, Roman Leshchinski, Simon Peyton Jones, Gabriele Keller, and Simon Marlow
A Concurrent Constraint Handling Rules Implementation in Haskell with Software Transactional Memory
  Edmund S. L. Lam and Martin Sulzmannn

Lunch: 12:30 - 14:30

Session 3: 14:30 - 15:30

Invited talk: Declarative Array Programming in Homogeneous Multi-Core Environments
  Clemens Grelck, U. of Hertfordshire
Invited talk:Cost Semantics for Space Usage in a Parallel Language
  Daniel Spoonhower, Carnegie Mellon U.

Break 15:30 - 16:00

Session 4: 16:00 - 17:30

Manticore: A heterogeneous parallel language
  Matthew Fluet, Mike Rainey, John Reppy, Adam Shaw, and Yingqi Xiao
Implementing deterministic declarative concurrency using sieves
  Sam Lindley
Invited talk: A Query Language for Data Parallel Programming
  Joe Duffy, Microsoft Research