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.





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).