CORK: Compiler Optimization Correctness checKing

CORK is a research project that aims to automate the verification of correctness of compiler optimizations.





The following package includes a prototype of the tool and the benchmarks presented in our SPIN'13 paper (for Linux x86):

CORK 0.1 (released: 02/July/2013)


Related projects: PSyCO (Precondition synthesis).


Why Cork?

Cork is the bark of the cork oak, which is a tree that grows in Mediterranean regions, and namely in Portugal. The cork oak tree lives for about 200 years, and its cork is used in a variety of industries.