Checking Concurrent Data Structures Under the C/C++11 Memory Model.

Sun, 01 Jan 2017 00:00:00 +0100

Peizhao Ou, Brian Demsky:
Checking Concurrent Data Structures Under the C/C++11 Memory Model. PPoPP 2017: 45-59