Ganesh Narayanaswamy

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 4

Top Topics

Resolving Conflicts

Coloured Petri Nets

Concurrency Control

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Mohammad M. Jalalzai, Alexander Mozeika, Marcin Piotr Pawlowsk, Ganesh Narayanaswamy
Carnot: A highly Scalable and Responsive BFT Consensus protocol. CoRR (2023)
Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. ACM Trans. Program. Lang. Syst. 39 (4) (2017)
Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening
The virtues of conflict: analysing modern concurrency. PPOPP (2016)
Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening
The Virtues of Conflict: Analyzing Modern Concurrency. CoRR (2016)
Ganesh Narayanaswamy
When truth is efficient: analysing concurrency. ISSTA (2015)
Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. FM (2014)
Ganesh Narayanaswamy, Pavan Balaji, Wu-chun Feng
Impact of Network Sharing in Multi-Core Architectures. ICCCN (2008)
Thomas Scogland, Pavan Balaji, Wu-chun Feng, Ganesh Narayanaswamy
Asymmetric interactions in symmetric multi-core systems: analysis, enhancements and evaluation. SC (2008)
Ganesh Narayanaswamy, Pavan Balaji, Wu-chun Feng
An Analysis of 10-Gigabit Ethernet Protocol Stacks in Multicore Environments. Hot Interconnects (2007)
Ganesh Narayanaswamy, Anil M. Shende, Praveen Vipranarayanan
4-Systolic Broadcasting in a Wrapped Butterfly Network. IWDC (2002)