Cited By
View all- Moine ACharguéraud APottier F(2025)Will it Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage CollectionACM Transactions on Programming Languages and Systems10.1145/3716312Online publication date: 10-Feb-2025
- Pham LSaad FHoffmann J(2024)Robust Resource Bounds with Static Analysis and Bayesian InferenceProceedings of the ACM on Programming Languages10.1145/36563808:PLDI(76-101)Online publication date: 20-Jun-2024
- 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
- Show More Cited By