![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
DAMP 2009: Savannah, GA, USA
- Leaf Petersen, Manuel M. T. Chakravarty:
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009. ACM 2009, ISBN 978-1-60558-417-1
Session 1
- Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar:
Speculative N-Way barriers. 1-12 - Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar
, Peter Sewell
, Francesco Zappa Nardelli:
The semantics of power and ARM multiprocessor machine code. 13-24 - Abdallah Al Zain, Kevin Hammond
, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad:
Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. 25-36
Session 2
- Martin Sulzmann, Edmund S. L. Lam, Simon Marlow:
Comparing the performance of concurrent linked-list implementations in Haskell. 37-46 - Zoran Budimlic, Aparna Chandramowlishwaran
, Kathleen Knobe, Geoff N. Lowney, Vivek Sarkar, Leo Treggiari:
Declarative aspects of memory management in the concurrent collections parallel programming model. 47-58 - Stephan Herhut, Sven-Bodo Scholz
, Clemens Grelck:
Controlling chaos: on safe side-effects in data-parallel operations. 59-67
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.