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

Annotations

Notes