Madan Musuvathi

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Thomas Ball 0001

> Home > Persons > Madan Musuvathi

Publications

2014
[c50]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/usenix/KasikciBCEM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/KasikciBCEM14
Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi:
Efficient Tracing of Cold Code via Bias-Free Sampling. USENIX ATC 2014: 243-254
2011
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/software/BallBHMQ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/BallBHMQ11
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer:
Predictable and Progressive Testing of Multithreaded Code. IEEE Softw. 28(3): 75-83 (2011)
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/SadowskiBBBGMMQT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/SadowskiBBBGMMQT11
Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub:
Practical parallel and concurrent programming. SIGCSE 2011: 189-194
2010
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BallBCMQ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BallBCMQ10
Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer:
Preemption Sealing for Efficient Concurrency Testing. TACAS 2010: 420-434
2009
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BallBHMQ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BallBHMQ09
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer:
Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404
2008
[c17]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/osdi/MusuvathiQBBNN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/MusuvathiQBBNN08
Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu:
Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI 2008: 267-280
2005
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BallLM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BallLM05
Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi:
Zap: Automated Theorem Proving for Software Analysis. LPAR 2005: 2-22

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.