Cited By
View all- Yip EGirault ARoop PBiglari-Abhari M(2023)Synchronous Deterministic Parallel Programming for Multi-Cores with ForeCACM Transactions on Programming Languages and Systems10.1145/359159445:2(1-74)Online publication date: 26-Jun-2023
- Bai YHu KZhan N(2018)DesynchronizationProceedings of the 16th ACM-IEEE International Conference on Formal Methods and Models for System Design10.5555/3343872.3343885(109-118)Online publication date: 15-Oct-2018
- Burckhardt SCoppieters T(2018)Reactive caching for composed services: polling at the speed of pushProceedings of the ACM on Programming Languages10.1145/32765222:OOPSLA(1-28)Online publication date: 24-Oct-2018
- Show More Cited By