|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 45 occurrences of 33 keywords
|
|
|
|
|
Results
Found 39 publication records. Showing 39 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang |
Concurrent Library Correctness on the TSO Memory Model.  |
ESOP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
What's Decidable about Weak Memory Models? |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey S. Vetter, Madanlal Musuvathi, Xipeng Shen (eds.) |
Proceedings of the 2011 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '11, San Jose, CA, USA, June 5, 2011 |
MSPC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy |
A case for an SC-preserving compiler. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi |
Efficient processor support for DRFx, a memory model with exceptions. |
ASPLOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Groce, Madanlal Musuvathi (eds.) |
Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nupur Kothari, Ratul Mahajan, Todd D. Millstein, Ramesh Govindan, Madanlal Musuvathi |
Finding protocol manipulation attacks. |
SIGCOMM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan |
Line-up: a complete and automatic linearizability checker. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
thread safety, atomicity, linearizability |
| 1 | Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy |
DRFX: a simple and efficient memory model for concurrent programming languages. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
memory model exception, soft fences, memory models, data races, sequential consistency |
| 1 | Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi, Kevin C. Webb |
Fluxo: a system for internet service programming by non-expert developers. |
SoCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk |
Effective Data-Race Detection for the Kernel. |
OSDI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer |
Preemption Sealing for Efficient Concurrency Testing. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte |
A randomized scheduler with probabilistic guarantees of finding bugs. |
ASPLOS |
2010 |
DBLP DOI BibTeX RDF |
testing, concurrency, randomized algorithms, race conditions |
| 1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
On the verification problem for weak memory models. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
lossy channel systems, program verification, infinite state systems, relaxed memory models |
| 1 | Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh |
Verifying Local Transformations on Relaxed Memory Models. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi |
GAMBIT: effective unit testing for concurrency libraries. |
PPOPP |
2010 |
DBLP DOI BibTeX RDF |
preemption bound, model checking, concurrency, software testing, multithreading, partial-order reduction |
| 1 | Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy |
LiteRace: effective sampling for lightweight data-race detection. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
dynamic data race detection, sampling, concurrency bugs |
| 1 | Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard |
Progress guarantee for parallel programs via bounded lock-freedom. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
bounded lock-freedom, lock-freedom, progress guarantees, model checking, parallel computation |
| 1 | Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi |
FLUXO: A Simple Service Compiler. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alexander Rasmussen, Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi |
Improving the responsiveness of internet services with automatic cache placement. |
EuroSys |
2009 |
DBLP DOI BibTeX RDF |
simulation, optimization, caching, cloud computing, internet services, dataflow model |
| 1 | Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer |
Deconstructing concurrency heisenbugs. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Madanlal Musuvathi, Shaz Qadeer |
Fair stateless model checking. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
model checking, concurrency, software testing, fairness, multi-threading, liveness, shared-memory programs |
| 1 | Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu |
Finding and Reproducing Heisenbugs in Concurrent Programs. |
OSDI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Madanlal Musuvathi |
Effective Program Verification for Relaxed Memory Models. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Madanlal Musuvathi, Shaz Qadeer |
Iterative context bounding for systematic testing of multithreaded programs. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
context-bounding, model checking, concurrency, software testing, multithreading, partial-order reduction, shared-memory programs |
| 1 | Shuvendu K. Lahiri, Madanlal Musuvathi |
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi |
Using model checking to find serious file system errors. |
ACM Trans. Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Model checking, file system, recovery, journaling, crash |
| 1 | Shuvendu K. Lahiri, Madanlal Musuvathi |
Solving Sparse Linear Constraints. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Greta Yorsh, Madanlal Musuvathi |
A Combination Method for Generating Interpolants. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi |
Zap: Automated Theorem Proving for Software Analysis. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Madanlal Musuvathi, David L. Dill |
An Incremental Heap Canonicalization Algorithm. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Madanlal Musuvathi |
An Efficient Decision Procedure for UTVPI Constraints. |
FroCos |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Madanlal Musuvathi, Dawson R. Engler |
Model Checking Large Network Protocol Implementations. |
NSDI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi |
Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). |
OSDI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Dawson R. Engler, Madanlal Musuvathi |
Static Analysis versus Software Model Checking for Bug Finding. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Madanlal Musuvathi, Dawson R. Engler |
Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Madanlal Musuvathi, Andy Chou, David L. Dill, Dawson R. Engler |
Model checking system software with CMC. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill |
CMC: A Pragmatic Approach to Model Checking Real Code. |
OSDI |
2002 |
DBLP BibTeX RDF |
|
Displaying result #1 - #39 of 39 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")