Cited By
View all- Alegria AIerusalimschy RRodriguez N(2022)EventManager — a tool to help students analyse concurrent programsProceedings of the XXVI Brazilian Symposium on Programming Languages10.1145/3561320.3561324(24-31)Online publication date: 6-Oct-2022
- Fremont DKim EDreossi TGhosh SYue XSangiovanni-Vincentelli ASeshia S(2022)Scenic: a language for scenario specification and data generationMachine Learning10.1007/s10994-021-06120-5112:10(3805-3849)Online publication date: 2-Feb-2022
- Luo WDemsky BSherwood TBerger EKozyrakis C(2021)C11Tester: a race detector for C/C++ atomicsProceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3445814.3446711(630-646)Online publication date: 19-Apr-2021
- Show More Cited By