Follow
Murali Krishna Ramanathan
Murali Krishna Ramanathan
AWS AI Labs
Verified email at amazon.com
Title
Cited by
Cited by
Year
Interest-based connections in peer-to-peer networks
MK Ramanathan, V Kalogeraki, JC Pruyne
US Patent 7,174,382, 2007
3712007
Redundant-reader elimination in RFID systems
B Carbunar, MK Ramanathan, M Koyuturk, CM Hoffmann, AY Grama
1802005
Static specification inference using predicate mining
MK Ramanathan, A Grama, S Jagannathan
ACM SIGPLAN Notices 42 (6), 123-134, 2007
1582007
Path-sensitive inference of function precedence protocols
MK Ramanathan, A Grama, S Jagannathan
29th International Conference on Software Engineering (ICSE'07), 240-250, 2007
1492007
Finding good peers in peer-to-peer networks
MK Ramanathan, V Kalogeraki, J Pruyne
Proceedings 16th International Parallel and Distributed Processing Symposium …, 2002
1392002
Search with probabilistic guarantees in unstructured peer-to-peer networks
RA Ferreira, MK Ramanathan, A Awan, A Grama, S Jagannathan
Fifth IEEE International Conference on Peer-to-Peer Computing (P2P'05), 165-172, 2005
1152005
Efficient tag detection in RFID systems
B Carbunar, MK Ramanathan, M Koyutürk, S Jagannathan, A Grama
Journal of Parallel and Distributed Computing 69 (2), 180-196, 2009
702009
Multithreaded test synthesis for deadlock detection
M Samak, MK Ramanathan
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
542014
Synthesizing racy tests
M Samak, MK Ramanathan, S Jagannathan
ACM SIGPLAN Notices 50 (6), 175-185, 2015
512015
Trace driven dynamic deadlock detection and reproduction
M Samak, MK Ramanathan
ACM SIGPLAN Notices 49 (8), 29-42, 2014
512014
Scalable and incremental software bug detection
S McPeak, CH Gros, MK Ramanathan
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
512013
Sieve: A tool for automatically detecting variations across program versions
MK Ramanathan, A Grama, S Jagannathan
21st IEEE/ACM International Conference on Automated Software Engineering …, 2006
502006
Multi-lingual evaluation of code generation models
B Athiwaratkun, SK Gouda, Z Wang, X Li, Y Tian, M Tan, WU Ahmad, ...
arXiv preprint arXiv:2210.14868, 2022
482022
Synthesizing tests for detecting atomicity violations
M Samak, MK Ramanathan
Proceedings of the 2015 10th Joint Meeting on foundations of software …, 2015
392015
PHALANX: a graph-theoretic framework for test case prioritization
MK Ramanathan, M Koyuturk, A Grama, S Jagannathan
Proceedings of the 2008 ACM symposium on Applied computing, 667-673, 2008
392008
Directed test generation to detect loop inefficiencies
M Dhok, MK Ramanathan
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
342016
{CRISP}: Critical Path Analysis of {Large-Scale} Microservice Architectures
Z Zhang, MK Ramanathan, P Raj, A Parwal, T Sherwood, M Chabbi
2022 USENIX Annual Technical Conference (USENIX ATC 22), 655-672, 2022
302022
Randomized leader election
MK Ramanathan, RA Ferreira, S Jagannathan, A Grama, W Szpankowski
Distributed Computing 19, 403-418, 2007
302007
Cocomic: Code completion by jointly modeling in-file and cross-file context
Y Ding, Z Wang, WU Ahmad, MK Ramanathan, R Nallapati, P Bhatia, ...
arXiv preprint arXiv:2212.10007, 2022
242022
Type-aware concolic testing of JavaScript programs
M Dhok, MK Ramanathan, N Sinha
Proceedings of the 38th International Conference on Software Engineering …, 2016
242016
The system can't perform the operation now. Try again later.
Articles 1–20