Probabilistic Programming Courses
ACM SIGPLAN via YouTube Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
ACM SIGPLAN via YouTube Positive Almost-Sure Termination: Complexity and Proof Rules
ACM SIGPLAN via YouTube Effective Sequential Monte Carlo for Language Model Probabilistic Programs
ACM SIGPLAN via YouTube Toward Probabilistic Coarse-to-Fine Program Synthesis
ACM SIGPLAN via YouTube Guaranteed Bounds for Discrete Probabilistic Programs with Loops via Generating Functions - LAFI'24
ACM SIGPLAN via YouTube Caesar: A Verifier for Probabilistic Programs - Dafny'24
ACM SIGPLAN via YouTube Lower Bounds for Possibly Divergent Probabilistic Programs
ACM SIGPLAN via YouTube A Gradual Probabilistic Lambda Calculus
ACM SIGPLAN via YouTube A Deductive Verification Infrastructure for Probabilistic Programs
ACM SIGPLAN via YouTube