Author:
Bilardi Gianfranco,Pingali Keshav
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Program Analysis for Adaptive Data Analysis;Proceedings of the ACM on Programming Languages;2024-06-20
2. Fast Change-Based Alarm Reporting for Evolving Software Systems;2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE);2021-10
3. Selective path-sensitive interval analysis (WIP paper);Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2021-06-22
4. Fast Computation of Strong Control Dependencies;Computer Aided Verification;2021
5. Statically relating program properties for efficient verification (short WIP paper);ACM SIGPLAN Notices;2018-12-07