
The author presents the NPA-PMA framework for efficient program analysis of probabilistic programs, addressing challenges with multiple confluence operations.


coremsg

newtonian-program-analysis-of-probabilistic-programs-an-in-depth-study


Newtonian Program Analysis of Probabilistic Programs: An In-Depth Study


title_rewrite


Probabilistic programs pose challenges for program analysis, but NPA-PMA offers a non-iterative solution.


newtonian-program-analysis-of-probabilistic-programs-technical-report


Newtonian Program Analysis of Probabilistic Programs: Technical Report
