ISR
Checking Concurrent Data Structures Under the C/C++11 Memory Model
| Title | Checking Concurrent Data Structures Under the C/C++11 Memory Model |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Ou, P., and B. Demsky |
| Conference Name | 2017 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2017) |
| Pagination | 45-59 |
| Date Published | Feb 4-8 |
| Conference Location | Austin, TX |
| DOI | 10.1145/3018743.3018749 |