Crellvm: verified credible compilation for LLVM
- 11 June 2018
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 631-645
- https://doi.org/10.1145/3192366.3192377
Abstract
No abstract availableKeywords
Funding Information
- Samsung Research Funding Center of Samsung Electronics (SRFC-IT1502-07)
This publication has 37 references indexed in Scilit:
- A Witnessing Compiler: A Proof of ConceptPublished by Springer Science and Business Media LLC ,2013
- Witnessing Program TransformationsPublished by Springer Science and Business Media LLC ,2013
- Equality-Based Translation Validator for LLVMLecture Notes in Computer Science, 2011
- Validating Register Allocation and SpillingLecture Notes in Computer Science, 2010
- Formal verification of a realistic compilerCommunications of the ACM, 2009
- CoVaC: Compiler Validation by Program Analysis of the Cross-ProductPublished by Springer Science and Business Media LLC ,2008
- The Code Validation Tool (CVT)International Journal on Software Tools for Technology Transfer, 1998
- Translation validationLecture Notes in Computer Science, 1998
- Efficiently computing static single assignment form and the control dependence graphACM Transactions on Programming Languages and Systems, 1991
- Proving the correctness of heuristically optimized codeCommunications of the ACM, 1978