Cited By
View all- Castello JRedmond PKuper L(2024)Inductive Diagrams for Causal ReasoningProceedings of the ACM on Programming Languages10.1145/36498308:OOPSLA1(529-554)Online publication date: 29-Apr-2024
- Shi ZMathur UPavlogiannis ARoychoudhury APaiva AAbreu RStorey M(2024)Optimistic Prediction of Synchronization-Reversal Data RacesProceedings of the IEEE/ACM 46th International Conference on Software Engineering10.1145/3597503.3639099(1-13)Online publication date: 20-May-2024
- Li GTan HLiu LZhou HJiang SHan ZLi XChen G(2023)DAG Scheduling in Mobile Edge ComputingACM Transactions on Sensor Networks10.1145/361637420:1(1-25)Online publication date: 20-Oct-2023
- Show More Cited By