Marco Cusumano-Towner

Registered user since Fri 17 Nov 2017

Name: Marco Cusumano-Towner

Affiliation: MIT-CSAIL

Contributions

LAFI 2020	Author of Gen and MetaGen within the LAFI (né PPS)-track Author of MetaPPL: Inference Algorithms as First-Class Generative Models within the LAFI (né PPS)-track Author of Monte Carlo Semantic Differencing of Probabilistic Programs within the LAFI (né PPS)-track
POPL 2020	Author of Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages within the Research Papers-track
Show activities from other conferences