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