Semantics of the memo Probabilistic Programming Language (LAFI 2025)

Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

Who

Kartik Chandra, Nada Amin, Yizhou Zhang

Track

LAFI 2025

Time Zone

The program is currently displayed in (GMT-07:00) Mountain Time (US & Canada).

Use conference time zone: (GMT-07:00) Mountain Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 19 Jan 2025 14:41 - 14:56 at Peek-A-Boo - Third session Chair(s): Matthijs Vákár

Abstract

memo is a new domain-specific probabilistic programming language meant for reasoning about reasoning. In this extended abstract, we present a formalization of memo, including a type system and a denotational semantics.

Kartik Chandra

MIT

United States

Nada Amin

Harvard University

United States

Yizhou Zhang

University of Waterloo

Canada