@inproceedings{gan:ppopp16,
  title = "The Virtues of Conflict: Analysing Modern Concurrency",
  author = "Ganesh Narayanaswamy and Saurabh Joshi and Daniel Kroening",
  year = "2016",
  booktitle = "ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP)",
}