ISR Bibliography

Export 1 results:
[ Author(Desc)] Title Type Year
Filters: Author is Peizhao Ou  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
O
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.