Automatic Rootcausing for Program Equivalence Failures in Binaries
No abstract available.
Related papers
- Software multiplexing: share your libraries and statically link them too OOPSLA 2018
- Resilient X10: efficient failure-aware programming PPoPP 2014
- Automatic Derivation of Timing Constraints by Failure Analysis CAV 2002
- Proof repair across type equivalences PLDI 2021
- WATCHER: in-situ failure diagnosis OOPSLA 2020
- Scalable verification of probabilistic networks PLDI 2019
- Apex: automatic programming assignment error explanation OOPSLA 2016
- A New Solution to Lamport's Concurrent Programming Problem Using Small Shared Variables TOPLAS 1983