1:42

[LAFI'24] Opening Remarks

ACM SIGPLAN

26:02

[LAFI'24] Basis Talk: Reasoning via Semantic Transformations

ACM SIGPLAN

9:29

[LAFI'24] A Tree Sampler for Bounded Context-Free Languages

ACM SIGPLAN

8:04

[LAFI'24] A Multi-language Approach to Probabilistic Program Inference

ACM SIGPLAN

8:03

[LAFI'24] Belief Programming in Partially Observable Probabilistic Environments

ACM SIGPLAN

9:58

[LAFI'24] Homomorphic Reverse Differentiation of Iteration

ACM SIGPLAN

9:19

[LAFI'24] MultiSPPL: extending SPPL with multivariate leaf nodes

ACM SIGPLAN

10:22

[LAFI'24] Reverse mode ADEV via YOLO: tangent estimators transpose to gradient estimators

ACM SIGPLAN

8:57

[LAFI'24] A slice sampler for the Indian Buffet Process: expressivity in nonparametric pro...

ACM SIGPLAN

11:27

[LAFI'24] Effective Sequential Monte Carlo for Language Model Probabilistic Programs

ACM SIGPLAN

14:03

[LAFI'24] Effect Handlers for Choice-Based Learning

ACM SIGPLAN

10:11

[LAFI'24] Guaranteed Bounds for Discrete Probabilistic Programs with Loops via Generating ...

ACM SIGPLAN

9:53

[LAFI'24] JuliaBUGS: A Graph-Based Probabilistic Programming Language using BUGS syntax

ACM SIGPLAN

9:34

[LAFI'24] Mixture Languages

ACM SIGPLAN

9:35

[LAFI'24] Structured Tensor Algebra for Efficient Discrete Probabilistic Inference

ACM SIGPLAN

8:14

[LAFI'24] Towards a Categorical Model of the Lilac Separation Logic

ACM SIGPLAN

12:14

[LAFI'24] Toward Probabilistic Coarse-to-Fine Program Synthesis

ACM SIGPLAN

11:12

[LAFI'24] Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial ...

ACM SIGPLAN

10:48

[LAFI'24] Abstract Interpretation for Automatic Differentiation

ACM SIGPLAN