Automatic Synthesis of Data-Flow Analyzers
Abstract elided by the publisher.
Related papers
- Information Flow Guided Synthesis with Unbounded Communication CAV 2024
- Bayesian synthesis of probabilistic programs for automatic data modeling POPL 2019
- Shape analysis with inductive recursion synthesis PLDI 2007
- A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code POPL 2011
- Natural synthesis of provably-correct data-structure manipulations OOPSLA 2017
- Liquid information flow control ICFP 2020
- Information Flow Guided Synthesis CAV 2022
- A Web Interface for Petri Nets with Transits and Petri Games TACAS 2021