Cited By
View all- Chakraborty SKrishna SMathur UPavlogiannis A(2024)How Hard Is Weak-Memory Testing?Proceedings of the ACM on Programming Languages10.1145/36329088:POPL(1978-2009)Online publication date: 5-Jan-2024
- Farzan AMathur U(2024)Coarser Equivalences for Causal ConcurrencyProceedings of the ACM on Programming Languages10.1145/36328738:POPL(911-941)Online publication date: 5-Jan-2024
- Naylor MMoore SMujumdar APiskac RTalupur M(2016)A consistency checker for memory subsystem tracesProceedings of the 16th Conference on Formal Methods in Computer-Aided Design10.5555/3077629.3077654(133-140)Online publication date: 3-Oct-2016
- Show More Cited By