PSyCO: Precondition Synthesis for Compiler Optimizations
PSyCO is a research project that aims to automate the synthesis of preconditions
for compiler optimizations that are correct by construction.
Publications
Software
The following package includes a prototype of the tool and the benchmarks presented in our
VMCAI'14 paper (requires Python 2.7):
PSyCO 0.2 (released: 19/May/2014)
Related projects: CORK (Optimization verification).