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]