Murali K. Ramanathan, Ph.D. - Publications

Affiliations: 
2007 Computer Sciences Purdue University, West Lafayette, IN, United States 
Area:
Computer Science

23 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Dhok M, Ramanathan MK, Sinha N. Type-aware concolic testing of Java script programs Proceedings - International Conference On Software Engineering. 14: 168-179. DOI: 10.1145/2884781.2884859  0.8
2015 Samak M, Ramanathan MK. Synthesizing tests for detecting atomicity violations 2015 10th Joint Meeting of the European Software Engineering Conference and the Acm Sigsoft Symposium On the Foundations of Software Engineering, Esec/Fse 2015 - Proceedings. 131-142. DOI: 10.1145/2786805.2786874  0.8
2015 Dhok M, Mudduluru R, Ramanathan MK. PEGASUS: Automatic barrier inference for stable multithreaded systems 2015 International Symposium On Software Testing and Analysis, Issta 2015 - Proceedings. 153-164. DOI: 10.1145/2771783.2771813  0.8
2015 Samak M, Ramanathan MK, Jagannathan S. Synthesizing racy tests Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 2015: 175-185. DOI: 10.1145/2737924.2737998  0.8
2015 Poluri SV, Ramanathan MK. Deterministic dynamic race detection across program versions 2015 Ieee 31st International Conference On Software Maintenance and Evolution, Icsme 2015 - Proceedings. 181-190. DOI: 10.1109/ICSM.2015.7332464  0.8
2015 Padmanabhuni S, Nambiar R, Devanbu P, Ramanathan MK. Preface Acm International Conference Proceeding Series. 18: 2.  0.8
2014 Samak M, Ramanathan MK. OMEN: A tool for synthesizing tests for deadlock detection Splash 2014 - Companion Publication of the 2014 Acm Sigplan Conference On Systems, Programming, and Applications: Software For Humanity. 37-38. DOI: 10.1145/2660252.2664663  0.8
2014 Samak M, Ramanathan MK. Multithreaded test synthesis for deadlock detection Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 473-489. DOI: 10.1145/2660193.2660238  0.8
2014 Samak M, Ramanathan MK. Trace driven dynamic deadlock detection and reproduction Acm Sigplan Notices. 49: 29-42. DOI: 10.1145/2555243.2555262  0.8
2014 Mudduluru R, Ramanathan MK. Efficient incremental static analysis using path abstraction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8411: 125-139. DOI: 10.1007/978-3-642-54804-8_9  0.8
2013 McPeak S, Gros CH, Ramanathan MK. Scalable and incremental software bug detection 2013 9th Joint Meeting of the European Software Engineering Conference and the Acm Sigsoft Symposium On the Foundations of Software Engineering, Esec/Fse 2013 - Proceedings. 554-564. DOI: 10.1145/2491411.2501854  0.8
2009 Carbunar B, Ramanathan MK, Koyutürk M, Jagannathan S, Grama A. Efficient tag detection in RFID systems Journal of Parallel and Distributed Computing. 69: 180-196. DOI: 10.1016/J.Jpdc.2008.06.013  0.8
2008 Ramanathan MK, Koyuturk M, Grama A, Jagannathan S. PHALANX: A graph-theoretic framework for test case prioritization Proceedings of the Acm Symposium On Applied Computing. 667-673. DOI: 10.1145/1363686.1363848  0.8
2008 Ramanathan MK, Sen K, Grama A, Jagannathan S. Protocol inference using static path profiles Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5079: 78-92. DOI: 10.1007/978-3-540-69166-2_6  0.8
2007 Ramanathan MK, Grama A, Jagannathan S. Static specification inference using predicate mining Acm Sigplan Notices. 42: 123-134. DOI: 10.1145/1250734.1250749  0.8
2007 Ferreira RA, Ramanathan MK, Grama A, Jagannathan S. Randomized protocols for duplicate elimination in peer-to-peer storage systems Ieee Transactions On Parallel and Distributed Systems. 18: 686-696. DOI: 10.1109/Tpds.2007.351710  0.8
2007 Ferreira RA, Ramanathan MK, Grama A, Jagannathan S. TPDS Information for authors Ieee Transactions On Parallel and Distributed Systems. 18. DOI: 10.1109/Tpds.2007.1019  0.8
2007 Ramanathan MK, Grama A, Jagannathan S. Path-sensitive inference of function precedence protocols Proceedings - International Conference On Software Engineering. 240-249. DOI: 10.1109/ICSE.2007.63  0.8
2007 Ramanathan MK, Ferreira RA, Jagannathan S, Grama A, Szpankowski W. Randomized leader election Distributed Computing. 19: 403-418. DOI: 10.1007/S00446-007-0022-4  0.8
2006 Ramanathan MK, Grama A, Jagannathan S. Sieve: A tool for automatically detecting variations across program versions Proceedings - 21st Ieee/Acm International Conference On Automated Software Engineering, Ase 2006. 241-250. DOI: 10.1109/ASE.2006.61  0.8
2006 Ramanathan MK, Jagannathan S, Grama A. Trace-based memory aliasing across program versions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3922: 381-395. DOI: 10.1007/11693017_29  0.8
2005 Ferreira RA, Ramanathan MK, Awan A, Grama A, Jagannathan S. Search with probabilistic guarantees in unstructured peer-to-peer networks Proceedings - Fifth Ieee International Conference On Peer-to-Peer Computing, P2p 2005. 2005: 165-172. DOI: 10.1109/P2P.2005.33  0.8
2004 Ramanathan MK. Increasing object availability in peer-to-peer systems Proceedings - International Parallel and Distributed Processing Symposium, Ipdps 2004 (Abstracts and Cd-Rom). 18: 1791-1794.  0.8
Show low-probability matches.