Reflections on the Role of Static Analysis in Cooperative Bug Isolation
No abstract available.
Related papers
- Instrumentation and sampling strategies for cooperative concurrency bug isolation OOPSLA 2010
- Snugglebug: a powerful approach to weakest preconditions PLDI 2009
- Transactions with isolation and cooperation OOPSLA 2007
- Transaction communicators: enabling cooperation among concurrent transactions PPoPP 2011
- Taming undefined behavior in LLVM PLDI 2017
- Asynchronous programming, analysis and testing with state machines PLDI 2015
- Finding Concurrency-Related Bugs Using Random Isolation VMCAI 2009
- Scalable statistical bug isolation PLDI 2005