Marco Cusumano-Towner

Registered user since Fri 17 Nov 2017

Name:Marco Cusumano-Towner

Affiliation:MIT-CSAIL

Contributions

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