Factotum: Automatic and Systematic Sharing Support for Systems Analyzers
No abstract available.
Related papers
- Systematic black-box analysis of collaborative web applications PLDI 2017
- Automatically Closing Open Reactive Programs PLDI 1998
- An analyzable annotation language OOPSLA 2002
- Essential language support for generic programming PLDI 2005
- TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis TOPLAS 2013
- Trace-Based Program Analysis POPL 1996
- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude TACAS 2019
- AnICA: analyzing inconsistencies in microarchitectural code analyzers OOPSLA 2022