PAPERS

Title:The Virtues of Conflict: Analysing Modern Concurrency
Links:Homepage
Document as PDF
Authors:Ganesh Narayanswamy
Saurabh Joshi
Daniel Kroening EMail
Remarks:
Topics:

Bibtex:

@inproceedings{njk2016,
  AUTHOR    = { Narayanswamy, Ganesh
                and Joshi, Saurabh
                and Kroening, Daniel },
  TITLE     = { The Virtues of Conflict: Analysing Modern Concurrency },
  BOOKTITLE = { Principles and Practice of Parallel Programming (PPoPP) },
  YEAR      = { 2016 },
  PUBLISHER = { ACM },
  PAGES     = { 25:1--25:12 },
  ISBN      = { 978-1-4503-4092-2 },
  NUMBER    = { 25 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.