Madanlal Musuvathi and Cited - Free people check

(1 - 13 from 14

)

Model Checking Large Network Protocol Implementations

web.stanford.edu

by M Musuvathi · Cited by 215 — Model Checking Large Network Protocol Implementations. Madanlal Musuvathi ∗, Dawson R. Engler. {madan, .edu. Computer Systems Laboratory. › ~engler › nsdi04

Distributed eXplode: A High-Performance Model Checking ...

www.cs.columbia.edu

by N Keetha · Cited by 4 — Madanlal Musuvathi. Using model checking to find serious file system errors. ACMTransactions on. Computer Systems (TOCS), 24(4):393–423, › ~junfeng › papers

Partial-Order Reduction for Context-Bounded State Exploration

citeseerx.ist.psu.edu

by M Musuvathi · · Cited by 29 — author = {Madanlal Musuvathi and Shaz Qadeer}, title = { Partial-Order Reduction for Context-Bounded State Exploration}, year = {2007} › viewdoc › summary

A Volatile-by-Default JVM for Server Applications - eScholarship

escholarship.org

by L Liu · · Cited by 17 — Lun Liu, Todd Millstein, and Madanlal Musuvathi A Volatile-by-Default JVM for Server Applications. Proc. ACM Program. Lang. › content

PerSeVerE: Persistency Semantics for Verification under Ext4

plv.mpi-sws.org

by M KOKOLOGIANNAKIS · · Cited by 11 — Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, and Iulian Neamtiu. (2008). “Finding and Reproducing Heisenbugs ... › persevere › paper-full

All web results to the name "Madanlal Musuvathi"

Aaditya Naik | Publications

www.seas.upenn.edu

by P Pashakhanloo · Cited by 3 — Shuvendu K. Lahiri*, Aaditya Naik*, Georgios Sakkas*, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao. › ~asnaik › publications

Alexey Gotsman's Publications - The IMDEA Software Institute

software.imdea.org

by M Bravo · · Cited by 1 — Alexey Gotsman, Madanlal Musuvathi, and Hongseok Yang Show no weakness: sequentially consistent specifications of TSO libraries [PDF] › ~gotsman › pubs

DROPS - The Silently Shifting Semicolon - Schloss Dagstuhl

drops.dagstuhl.de

by D Marino · · Cited by 10 — @InProceedings{marino_et_al:LIPIcs:2015:5025, author = {Daniel Marino and Todd Millstein and Madanlal Musuvathi and Satish Narayanasamy and Abhayendra ... › opus › volltexte

Finding Protocol Manipulation Attacks

conferences.sigcomm.org

by N Kothari · · Cited by 92 — Madanlal Musuvathi. Microsoft Research. ABSTRACT. We develop a method to help discover manipulation attacks in pro- tocol implementations. › papers › sigcomm

Finding and reproducing heisenbugs in concurrent programs

researchwith.njit.edu

by M Musuvathi · · Cited by 691 — Finding and reproducing heisenbugs in concurrent programs. Madanlal Musuvathi, Shaz Qadeer, Piramanayagam Arumuga Nainar, Thomas Ball, Gerard Basler, ... › publications › finding-an...

Lecture Notes in Computer Science (including subseries ...

experts.nau.edu

by A Groce · · Cited by 90 — ... Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Alex Groce, Madanlal Musuvathi. › publications › lecture-notes-in-...

Parallel Recursive State Compression for Free

research.utwente.nl

by A Laarman · · Cited by 44 — Editors, Alex Groce, Madanlal Musuvathi. Place of Publication, berlin. Publisher, Springer. Pages, Number of pages, 18. › publications › parallel-recu...

Verifying local transformations on relaxed memory models

research-explorer.app.ist.ac.at

by S Burckhardt · · Cited by 40 — Burckhardt, Sebastian, Madanlal Musuvathi, and Vasu Singh. “Verifying Local Transformations on Relaxed Memory Models. › record

Related search requests for Madanlal Musuvathi

Arumuga Nainar
Abhayendra Singh
Vasu Singh

Alex Groce
Santosh Nagarakatte
Xipeng Shen

Eduardo Cuervo
Ahmed Bouajjani
Abdullah Muzahid

People
Forename "Madanlal" (23)
Name "Musuvathi" (3)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Madanlal Musuvathi and Cited Free People Check