APEX: An Analyzer for Open Probabilistic Programs
Abstract elided by the publisher.
Related papers
- Apex: automatic programming assignment error explanation OOPSLA 2016
- Probabilistic relational reasoning for differential privacy POPL 2012
- Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects OOPSLA 2024
- Probabilistic Duration Automata for Analyzing Real-Time Systems TACAS 1996
- Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs POPL 2024
- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes TACAS 2021
- Comparing Transparent Static Analyzers with Open Verification Dashboard ECOOP 2026
- Central moment analysis for cost accumulators in probabilistic programs PLDI 2021