Cited By
View all- Chatterjee KGoharshady AMeggendorfer TŽikelić Đ(2024)Quantitative Bounds on Resource Usage of Probabilistic ProgramsProceedings of the ACM on Programming Languages10.1145/36498248:OOPSLA1(362-391)Online publication date: 29-Apr-2024
- Muller SHoffmann J(2024)Modeling and Analyzing Evaluation Cost of CUDA KernelsACM Transactions on Parallel Computing10.1145/363940311:1(1-53)Online publication date: 12-Jan-2024
- Grodin HNiu YSterling JHarper R(2024)Decalf: A Directed, Effectful Cost-Aware Logical FrameworkProceedings of the ACM on Programming Languages10.1145/36328528:POPL(273-301)Online publication date: 5-Jan-2024
- Show More Cited By