Media Summary: The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ... We present a novel static analysis technique to derive higher moments for program variables for a large class of The Fourth Conference on Artificial General Intelligence Mountain View, California, USA August 3-6, 2011

Oopsla 25 Multi Language Probabilistic - Detailed Analysis & Overview

The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ... We present a novel static analysis technique to derive higher moments for program variables for a large class of The Fourth Conference on Artificial General Intelligence Mountain View, California, USA August 3-6, 2011 Eli Sennesh is a recent graduate of the PhD program in computer science at Northeastern, in which I (Max) and many other BCC ... [LAFI'24] Effective Sequential Monte Carlo for The London Clojurians are happy to present: Christian Weilbach ( will be presenting Daphne. Clojure is a ...

Photo Gallery

[OOPSLA'25] Multi-Language Probabilistic Programming
[LAFI'24] A Multi-language Approach to Probabilistic Program Inference
[OOPSLA'25] The Simple Essence of Monomorphization
[OOPSLA] This Is the Moment for Probabilistic Loops
Probabilistic ML — Lecture 25 — Customizing Probabilistic Models & Algorithms
[OOPSLA] Probability Type Inference for Flexible Approximate Programming
AGI 2011 - Probabilistic Programs: A New Language for AI
OOPSLA 2020 Poster: Scaling Exact Inference for Discrete Probabilistic Programs
Open Problems in Probabilistic Programming Semantics with Eli Sennesh
[LAFI'25] Exact Inference for Nested Discrete Probabilistic Programs (Remote)
Paradigms of Probabilistic Programming
[LAFI'24] Effective Sequential Monte Carlo for Language Model Probabilistic Programs
View Detailed Profile
[OOPSLA'25] Multi-Language Probabilistic Programming

[OOPSLA'25] Multi-Language Probabilistic Programming

Multi

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

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

[LAFI'24] A

[OOPSLA'25] The Simple Essence of Monomorphization

[OOPSLA'25] The Simple Essence of Monomorphization

The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ...

[OOPSLA] This Is the Moment for Probabilistic Loops

[OOPSLA] This Is the Moment for Probabilistic Loops

We present a novel static analysis technique to derive higher moments for program variables for a large class of

Probabilistic ML — Lecture 25 — Customizing Probabilistic Models & Algorithms

Probabilistic ML — Lecture 25 — Customizing Probabilistic Models & Algorithms

This is the twenty-fifth lecture in the

[OOPSLA] Probability Type Inference for Flexible Approximate Programming

[OOPSLA] Probability Type Inference for Flexible Approximate Programming

Talk Title:

AGI 2011 - Probabilistic Programs: A New Language for AI

AGI 2011 - Probabilistic Programs: A New Language for AI

The Fourth Conference on Artificial General Intelligence Mountain View, California, USA August 3-6, 2011

OOPSLA 2020 Poster: Scaling Exact Inference for Discrete Probabilistic Programs

OOPSLA 2020 Poster: Scaling Exact Inference for Discrete Probabilistic Programs

This is the poster presentation for the

Open Problems in Probabilistic Programming Semantics with Eli Sennesh

Open Problems in Probabilistic Programming Semantics with Eli Sennesh

Eli Sennesh is a recent graduate of the PhD program in computer science at Northeastern, in which I (Max) and many other BCC ...

[LAFI'25] Exact Inference for Nested Discrete Probabilistic Programs (Remote)

[LAFI'25] Exact Inference for Nested Discrete Probabilistic Programs (Remote)

Exact Inference for Nested Discrete

Paradigms of Probabilistic Programming

Paradigms of Probabilistic Programming

Presented at SPLASH-I 2018

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

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

[LAFI'24] Effective Sequential Monte Carlo for

Compiling Probabilistic Programs with Daphne (by Christian Weilbach)

Compiling Probabilistic Programs with Daphne (by Christian Weilbach)

The London Clojurians are happy to present: Christian Weilbach (https://whilo.github.io/) will be presenting Daphne. Clojure is a ...