Madanlal Musuvathi, Ph.D.
Affiliations: | 2004 | Stanford University, Palo Alto, CA |
Google:
"Madanlal Musuvathi"Parents
Sign in to add mentor| David L. Dill | grad student | 2004 | Stanford | |
| (CMC: A model checker for network protocol implementations.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Maleki S, Musuvathi M, Mytkowicz T. (2016) Efficient parallelization using rank convergence in dynamic programming algorithms Communications of the Acm. 59: 85-92 |
| Marino D, Singh A, Millstein T, et al. (2016) DRFx: An understandable, high performance, and flexible memory model for concurrent languages Acm Transactions On Programming Languages and Systems. 38 |
| Maleki S, Musuvathi M, Mytkowicz T. (2014) Parallelizing dynamic programming through rank convergence Acm Sigplan Notices. 49: 219-232 |
| Mytkowicz T, Musuvathi M, Schulte W. (2014) Data-parallel finite-state machines International Conference On Architectural Support For Programming Languages and Operating Systems - Asplos. 529-541 |
| Singh A, Narayanasamy S, Marino D, et al. (2013) A safety-first approach to memory models Ieee Micro. 33: 96-104 |
| Nagarakatte S, Burckhardt S, Martin MMK, et al. (2012) Multicore acceleration of priority-based schedulers for concurrency bug detection Acm Sigplan Notices. 47: 543-554 |
| Singh A, Marino D, Narayanasamy S, et al. (2012) Efficient processor support for DRFx, a memory model with exceptions Acm Sigplan Notices. 47: 53-65 |
| Singh A, Narayanasamy S, Marino D, et al. (2012) End-to-end sequential consistency Proceedings - International Symposium On Computer Architecture. 524-535 |
| Gotsman A, Musuvathi M, Yang H. (2012) 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 |
| Burckhardt S, Gotsman A, Musuvathi M, et al. (2012) 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 |