Automatic Translation Validation for LLVM (Alive2:)
Type: Contract Project
Duration: from 2022 Jan 01 to 2022 Dec 31
Financed by: Woven Alpha
Prime Contractor: INESC-ID (Other)
Expand set of LLVM features supported by Alive2
Partnerships
- INESC-ID (Other)
Principal Investigators
- Nuno Claudino Pereira Lopes (HPCAS)
Members
- Nuno Claudino Pereira Lopes (HPCAS)