LAFI 2020 Contributors

Tue 21 Jan 2020 New Orleans, Louisiana, United States

co-located with POPL 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Results (40)

B Alexander BagnallBagnall, Alexander Ohio University Coinductive Trees for Exact Inference of Probabilistic Programs
Anindya BanerjeeBanerjee, Anindya IMDEA Software Institute Coinductive Trees for Exact Inference of Probabilistic Programs
Aloïs BrunelBrunel, Aloïs DeepomaticFrance Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
C Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States MetaPPL: Inference Algorithms as First-Class Generative Models Gen and MetaGen
Marco Cusumano-TownerCusumano-Towner, Marco MIT-CSAIL Monte Carlo Semantic Differencing of Probabilistic Programs MetaPPL: Inference Algorithms as First-Class Generative Models Gen and MetaGen
D Swaraj DashDash, Swaraj University of Oxford A Monad for Point Processes
F Cameron FreerFreer, Cameron Massachusetts Institute of TechnologyUnited States Committee Member in Steering Committee within the LAFI-track
G Austin GarrettGarrett, Austin MIT MetaPPL: Inference Algorithms as First-Class Generative Models Gen and MetaGen
Andrew D. GordonGordon, Andrew D. Microsoft Research and University of EdinburghUnited Kingdom Committee Member in Steering Committee within the LAFI-track
H Justin HsuHsu, Justin University of Wisconsin-Madison, USAUnited States Committee Member in Program Committee within the LAFI-track
K Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Co-chair in Program Committee within the LAFI-track
Jerzy KarczmarczukKarczmarczuk, Jerzy France Committee Member in Program Committee within the LAFI-track
Marie KerjeanKerjean, Marie Committee Member in Program Committee within the LAFI-track
L Alexander K. LewLew, Alexander K. Massachusetts Institute of Technology, USAUnited States MetaPPL: Inference Algorithms as First-Class Generative Models Gen and MetaGen
M Dougal MaclaurinMaclaurin, Dougal Co-chair in Program Committee within the LAFI-track
Carol MakMak, Carol University of Oxford A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation
Vikash MansinghkaMansinghka, Vikash MIT Gen and MetaGen
Vikash K. MansinghkaMansinghka, Vikash K. MIT Monte Carlo Semantic Differencing of Probabilistic Programs MetaPPL: Inference Algorithms as First-Class Generative Models
Tom MattinsonMattinson, Tom University of Oxford Density Functions of Statistical Probabilistic Programs
Damiano MazzaMazza, Damiano CNRSFrance Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
O Fritz ObermeyerObermeyer, Fritz Invited talk: Nonstandard Interpretation in Pyro
C.-H. Luke OngOng, C.-H. Luke University of OxfordUnited Kingdom A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation Density Functions of Statistical Probabilistic Programs
P Michele PaganiPagani, Michele IRIF - Université de ParisFrance Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
Barak A. PearlmutterPearlmutter, Barak A. Maynooth UniversityIreland Committee Member in Program Committee within the LAFI-track
R Tom RainforthRainforth, Tom Department of Statistics, University of Oxford Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support
S Chung-chieh ShanShan, Chung-chieh Indiana University, USA Committee Member in Steering Committee within the LAFI-track
Benjamin ShermanSherman, Benjamin Massachusetts Institute of Technology, USAUnited States MetaPPL: Inference Algorithms as First-Class Generative Models Gen and MetaGen
Jesse SigalSigal, Jesse University of EdinburghUnited Kingdom Denotational Semantics for Differentiable Programming with Manifolds
Jeffrey Mark SiskindSiskind, Jeffrey Mark School of Electrical and Computer Engineering, Purdue University Committee Member in Steering Committee within the LAFI-track
Sam StatonStaton, Sam University of Oxford A Monad for Point Processes Name generation and Higher-order Probabilistic Programming (Or is new=rnd?)
Dario SteinStein, Dario University of Oxford Name generation and Higher-order Probabilistic Programming (Or is new=rnd?)
Gordon StewartStewart, Gordon Ohio University Coinductive Trees for Exact Inference of Probabilistic Programs
T Yee Whye TehTeh, Yee Whye University of Oxford Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support
David TolpinTolpin, David PUB+Israel Probabilistic Programming around Gaussian Processes Committee Member in Program Committee within the LAFI-track
W Andrea WaltherWalther, Andrea Humboldt-Universität zu BerlinGermany Committee Member in Program Committee within the LAFI-track
Richard WeiWei, Richard Apple Inc.United States Committee Member in Program Committee within the LAFI-track
Michael WolmanWolman, Michael McGill UniversityCanada Name generation and Higher-order Probabilistic Programming (Or is new=rnd?)
Y Hongseok YangYang, Hongseok KAISTSouth Korea Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support
Z Yuan ZhouZhou, Yuan University of Oxford Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support
Ben ZinbergZinberg, Ben MIT MetaPPL: Inference Algorithms as First-Class Generative Models Gen and MetaGen