Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences
Published in OOPSLA 2025, 2025
The contents above will be part of a list of publications, if the user clicks the link for the publication than the contents of section will be rendered as a full page, allowing you to provide more information about the paper for the reader. When publications are displayed as a single page, the contents of the above “citation” field will automatically be included below this section in a smaller font.
Recommended citation: Tianchi Li and Xin Zhang. 2025. Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences. Proc. ACM Program. Lang. 9, OOPSLA1, Article 143 (April 2025), 28 pages. https://doi.org/10.1145/3720508
Download Paper | Download Slides | Download Bibtex