Cited By
View all- Narayanaswamy GJoshi SKroening D(2016)The virtues of conflictACM SIGPLAN Notices10.1145/3016078.285116551:8(1-12)Online publication date: 27-Feb-2016
- Narayanaswamy GJoshi SKroening DAsenjo RHarris T(2016)The virtues of conflictProceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming10.1145/2851141.2851165(1-12)Online publication date: 27-Feb-2016
- Lindemann CSchön F(2005)Modeling relaxed memory consistency protocolsQuantitative Evaluation of Computing and Communication Systems10.1007/BFb0024329(385-400)Online publication date: 9-Jun-2005
- Show More Cited By