Wisening Assertions: A Live Bayesian Reasoning System for Probabilistic Correctness

Explore a novel approach to runtime assertions in software development through this conference talk from POPL'23. Learn about a system that gradually transitions assertions from "always-on" to "always-off" as confidence in code correctness increases over time. Discover how this method combines the robustness of constant assertion checking with the scalability and eventual zero overhead of disabled assertions. Understand the innovative static analysis technique that determines each assertion's dependency on surrounding code under a probabilistic execution model. Gain insights into how this approach maintains confidence in correctness even as assertion execution frequency decreases, offering a powerful new solution for balancing testing thoroughness and production performance in software development.