Cited By
View all- Jacobson JBurtscher MGopalakrishnan G(2024)HiRace: Accurate and Fast Data Race Checking for GPU ProgramsProceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis10.1109/SC41406.2024.00042(1-14)Online publication date: 17-Nov-2024
- Gondelman LGregersen SNieto ATimany ABirkedal L(2021)Distributed causal memory: modular specification and verification in higher-order distributed separation logicProceedings of the ACM on Programming Languages10.1145/34343235:POPL(1-29)Online publication date: 4-Jan-2021
- Dokulil J(2021)Let’s Put the Memory Model Front and Center When Teaching Parallel Programming in C++2021 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)10.1109/IPDPSW52791.2021.00057(315-320)Online publication date: Jun-2021
- Show More Cited By



