The Compiler Validation Project:
Developing tools for proving the correctness of compilation.

let's move this a bit more more People

Mission

Description

Publications

TVOC: A Translation Validator for Optimizing Compilers <