57:49

[LAFI'23] Introduction to the tensor-programs framework, a PL approach that helps analyse ...

ACM SIGPLAN

10:37

[LAFI'23] Exact Inference for Discrete Probabilistic Programs via Generating Functions

ACM SIGPLAN

14:08

[LAFI'23] Exact Probabilistic Inference Using Generating Functions

ACM SIGPLAN

19:57

[LAFI'23] What do posterior distributions of probabilistic programs look like?

ACM SIGPLAN

18:12

[LAFI'23] Semantics of Probabilistic Program Traces

ACM SIGPLAN

3:49

[LAFI'23] Random probability distributions as natural transformations

ACM SIGPLAN

5:53

[LAFI'23] Static Delayed Sampling for Probabilistic Programming Languages

ACM SIGPLAN

5:01

[LAFI'23] Denotational semantics of languages for inference: semirings, monads, and tensor...

ACM SIGPLAN

4:21

[LAFI'23] Separated and Shared Effects in Higher-Order Languages

ACM SIGPLAN

5:09

[LAFI'23] On Iteration in Discrete Probabilistic Programming

ACM SIGPLAN

4:30

[LAFI'23] Bit-Blasting Probabilistic Programs

ACM SIGPLAN

4:48

[LAFI'23] πMPC: Automatic Security Proofs for MPC Protocols

ACM SIGPLAN

19:05

[LAFI'23] The Variable Elimination Algorithm as a Let-Term Rewriting

ACM SIGPLAN

6:46

[LAFI'23] On the Reparameterisation Gradient for Non-Differentiable but Continuous Models

ACM SIGPLAN

4:33

[LAFI'23] Partial Evaluation of Forward-Mode Automatic Differentiation

ACM SIGPLAN

5:40

[LAFI'23] Distribution Theoretic Semantics for Non-Smooth Differentiable Programming

ACM SIGPLAN

4:56

[LAFI'23] New foundations for probabilistic separation logic

ACM SIGPLAN

5:41

[LAFI'23] Verified Reversible Programming for Verified Lossless Compression

ACM SIGPLAN

6:11

[LAFI'23] Pitfalls of Full Bayesian Inference in Universal Probabilistic Programming

ACM SIGPLAN

22:30

[LAFI'23] Contextual source code AD transformations for sum types

ACM SIGPLAN