Ganesh Narayanaswamy
Selected Publications
-
The Virtues of Conflict: Analysing Modern Concurrency
Ganesh Narayanaswamy‚ Saurabh Joshi and Daniel Kroening
In ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP). 2016.
Details about The Virtues of Conflict: Analysing Modern Concurrency | BibTeX data for The Virtues of Conflict: Analysing Modern Concurrency
-
When Truth is Efficient: Analysing Concurrency
Ganesh Narayanaswamy
In ACM International Symposium on Software Testing and Analysis (ISSTA). 2015.
Details about When Truth is Efficient: Analysing Concurrency | BibTeX data for When Truth is Efficient: Analysing Concurrency
-
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Vojtěch Forejt‚ Daniel Kroening‚ Ganesh Narayanaswamy and Subodh Sharma
In International Symposium on Formal Methods (FM). 2014.
Details about Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs | BibTeX data for Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs