DAMP

Publications

2012

Raimund Kirner, Frank Penczek, Alexander V. Shafarenko
Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination. DAMP (2012)
Eva Burrows, Magne Haveraaen
Programmable data dependencies and placements. DAMP (2012)
Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012 DAMP (2012)
Rui Vieira, Ricardo Rocha, Fernando M. A. Silva
Or-parallel prolog execution on multicores based on stack splitting. DAMP (2012)
Abdorreza Savadi, Morteza Moradi, Hossein Deldari
Multi-DaC programming model: a variant of multi-BSP model for divide-and-conquer algorithms. DAMP (2012)
Paul Bone, Zoltan Somogyi, Peter Schachte
Controlling loops in parallel mercury code. DAMP (2012)
Koen Claessen, Mary Sheeran, Joel Svensson
Expressive array constructs in an embedded GPU kernel programming language. DAMP (2012)
Dominic Duggan, Jianhua Yao
Sessional dataflow: short paper. DAMP (2012)

2011

2010