Marco Cusumano-Towner

Registered user since Fri 17 Nov 2017

Name: Marco Cusumano-Towner

Affiliation: MIT-CSAIL

Contributions

LAFI 2020	Gen and MetaGen MetaPPL: Inference Algorithms as First-Class Generative Models Monte Carlo Semantic Differencing of Probabilistic Programs
POPL 2020	Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages
Show activities from other conferences