Optimal Reads-From Consistency Checking for C11-Style Memory Models

Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
June, 2023
PDF Cite Code Slides Video DOI
Type
Conference paper
Publication
PLDI 2023
Hünkar Can Tunç
Hünkar Can Tunç
PhD Student