Work

Alive2: bounded translation validation for LLVM

Year: 2021

Type: conference-paper

Source: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

DOI: 10.1145/3453483.3454030

Authors: Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr

Institutions: Microsoft Research (United Kingdom), Seoul National University, University of Utah

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3164004581

FWCI: 10.45

Cites: 57

Cited by: 164

Related to: 10