Publisher
Springer Berlin Heidelberg
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling and Analyzing Evaluation Cost of CUDA Kernels;ACM Transactions on Parallel Computing;2024-03-12
2. Automatic Amortized Resource Analysis with Regular Recursive Types;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
3. A General Noninterference Policy for Polynomial Time;Proceedings of the ACM on Programming Languages;2023-01-09
4. For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM;ACM Transactions on Programming Languages and Systems;2022-07-15
5. Two decades of automatic amortized resource analysis;Mathematical Structures in Computer Science;2022-03-16