Cited By
View all- Lee SCho MMargalit RHur CLahav O(2023)Putting Weak Memory in Order via a Promising Intermediate RepresentationProceedings of the ACM on Programming Languages10.1145/35912977:PLDI(1872-1895)Online publication date: 6-Jun-2023
- Jeffrey ARiely JBatty MCooksey SKaysin IPodkopaev A(2022)The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrencyProceedings of the ACM on Programming Languages10.1145/34987166:POPL(1-30)Online publication date: 12-Jan-2022
- Bugden WAlahmar A(2022)The Safety and Performance of Prominent Programming LanguagesInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819402250023132:05(713-744)Online publication date: 17-May-2022