Probabilistic Programming Courses
ACM SIGPLAN via YouTube Compiling Probabilistic Programs for Variable Elimination with Information Flow
ACM SIGPLAN via YouTube Equivalence and Similarity Refutation for Probabilistic Programs
ACM SIGPLAN via YouTube Scaling Decision-Theoretic Probabilistic Programming Through Factorization
ACM SIGPLAN via YouTube Automated Expected Value Analysis of Recursive Programs
ACM SIGPLAN via YouTube Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning
ACM SIGPLAN via YouTube Lilac: A Modal Separation Logic for Conditional Probability
ACM SIGPLAN via YouTube Decalf: A Directed, Effectful Cost-Aware Logical Framework
ACM SIGPLAN via YouTube Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets - POPL 2024
ACM SIGPLAN via YouTube Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
ACM SIGPLAN via YouTube