Soufflé: On Synthesis of Program Analyzers
No abstract available.
DOI 10.1007/978-3-319-41540-6_23
Related papers
- The Choice Construct in the Soufflé Language APLAS 2021
- Automatic Synthesis of Data-Flow Analyzers SAS 2021
- Seamless deductive inference via macros CC 2022
- Compiling data-parallel Datalog CC 2021
- An efficient interpreter for Datalog by de-specializing relations PLDI 2021
- Synthesis of biological models from mutation experiments POPL 2013
- Two concurrent data structures for efficient datalog query processing PPoPP 2018
- Flan: An Expressive and Efficient Datalog Compiler for Program Analysis POPL 2024