Affiliation:
1. University of Wisconsin-Madison, USA / GrammaTech, USA
2. GrammaTech, USA
3. Google, USA
Funder
Defense Advanced Research Projects Agency
UW-Madison Office of the Vice Chancellor for Research and Graduate Education
U.S. Army Research Laboratory
Wisconsin Alumni Research Foundation
National Science Foundation
Office of Naval Research
Air Force Research Laboratory
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Newtonian Program Analysis of Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-04-29
2. Convergence of datalog over (Pre-) Semirings;Journal of the ACM;2024-04-10
3. Reachability in Continuous Pushdown VASS;Proceedings of the ACM on Programming Languages;2024-01-05
4. Newton’s Method – There and Back Again;Lecture Notes in Computer Science;2024
5. Tensor Wiener Filter;IEEE Transactions on Signal Processing;2022