Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Abstract elided by the publisher.
Related papers
- Semantic subtyping with an SMT solver JFP 2012
- Canary: practical static detection of inter-thread value-flow bugs PLDI 2021
- Saturn: A scalable framework for error detection using Boolean satisfiability TOPLAS 2007
- Semantic subtyping with an SMT solver ICFP 2010
- Taming callbacks for smart contract modularity OOPSLA 2020
- Static deadlock detection for concurrent go by global session graph synthesis CC 2016
- Path-sensitive sparse analysis without path conditions PLDI 2021
- Sound compilation of reals POPL 2014