Cited By
View all- Ou PDemsky B(2017)Checking Concurrent Data Structures Under the C/C++11 Memory ModelACM SIGPLAN Notices10.1145/3155284.301874952:8(45-59)Online publication date: 26-Jan-2017
- Ou PDemsky BSarkar VRauchwerger L(2017)Checking Concurrent Data Structures Under the C/C++11 Memory ModelProceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming10.1145/3018743.3018749(45-59)Online publication date: 26-Jan-2017
- Tripp OKoskinen ESagiv M(2013)Turning nondeterminism into parallelismACM SIGPLAN Notices10.1145/2544173.250953348:10(589-604)Online publication date: 29-Oct-2013
- Show More Cited By