☰

Madanlal Musuvathi, Ph.D. - Publications

Affiliations: 
2004 Stanford University, Palo Alto, CA 
Tree Info Similar researchers PubMed Report error

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 Maleki S, Musuvathi M, Mytkowicz T. Efficient parallelization using rank convergence in dynamic programming algorithms Communications of the Acm. 59: 85-92. DOI: 10.1145/2983553  0.421
2016 Marino D, Singh A, Millstein T, Musuvathi M, Narayanasamy S. DRFx: An understandable, high performance, and flexible memory model for concurrent languages Acm Transactions On Programming Languages and Systems. 38. DOI: 10.1145/2925988  0.403
2014 Maleki S, Musuvathi M, Mytkowicz T. Parallelizing dynamic programming through rank convergence Acm Sigplan Notices. 49: 219-232. DOI: 10.1145/2555243.2555264  0.376
2014 Mytkowicz T, Musuvathi M, Schulte W. Data-parallel finite-state machines International Conference On Architectural Support For Programming Languages and Operating Systems - Asplos. 529-541. DOI: 10.1145/2541940.2541988  0.365
2013 Singh A, Narayanasamy S, Marino D, Millstein T, Musuvathi M. A safety-first approach to memory models Ieee Micro. 33: 96-104. DOI: 10.1109/Mm.2013.50  0.365
2012 Nagarakatte S, Burckhardt S, Martin MMK, Musuvathi M. Multicore acceleration of priority-based schedulers for concurrency bug detection Acm Sigplan Notices. 47: 543-554. DOI: 10.1145/2345156.2254128  0.362
2012 Singh A, Marino D, Narayanasamy S, Millstein T, Musuvathi M. Efficient processor support for DRFx, a memory model with exceptions Acm Sigplan Notices. 47: 53-65. DOI: 10.1145/2248487.1950375  0.315
2012 Singh A, Narayanasamy S, Marino D, Millstein T, Musuvathi M. End-to-end sequential consistency Proceedings - International Symposium On Computer Architecture. 524-535. DOI: 10.1109/ISCA.2012.6237045  0.301
2012 Gotsman A, Musuvathi M, Yang H. Show no weakness: Sequentially consistent specifications of TSO libraries Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7611: 31-45. DOI: 10.1007/978-3-642-33651-5_3  0.345
2012 Burckhardt S, Gotsman A, Musuvathi M, Yang H. Concurrent library correctness on the TSO memory model Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7211: 87-107. DOI: 10.1007/978-3-642-28869-2_5  0.401
2012 Atig MF, Bouajjani A, Burckhardt S, Musuvathi M. What's decidable about weak memory models? Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7211: 26-46. DOI: 10.1007/978-3-642-28869-2_2  0.305
2011 Ball T, Burckhardt S, De Halleux P, Musuvathi M, Qadeer S. Predictable and progressive testing of multithreaded code Ieee Software. 28: 75-83. DOI: 10.1109/Ms.2010.64  0.359
2010 Coons KE, Burckhardt S, Musuvathi M. Gambit: Effective unit testing for concurrency libraries Acm Sigplan Notices. 45: 15-24. DOI: 10.1145/1837853.1693458  0.35
2010 Marino D, Singh A, Millstein T, Musuvathi M, Narayanasamy S. DRFx: A simple and efficient memory model for concurrent programming languages Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 351-362. DOI: 10.1145/1806596.1806636  0.346
2010 Ball T, Burckhardt S, Coons KE, Musuvathi M, Qadeer S. Preemption sealing for efficient concurrency testing Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6015: 420-434. DOI: 10.1007/978-3-642-12002-2_35  0.371
2009 Petrank E, Musuvathi M, Steensgaard B. Progress guarantee for parallel programs via bounded lock-freedom Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 144-154. DOI: 10.1145/1542476.1542493  0.322
2008 Musuvathi M, Qadeer S. Fair stateless model checking Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 362-371. DOI: 10.1145/1375581.1375625  0.388
2008 Burckhardt S, Musuvathi M. Effective program verification for relaxed memory models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5123: 107-120. DOI: 10.1007/978-3-540-70545-1_12  0.404
2007 Musuvathi M, Qadeer S. Iterative context bounding for systematic testing of multithreaded programs Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 446-455. DOI: 10.1145/1250734.1250785  0.37
2006 Yang J, Twohey P, Engler D, Musuvathi M. Using model checking to find serious file system errors Acm Transactions On Computer Systems. 24: 393-423. DOI: 10.1145/1189256.1189259  0.428
2005 Musuvathi M, Dill DL. An incremental heap canonicalization algorithm Lecture Notes in Computer Science. 3639: 28-42.  0.437
2003 Musuvathi M, Engler D. Some lessons from using sdtatic analysis and software model checking for bug finding Electronic Notes in Theoretical Computer Science. 89: 378-404. DOI: 10.1016/S1571-0661(05)80002-7  0.365
2002 Musuvathi M, Chou A, Dill DL, Engler D. Model checking system software with CMC Proceedings of the 10th Workshop On Acm Sigops European Workshop, Ew 10. 219-222. DOI: 10.1145/1133373.1133418  0.472
Show low-probability matches.