Author:
Hoffmann Jan,Aehlig Klaus,Hofmann Martin
Cited by
75 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Robust Resource Bounds with Static Analysis and Bayesian Inference;Proceedings of the ACM on Programming Languages;2024-06-20
2. OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based Approach;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
3. FP²: Fully in-Place Functional Programming;Proceedings of the ACM on Programming Languages;2023-08-30
4. Gaiwan: A size-polymorphic typesystem for GPU programs;Science of Computer Programming;2023-08
5. Automatic Amortized Resource Analysis with Regular Recursive Types;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26