LAFI 2022 Contributors

Sun 16 - Sat 22 January 2022 Philadelphia, Pennsylvania, United States

co-located with POPL 2022

Filter

Role Type

Contributing to

Number of Roles

Country

Results (32)

B Atılım Güneş BaydinBaydin, Atılım Güneş Department of Engineering Science, University of Oxford Probabilistic and Differentiable Programming in Scientific Simulators
Raven BeutnerBeutner, Raven CISPA Helmholtz Center for Information Security, Germany Rigorous Approximation of Posterior Inference for Probabilistic Programs
C Raphaëlle CrubilléCrubillé, Raphaëlle Committee Member in Program Committee within the LAFI-track
F Claudia FaggianFaggian, Claudia IRIFFrance Committee Member in Program Committee within the LAFI-track
Cameron FreerFreer, Cameron Massachusetts Institute of TechnologyUnited States Session Chair of Keynote (part of LAFI) Committee Member in Steering Committee within the LAFI-track
Roy FrostigFrostig, Roy Google Research JAX: accelerating ML research with composable function transformations
G Andrew D. GordonGordon, Andrew D. Microsoft Research and University of EdinburghUnited Kingdom Session Chair of Invited talks (part of LAFI) Committee Member in Steering Committee within the LAFI-track
Maria I. GorinovaGorinova, Maria I. The University of Edinburgh Program Analysis of Probabilistic Programs
H Daniel HuangHuang, Daniel Harvard University Committee Member in Program Committee within the LAFI-track
Mathieu HuotHuot, Mathieu Oxford University Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages
K Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Session Chair of Keynote (part of LAFI) Session Chair of Keynote (part of LAFI) Committee Member in Steering Committee within the LAFI-track
L Alexander K. LewLew, Alexander K. Massachusetts Institute of Technology, USAUnited States Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages
M Carol MakMak, Carol University of Oxford Nonparametric Involutive Markov Chain Monte Carlo
Vikash K. MansinghkaMansinghka, Vikash K. MIT Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages
Damiano MazzaMazza, Damiano CNRSFrance Session Chair of Invited talks (part of LAFI) Programming Languages for Automatic Differentiation: What Now?
Lawrence MurrayMurray, Lawrence Uber Committee Member in Program Committee within the LAFI-track
O C.-H. Luke OngOng, C.-H. Luke University of OxfordUnited Kingdom A Language and Smoothed Semantics for Convergent Stochastic Gradient Descent Rigorous Approximation of Posterior Inference for Probabilistic Programs Nonparametric Involutive Markov Chain Monte Carlo
P Brooks PaigePaige, Brooks University College London Committee Member in Program Committee within the LAFI-track
Hugo PaquetPaquet, Hugo University of Cambridge Stateful processes in probabilistic programming
S Feras SaadSaad, Feras Massachusetts Institute of TechnologyUnited States Scalable structure learning and inference for domain-specific probabilistic programs
Chung-chieh ShanShan, Chung-chieh Indiana University, USA Committee Member in Steering Committee within the LAFI-track
Jeffrey Mark SiskindSiskind, Jeffrey Mark Elmore Family School of Electrical and Computer Engineering, Purdue UniversityUnited States Committee Member in Steering Committee within the LAFI-track
Sam StatonStaton, Sam University of Oxford Abstract types in probabilistic programming
T Joseph TassarottiTassarotti, Joseph Boston CollegeUnited States Committee Member in Program Committee within the LAFI-track
Christine TassonTasson, Christine Sorbonne Université — LIP6France Session Chair of Contributed talks (part of LAFI) Session Chair of Keynote (part of LAFI) Committee Member in Organizing Committee within the LAFI-track
Zenna TavaresTavares, Zenna Massachusetts Institute of Technology Committee Member in Program Committee within the LAFI-track
Jean-Baptiste TristanTristan, Jean-Baptiste Boston CollegeUnited States Committee Member in Organizing Committee within the LAFI-track
V Matthijs VákárVákár, Matthijs University of Oxford Committee Member in Program Committee within the LAFI-track
W Dominik WagnerWagner, Dominik University of Oxford A Language and Smoothed Semantics for Convergent Stochastic Gradient Descent
Z Fabian ZaiserZaiser, Fabian University of Oxford Rigorous Approximation of Posterior Inference for Probabilistic Programs Nonparametric Involutive Markov Chain Monte Carlo
Tan Zhi-XuanZhi-Xuan, Tan Massachusetts Institute of Technology Committee Member in Program Committee within the LAFI-track
Yuan ZhouZhou, Yuan University of OxfordUnited Kingdom Committee Member in Program Committee within the LAFI-track