Author:
Chaudhuri Swarat,Gulwani Sumit,Lublinerman Roberto
Cited by
63 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Monotonicity and the Precision of Program Analysis;Proceedings of the ACM on Programming Languages;2024-01-05
2. Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference;Proceedings of the ACM on Programming Languages;2023-01-09
3. Learning to Synthesize Relational Invariants;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10
4. Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic;ACM Transactions on Computational Logic;2022-01-14
5. A dual number abstraction for static analysis of Clarke Jacobians;Proceedings of the ACM on Programming Languages;2022-01-12