Ganesh Narayanaswamy
TitleCited byYear
Precise predictive analysis for discovering communication deadlocks in MPI programs
V Forejt, D Kroening, G Narayanaswamy, S Sharma
International Symposium on Formal Methods, 263-278, 2014
Performance Evaluation of Multiple TCP connections in iSCSI
BK Kancherla, GM Narayan, K Gopinath
24th IEEE Conference on Mass Storage Systems and Technologies (MSST 2007 …, 2007
Structure and interpretation of computer programs
G Narayan, K Gopinath, S Varadarajan
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of …, 2008
SAFIUS-A secure and accountable filesystem over untrusted storage
V Sriram, G Narayan, K Gopinath
Fourth International IEEE Security in Storage Workshop, 34-45, 2007
When truth is efficient: analysing concurrency
G Narayanaswamy
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
iSAN – An Intelligent Storage Area Network Architecture
G Narayan, K Gopinath
International Conference on High-Performance Computing, 262-273, 2004
The virtues of conflict: analysing modern concurrency
G Narayanaswamy, S Joshi, D Kroening
ACM SIGPLAN Notices 51 (8), 25, 2016
On the Structural Evolution of Linux Kernel
G Narayan, K Gopinath
The system can't perform the operation now. Try again later.
Articles 1–8