From Verification to Optimizations
No abstract available.
Related papers
- Syntactic Optimizations for PSL Verification TACAS 2007
- Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs TACAS 1997
- Verification of Tree Updates for Optimization CAV 2005
- Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM SAS 2016
- ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers TACAS 2026
- Formal verification of SSA-based optimizations for LLVM PLDI 2013
- Formal verification of translation validators: a case study on instruction scheduling optimizations POPL 2008
- Replicated data types: specification, verification, optimality POPL 2014