Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Leaf Petersen, Manuel M. T. Chakravarty, editors, Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009. ACM, 2009.

Conference: POPL2009

Abstract is missing.

Speculative N-Way barriersLukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar. 1-12 [doi]

The semantics of power and ARM multiprocessor machine codeJade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli. 13-24 [doi]

Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architecturesAbdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad. 25-36 [doi]

Comparing the performance of concurrent linked-list implementations in HaskellMartin Sulzmann, Edmund S. L. Lam, Simon Marlow. 37-46 [doi]

Declarative aspects of memory management in the concurrent collections parallel programming modelZoran Budimlic, Aparna Chandramowlishwaran, Kathleen Knobe, Geoff N. Lowney, Vivek Sarkar, Leo Treggiari. 47-58 [doi]

Controlling chaos: on safe side-effects in data-parallel operationsStephan Herhut, Sven-Bodo Scholz, Clemens Grelck. 59-67 [doi]

runs on WebDSL