Search dblp for Publications

export results for "toc:db/conf/popl/damp2009.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.