Author:
Calcagno Cristiano,Distefano Dino,Dubreil Jeremy,Gabi Dominik,Hooimeijer Pieter,Luca Martino,O’Hearn Peter,Papakonstantinou Irene,Purbrick Jim,Rodriguez Dulma
Publisher
Springer International Publishing
Cited by
163 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Compositional Taint Analysis for Enforcing Security Policies at Scale;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
2. Reasoning About Exceptional Behavior at the Level of Java Bytecode;iFM 2023;2023-11-06
3. Historia: Refuting Callback Reachability with Message-History Logics;Proceedings of the ACM on Programming Languages;2023-10-16
4. Inference of Resource Management Specifications;Proceedings of the ACM on Programming Languages;2023-10-16
5. Live Programming for Finite Model Finders;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11