Affiliation:
1. University of California at Los Angeles, USA
Funder
National Science Foundation
DARPA
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,Software
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Language-Based Security for Low-Level MPC;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. Probabilistic inference in the era of tensor networks and differential programming;Physical Review Research;2024-09-06
3. Compiling Probabilistic Programs for Variable Elimination with Information Flow;Proceedings of the ACM on Programming Languages;2024-06-20
4. Bit Blasting Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-06-20
5. GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables;Proceedings of the ACM on Programming Languages;2024-06-20