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
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Convergence of Datalog over (Pre-) Semirings;Journal of the ACM;2024-01-30
2. Reachability in Continuous Pushdown VASS;Proceedings of the ACM on Programming Languages;2024-01-05
3. Tensor Wiener Filter;IEEE Transactions on Signal Processing;2022
4. Closed forms for numerical loops;Proceedings of the ACM on Programming Languages;2019-01-02
5. Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems;Proceedings of the ACM on Programming Languages;2019-01-02