ISR Bibliography

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Peizhao Ou  [Clear All Filters]
2017
Ou, P., and B. Demsky, "Checking Concurrent Data Structures Under the C/C++11 Memory Model", 2017 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2017), Austin, TX, pp. 45-59 , Feb 4-8, 2017.