Jacob Burnim
Publications
- 2012, CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration
- 2012, NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness
- 2011, Specifying and Checking Semantic Atomicity for Multithreaded Programs
- 2011, Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory models
- 2011, Monitoring and Checking concurrent Programs for Errors Under Relaxed Memory Models
- 2011, NDSeq: Run-Time Checking for Nondeterministic Sequential Specifications of Parallel Correctness
- 2011, Testing Concurrent Programs on Relaxed Memory Models
- 2010, Testing Concurrent Programs on Relaxed Memory Models
- 2010, Sound and Complete Monitoring of Sequential Consistency in Relaxed Memory Models
- 2010, DETERMIN: Inferring Likely Deterministic Specifications of Multithreaded Programs
- 2010, Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications
- 2009, Asserting and Checking Determinism for Multithreaded Programs
- 2009, WISE: Automated Test Generation for Worst-Case Complexity
- 2009, Looper: Lightweight Detection of Infinite Loops at Runtime
- 2008, Heuristics for Scalable Dynamic Test Generation
