Shenghua Feng

Publications with FICTION

Book Chapters

  1. (2024). A Unified Framework for Quantitative Analysis of Probabilistic Programs. JPK’s Festschrift. PDF Cite DOI

Journal Articles

  1. (2023). Lower Bounds for Possibly Divergent Probabilistic Programs. Proc. ACM Program. Lang. (OOPSLA). PDF Cite Poster Slides DOI

Conference Papers

  1. (2020). Unbounded-Time Safety Verification of Stochastic Differential Dynamics. In CAV 2020. PDF Cite Slides Video DOI Artifact Evaluated Pulp Fiction
  2. (2019). Taming Delays in Dynamical Systems. In CAV 2019. PDF Cite Slides DOI Artifact Evaluated