[PLDI'23] Optimal Reads-From Consistency Checking for C11-Style Memory Models

ACM SIGPLAN - [PLDI'23] Optimal Reads-From Consistency Checking for C11-Style Memory Models