Debugging probabilistic programs-Reference-Cited by-同舟云学术

Debugging probabilistic programs

Published:2017-06-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
language:
Short-container-title:

Author:

Nandi Chandrakana¹,Grossman Dan¹,Sampson Adrian²,Mytkowicz Todd³,McKinley Kathryn S.⁴

Affiliation:

1. University of Washington, USA

2. Cornell University, USA

3. Microsoft Research, USA

4. Google, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3088525.3088564

Reference38 articles.

1. Microsoft Academic Graph. https://academicgraph.blob.core. windows.net/graph-2016-02-05/index.html. Microsoft Academic Graph. https://academicgraph.blob.core. windows.net/graph-2016-02-05/index.html.

2. LIBSVM Data: Classification (Binary Class). https://www.csie. ntu.edu.tw/˜cjlin/libsvmtools/datasets/binary.html. LIBSVM Data: Classification (Binary Class). https://www.csie. ntu.edu.tw/˜cjlin/libsvmtools/datasets/binary.html.

3. LUCENE.net seach engine library. https://lucenenet.apache. org/. LUCENE.net seach engine library. https://lucenenet.apache. org/.

4. UCI Machine Learning Repository. https://archive.ics.uci. edu/ml/datasets/SML2010. UCI Machine Learning Repository. https://archive.ics.uci. edu/ml/datasets/SML2010.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Equivalence and Similarity Refutation for Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-06-20

2. AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference;Automated Technology for Verification and Analysis;2023

3. SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning;Fundamental Approaches to Software Engineering;2022

4. A Debugger for Probabilistic Programs;Software Engineering and Formal Methods;2021

5. Systems Engineering for Artificial Intelligence-based Systems: A Review in Time;Systems Engineering and Artificial Intelligence;2021