Cited in
(35)- RHLE Benchmarks
- Translation validation of loop optimizations and software pipelining in the TVOC framework. In memory of Amir Pnueli
- A self-certifying compilation framework for WebAssembly
- Computer Aided Verification
- Program and proof optimizations with type systems
- A formally verified compiler back-end
- Formal verification of translation validators
- Equality saturation: a new approach to optimization
- Translation and run-time validation of loop transformations
- Types for Proofs and Programs
- FEVS: a functional equivalence verification suite for high-performance scientific computing
- Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
- A simple, verified validator for software pipelining
- VLISP
- TAMPR
- ISP
- TASS_
- CLIPS
- CVC
- MARMOT
- CVT
- SymDiff
- CodeSurfer
- CoVaC
- Piton
- WPDS++
- TASS: the toolkit for accurate scientific software
- Crellvm
- Loopy
- WebAssembly
- Static Analysis
- Product programs and relational program logics
- Computer Aided Verification
- Beyond 2-safety: asymmetric product programs for relational program verification
- Certifying compilers using higher-order theorem provers as certificate checkers
This page was built for software: TVOC
