Madanlal Musuvathi

Available identifiers

zbMath Open musuvathi.madanlalMaRDI QIDQ2845495

List of research outcomes

Publication	Date of Publication	Type
On the verification problem for weak memory models	2015-06-11	Paper
An efficient Nelson-Oppen decision procedure for difference constraints over rationals	2013-09-26	Paper
Some lessons from using static analysis and software model checking for bug finding	2013-08-30	Paper
Show No Weakness: Sequentially Consistent Specifications of TSO Libraries	2013-03-13	Paper
Concurrent Library Correctness on the TSO Memory Model	2012-06-22	Paper
What’s Decidable about Weak Memory Models?	2012-06-22	Paper
Solving Sparse Linear Constraints	2009-03-12	Paper
Effective Program Verification for Relaxed Memory Models	2008-07-15	Paper
Zap: Automated Theorem Proving for Software Analysis	2008-05-27	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Model Checking Software	2006-11-01	Paper
Frontiers of Combining Systems	2006-10-10	Paper

Research outcomes over time

This page was built for person: Madanlal Musuvathi