Loading...
Images of Madanlal Musuvathi
(0 from 0 )1
0
0
News
Papers accepted to ESOP 2012
www.cs.ox.ac.uk
10 Jan — ... Burckhardt (Microsoft Research) Alexey Gotsman (IMDEA Software Institute) Madanlal Musuvathi (Microsoft Research) and Hongseok Yang. › News & Events › News
NEWS: Microsoft unveils testing tool for multithreaded Win
www.embedded.com
14 Nov — In it researchers Madanlal Musuvathi, Shaz Qadeer, and Thomas Ball detail how it can be used to model checking techniques to systematically ... › news-microsoft-unveils-t...
Telephone & Addresses
Madanlal Musuvathi, Bellevue, US, 148th Ave NE, Apt F208
View Madanlal's social profiles and photos on Facebook, MySpace, and +40 Networks.
Madanlal S Musuvathi, 41, Menlo Park, US, Coleman Ave, Apt 7
View Madanlal's social profiles and photos on Facebook, MySpace, and +40 Networks.
Madanlal S Musuvathi, 41, Mountain View, US, California St, Apt 12
View Madanlal's social profiles and photos on Facebook, MySpace, and +40 Networks.
WhitePages: Madanlal Musuvathi - Address & Phone Number - Whitepages
› ... › Madanlal Musuvathi
Business Profiles
Researchgate: Madanlal Musuvathi
Washington, United States
patentbuddy: Madanlal Musuvathi
MICROSOFT CORPORATION, Redmond, WA, US
patentbuddy: Madanlal S Musuvathi
MICROSOFT CORPORATION, Redmond, WA, US
Education
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
A randomized scheduler with probabilistic guarantees of ...
journals.scholarsportal.info
Sebastian Burckhardt · Pravesh Kothari · Madanlal Musuvathi · Santosh Nagarakatte ... › 167_arswpgofb
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
Dawson Engler
stanford.edu
Dawson Engler and Madanlal Musuvathi. Invited paper for VMCAI04. It describes some of our experiences finding bugs with both model checking and static analysis,
Heritage
Madanlal Musuvathi - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Search; About MGP. Mission; News; Staff; Recognition; Acknowledgments; Links; FAQs; Posters; Submit Data; Contact; The Mathematics Genealogy Project is in need of ...
Books & Literature
Madanlal Musuvathi Books, Author Bio, Book Reviews & More at ...
m.alibris.com
› search › Madanlal-Musuvathi
Communicating Process Architectures & 2018: WoTUG-39 & ...
books.google.de
[24] Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Madanlal Musuvathi, Shaz Qadeer, and Thomas Ball. Chess: A systematic testing tool for concurrent ...
Frontiers of Combining Systems: 5th International Workshop, ...
books.google.de
An Efficient Decision Procedure for UTVPI Constraints Shuvendu K. Lahiri and Madanlal Musuvathi Microsoft Research {shuvendu, ...
Related Documents
Interactive Code Generation via Test-Driven User-Intent ...
arxiv.org
by SK Lahiri · — Authors:Shuvendu K. Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, ... › cs
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
Scientific Publications
Madan Musuvathi - dblp
dblp.uni-trier.de
1 Sept — Yufei Ding, Yue Zhao, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz: Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with ... › Persons › Madan Musuvathi
Mcta · Literature - Foundations of Artificial Intelligence
gki.informatik.uni-freiburg.de
(PDF); [14]: Madanlal Musuvathi and Shaz Qadeer. Iterative context bounding for systematic testing of multithreaded programs. › tools › literature
Foundations of Multi-Core Memory Models
www-i2.informatik.rwth-aachen.de
(13) Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi: On the verification problem for weak memory models. POPL 2010:
Search results for "Madanlal Musuvathi" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 60 publication records. Showing 60 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Eduardo Cuervo, Alec
Publications
A Combination Method for Generating Interpolants | SpringerLink
link.springer.com
We present a combinationmethod for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories...
Reports & Statements
DBWorld Message
research.cs.wisc.edu
Problems Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz ...
Miscellaneous
Abhinav Jangda - Google Sites
sites.google.com
Publications · Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Sarikivi. › site › abhijangda
Memory Model Safety of Programs Sebastian Burckhardt ...
slideplayer.com
Presentation on theme: "Memory Model Safety of Programs Sebastian Burckhardt Madanlal Musuvathi Microsoft Research EC^2, July 7, › slide
Musuvathi, Madanlal: د Z-Library مفت الکترونیکی کتابتون
af.art1lib.com
Madanlal Musuvathi, Dawson Engler. مجله: Electronic Notes in Theoretical Computer Science. کال: ژبه: english. فایل: PDF, MB. ستاسی تیګی: ... › ...
Madanlal Musuvathi's research works | Microsoft, Washington ...
www.researchgate.net
› scientific-contributions
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
CC Schedule - UCR CS
www.cs.ucr.edu
Madanlal Musuvathi, Microsoft Research, United States Vasu Singh, EPFL, Switzerland. Session 4 (17: :30) Program Analysis (Session chair: Madan ... › ~mfeng › cc2010_schedule_utf8
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...
Fluxo: Simple Service Compiler Emre Kıcıman , Ben Livshits ...
studylib.net
Fluxo: Simple Service Compiler Emre Kıcıman, Ben Livshits, Madanlal Musuvathi {emrek, livshits, Architecting Internet Services ... › ... › Operating Systems
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-...
PLDI – Proceedings - Conference Publishing Consulting
www.conference-publishing.com
Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madanlal Musuvathi, and Todd Mytkowicz (University of Texas at Austin, ... › list
Papers related to dynamic program analysis for reliable ...
mdbond.github.io
Daniel Marino, Abhayendra Singh, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy PLDI Conflict Exceptions: Simplifying Concurrent Language ... › papers
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