Paper Accepted by OOPSLA 2023

Our paper has been accepted for presentation at OOPSLA 2023.

Our paper titled “Lower Bounds for Possibly Divergent Probabilistic Programs” by Shenghua Feng (ISCAS), Mingshuai Chen, Han Su (ISCAS), Benjamin Lucien Kaminski (Saarland/UCL), Joost-Pieter Katoen (RWTH Aachen), and Naijun Zhan (ISCAS) has been accepted for presentation at OOPSLA 2023 in Lisbon, Portugal, as part of the Proceedings of the ACM on Programming Languages (PACMPL). This paper contributes a new proof rule for verifying lower bounds on quantities of possibly divergent probabilistic programs.