Loading...
Images of Madanlal S. Musuvathi
(0 from 0 )1
0
0
News
Model Checking Large Network Protocol Implementations
www.usenix.org
Model Checking Large Network Protocol Implementations
paper
www.usenix.org
Finding and Reproducing Heisenbugs in Concurrent Programs Madanlal Musuvathi Microsoft Research Shaz Qadeer Microsoft Research Thomas Ball
EuroSys 2009: Conference
eurosys2009.informatik.uni-erlangen.de
Alexander Rasmussen (UCSD), Emre Kiciman (Microsoft Research), Benjamin Livshits (Microsoft Research), Madanlal Musuvathi (Microsoft Research). Session ...
Telephone & Addresses
Madanlal Musuvathi, Bellevue, US, 148th Ave NE, Apt F208
View Madanlal S.'s social profiles and photos on Facebook, MySpace, and +40 Networks.
Madanlal S Musuvathi, 40, Menlo Park, US, Coleman Ave, Apt 7
View Madanlal S.'s social profiles and photos on Facebook, MySpace, and +40 Networks.
Madanlal S Musuvathi, 40, Mountain View, US, California St, Apt 12
View Madanlal S.'s social profiles and photos on Facebook, MySpace, and +40 Networks.
Madanlal S Musuvathi, 40, Mountain View, US, California St, Unit 12
View Madanlal S.'s social profiles and photos on Facebook, MySpace, and +40 Networks.
Network Profiles
pinterest.com: Madanlal Musuvathi
0 Pins • 24 Followers
DBLife: Madanlal Musuvathi
dblife.cs.wisc.edu
from DBLP and Google Scholar. Developed by the Database Group at the University of Wisconsin and Yahoo!
Interests
Madanlal S. Musuvathi - Patents
www.freshpatents.com
Madanlal S. Musuvathi patents Recent bibliographic sampling of Madanlal S. Musuvathi patents listed/published in the public domain by the USPTO (USPTO …
Microsoft Corporation patent inventors (2011)
stks.freshpatents.com
A list of inventors with patent application filings associated with Microsoft Corporation for Madanlal S. Musuvathi Madhan R. Arumugam Madhur Dixit
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
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
Madanlal S. Musuvathi . MathSciNet. Ph.D. Stanford University Dissertation: CMC: A Model Checker for Network Protocol Implementations. Mathematics Subject
Books & Literature
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea...
books.google.it
This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS The book presents 23 revised full papers...
Computer Aided Verification: 20th International Conference, CAV
books.google.de
Effective Program Verification for Relaxed Memory Models Sebastian Burckhardt and Madanlal Musuvathi Microsoft Research Abstract. Program verification for ...
Model Checking Software: 18th International SPIN Workshop, Snowbird,...
books.google.de
This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in...
Related Documents
CiteSeerX — Related by Co-Citation: CMC: A Pragmatic Approach to...
citeseerx.ist.psu.edu
... A Pragmatic Approach to Model Checking Real Code ... by Madanlal S. Musuvathi , David Park
CiteSeerX — CMC: A Pragmatic Approach to Model Checking Real Code
citeseerx.ist.psu.edu
BibTeX @INPROCEEDINGS{Musuvathi02cmc:a, author = {Madanlal S. Musuvathi and David Park and David Y. W. Park and Andy Chou and Dawson R Engler and David L Dill},
Scientific Publications
DBLP: Madanlal Musuvathi
ftp.informatik.rwth-aachen.de
Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu: Finding and Reproducing Heisenbugs in Concurrent …
CiteSeerX — Citation Query Madanlal Musuvathi. Using model checking...
citeseer.ist.psu.edu
CiteSeerX - Scientific documents that cite the following paper: Madanlal Musuvathi. Using model checking to find serious file system errors
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: Jonathan Mace, Peter
Publications
CMC: A Pragmatic Approach to Model Checking Real Code - CORE
core.ac.uk
By Madanlal S. Musuvathi, David Park, David Y. W. Park, Andy Chou, Dawson R Engler and David L Dill
Solving Sparse Linear Constraints | SpringerLink
link.springer.com
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear...
Dynamic Analyses for Data-Race Detection | SpringerLink
link.springer.com
Data races caused by unsynchronized accesses to shared data have long been the source of insidious errors in concurrent software. They are hard to identify...
Miscellaneous
Madanlal Musuvathi - Google Scholar Citations
scholar.google.de
Madanlal Musuvathi. Microsoft Research. Concurrency and Parallelism, Program Verification, Algorithms, Systems, Model Checking. Verified email at microsoft.
US A1 - Computer method for solving sparse linear...
patents.google.com
A computer implemented method for solving linear arithmetic constraints that combines a solver for difference constraints with a general linear...
Data-Parallel Finite-State Machines Todd Mytkowicz, Madanlal...
slideplayer.com
Data-Parallel Finite-State Machines Todd Mytkowicz, Madanlal Musuvathi, and Wolfram Schulte Microsoft Research.
Search for biographies: en/madanlal musuvathi
www.biographies.net
Search for people biographies, history and profession matching the query: en/madanlal musuvathi
Madanlal - Names Encyclopedia
www.namespedia.com
Names Encyclopedia - statistics, meaning, ... Madanlal first name was found 87 times in 7 different countries Madanlal Musuvathi Faces of people named Madanlal.
Musuvathi - Names Encyclopedia
www.namespedia.com
Names Encyclopedia - statistics, meaning, ... Musuvathi first name was found 2 times in 2 different countries Madanlal Musuvathi
Daniel Marino - Google Scholar Citations
scholar.google.co.uk
Todd Millstein,; Madanlal Musuvathi,; Satish Narayanasamy,; Abhayendra Singh,; Shane Markstrum,; Mandana Vaziri,; Julian Dolby,; Jan Vitek,; Christian ...
Schedule - PPoPP2014
sites.google.com
Website for the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Memory Model Safety of Programs Sebastian Burckhardt Madanlal...
slideplayer.com
Memory Model Safety of Programs Sebastian Burckhardt Madanlal Musuvathi Microsoft Research EC^2, July 7,
Madanlal Musuvathi | USENIX
www.usenix.org
Madanlal Musuvathi . Linked Presentation: Retro: Targeted Resource Management in Multi-tenant Distributed Systems. Gold Sponsors . Silver Sponsors
Progress Guarantee for Parallel Programs via Bounded Lock-Freedom...
slideplayer.com
A Progress Guarantee Intuitively: “ No matter which interleaving is scheduled, my program will make progress. ” “Progress” is something the developer defines....
Madanlal Musuvathi, Redmond US - Patent applications
www.patentsencyclopedia.com
Patent application number Description Published; : AUTOMATICALLY GENERATING TEST CASES FOR BINARY CODE - The present invention extends to methods, systems
TDGS - "Madanlal Musuvathi"
juliette.lsi.us.es
A total of 52 records were found in seconds. Fetch | Report | Google
TESTING MULTI-THREAD SOFTWARE USING PRIORITIZED CONTEXT SWITCH LIMITS...
www.patentsencyclopedia.com
Patent application title: TESTING MULTI-THREAD SOFTWARE USING PRIORITIZED CONTEXT SWITCH LIMITS Inventors: Madanlal S. Musuvathi (Redmond, WA, US) Shaz Qadeer
Download PDF - Microsoft
www.microsoft.com
[27] Madanlal S. Musuvathi, David Park, Andy Chou,. Dawson R Engler, and David L Dill. Cmc: A pragmatic approach to model checking real code. In.
'[Ext2-devel] FWD: [CHECKER] warning in...
marc.info
EDU, Madanlal S Musuvathi &>, "David L. Dill" <dill@cs. Stanford.EDU> Subject: [CHECKER] warning in fs/ext2/dir.c: ext2_find_entry ...
ASPLOS | Twenty First International Conference on Architectural...
research.ece.cmu.edu
ASPLOS Twenty First ... Madanlal Musuvathi, Microsoft Research Onur Mutlu, Carnegie Mellon University Satish Narayanasamy, University of Michigan
CC Schedule
alumni.cs.ucr.edu
Thursday, March 25, 2010: Session 2 (10: :30) ... Madanlal Musuvathi, Microsoft Research, United States Vasu Singh, EPFL, Switzerland. Session 4 (17: :30)
CSE 503: Software Engineering: Program Analysis
courses.cs.washington.edu
"Finding and Reproducing Heisenbugs in Concurrent Programs" by Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayagam Arumuga Nainar,
Related search requests for Madanlal S. Musuvathi
John Erickson Abhayendra Singh |
People Forename "Madanlal" (23) Name "Musuvathi" (3) |
sorted by relevance / date