Roulette for Racketeers
Автор: Racket
Загружено: 2025-10-25
Просмотров: 208
Описание:
Roulette for Racketeers
presentation by Cameron Moy at the (fifteenth RacketCon) October 4-5, 2025, UMass Boston
• Roulette for Racketeers
Roulette for Racketeers
Exact probabilistic inference is a requirement for many applications of probabilistic programming languages (PPLs), but implementing a PPL with high-performance inference is difficult. Roulette is a new discrete PPL that combines high-performance exact inference with expressive language features by leveraging the close connection between exact probabilistic inference and the symbolic evaluation strategy of Rosette. Building on this connection, Roulette generalizes and extends the Rosette solver-aided programming system to reason about probabilistic rather than symbolic quantities. In this talk, I’ll demonstrate how to use Roulette and discuss some of the ideas that make it work.
Bio: Cameron is a PhD student and member of the PLT and PRL research groups at Northeastern University. He primarily studies contract systems but is broadly interested in programming language design.
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
