Ganesh Narayanaswamy : Publications

Click here to download all publications in a single bibtex file

@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)",
}

@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)",
}

@inproceedings{gan:fm14,
  title = "Precise Predictive Analysis for Discovering Communication Deadlocks in {MPI} Programs",
  author = "Vojt\v{e}ch Forejt and Daniel Kroening and Ganesh Narayanaswamy and Subodh Sharma",
  year = "2014",
  booktitle = "International Symposium on Formal Methods (FM)",
}