Symbolic execution of high-level transformations
No abstract available.
Related papers
- From high-level inference algorithms to efficient code ICFP 2019
- Transforming High-Level Data-Parallel Programs into Vector Operations PPoPP 1993
- Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries CAV 2013
- Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables POPL 2015
- Type-Dependence Analysis and Program Transformation for Symbolic Execution TACAS 2007
- TRANSIT: specifying protocols with concolic snippets PLDI 2013
- Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks PLDI 2026
- Sound Borrow-Checking for Rust via Symbolic Semantics ICFP 2024