Fixing Code that Explodes Under Symbolic Evaluation
Abstract elided by the publisher.
Related papers
- Finding code that explodes under symbolic evaluation OOPSLA 2018
- Automated Exploit Generation for Node.js Packages PLDI 2025
- Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search PLDI 2025
- Models Whose Checks Don't Explode CAV 1994
- Lazy counterfactual symbolic execution PLDI 2019
- The principles and practice of probabilistic programming POPL 2013
- Tensor Program Superoptimization through Cost-Guided Symbolic Program Synthesis CGO 2026
- Symbolic Quantitative Robustness Analysis of Timed Automata TACAS 2015