Metadata
- Source
- File: Alive2 by Lopes et al (2021).pdf
- Zotero: View Item
- Type: ConferencePaper
- Title: Alive2: bounded translation validation for LLVM,
- Author: Lopes, Nuno P.; Lee, Juneyoung; Hur, Chung-Kil; Liu, Zhengyang; Regehr, John;
- Publisher: ACM,
- Location: Virtual Canada,
- Pages: 65-79
- Year: 2021
- DOI: 10.1145/3453483.3454030
- ISBN: 978-1-4503-8391-2
Abstract
Tags and Collections
- Keywords: 05 Reference; Compiler; Compiler Fuzzing; Fuzzing
Comments