Publisher
Springer Berlin Heidelberg
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Class of Programs that Admit Exact Complexity Analysis via Newton?s Polynomial Interpolation;Proceedings of the XXVII Brazilian Symposium on Programming Languages;2023-09-25
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. Performance Bug Analysis and Detection for Distributed Storage and Computing Systems;ACM Transactions on Storage;2023-06-19
4. Differential cost analysis with simultaneous potentials and anti-potentials;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
5. Dynaplex;Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings;2022-05-21