Registered user since Tue 17 Sep 2019

Name:Vikash K. Mansinghka


PLDI 2022 Committee Member in PLDI within the PLDI-track
SPLASH 2021 Author of SPPL: A Probabilistic Programming System with Exact and Scalable Symbolic Inference within the SIGPLAN Papers-track
LAFI 2021 Author of On the Automatic Derivation of Importance Samplers from Pairs of Probabilistic Programs within the LAFI 2021-track
Author of Genify.jl: Transforming Julia into Gen to enable programmable inference within the LAFI 2021-track
PLDI 2021 Author of SPPL: Probabilistic Programming with Fast Exact Symbolic Inference within the PLDI-track
LAFI 2020 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 Optimal Approximate Sampling From Discrete Probability Distributions within the Research Papers-track
Author of Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages within the Research Papers-track
PLDI 2019 Author of Gen: A General-Purpose Probabilistic Programming System with Programmable Inference within the PLDI Research Papers-track
POPL 2019 Author of Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling within the Research Papers-track
MAPL 2018 Author of Gen: probabilistic programming with fast custom inference via code generation within the MAPL 2018-track
PLDI 2018 Author of Probabilistic Programming with Programmable Inference within the PLDI Research Papers-track
Author of Incremental Inference for Probabilistic Programs within the PLDI Research Papers-track