![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/popl/damp2009.bht:"
@inproceedings{DBLP:conf/popl/AlglaveFIMSSN09, author = {Jade Alglave and Anthony C. J. Fox and Samin Ishtiaq and Magnus O. Myreen and Susmit Sarkar and Peter Sewell and Francesco Zappa Nardelli}, editor = {Leaf Petersen and Manuel M. T. Chakravarty}, title = {The semantics of power and {ARM} multiprocessor machine code}, booktitle = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20, 2009}, pages = {13--24}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1481839.1481842}, doi = {10.1145/1481839.1481842}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/popl/AlglaveFIMSSN09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BudimlicCKLST09, author = {Zoran Budimlic and Aparna Chandramowlishwaran and Kathleen Knobe and Geoff N. Lowney and Vivek Sarkar and Leo Treggiari}, editor = {Leaf Petersen and Manuel M. T. Chakravarty}, title = {Declarative aspects of memory management in the concurrent collections parallel programming model}, booktitle = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20, 2009}, pages = {47--58}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1481839.1481846}, doi = {10.1145/1481839.1481846}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/BudimlicCKLST09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/HerhutSG09, author = {Stephan Herhut and Sven{-}Bodo Scholz and Clemens Grelck}, editor = {Leaf Petersen and Manuel M. T. Chakravarty}, title = {Controlling chaos: on safe side-effects in data-parallel operations}, booktitle = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20, 2009}, pages = {59--67}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1481839.1481847}, doi = {10.1145/1481839.1481847}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/HerhutSG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/SulzmannLM09, author = {Martin Sulzmann and Edmund S. L. Lam and Simon Marlow}, editor = {Leaf Petersen and Manuel M. T. Chakravarty}, title = {Comparing the performance of concurrent linked-list implementations in Haskell}, booktitle = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20, 2009}, pages = {37--46}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1481839.1481845}, doi = {10.1145/1481839.1481845}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/SulzmannLM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/ZainHBTMA09, author = {Abdallah Al Zain and Kevin Hammond and Jost Berthold and Philip W. Trinder and Greg Michaelson and Mustafa Aswad}, editor = {Leaf Petersen and Manuel M. T. Chakravarty}, title = {Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures}, booktitle = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20, 2009}, pages = {25--36}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1481839.1481843}, doi = {10.1145/1481839.1481843}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/ZainHBTMA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/ZiarekJFA09, author = {Lukasz Ziarek and Suresh Jagannathan and Matthew Fluet and Umut A. Acar}, editor = {Leaf Petersen and Manuel M. T. Chakravarty}, title = {Speculative N-Way barriers}, booktitle = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20, 2009}, pages = {1--12}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1481839.1481841}, doi = {10.1145/1481839.1481841}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/ZiarekJFA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/popl/2009damp, editor = {Leaf Petersen and Manuel M. T. Chakravarty}, title = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20, 2009}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1481839}, doi = {10.1145/1481839}, isbn = {978-1-60558-417-1}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/2009damp.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/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.