@inproceedings{gan:issta15,
  title = "When Truth is Efficient: Analysing Concurrency",
  author = "Ganesh Narayanaswamy",
  year = "2015",
  booktitle = "ACM International Symposium on Software Testing and Analysis (ISSTA)",
}