LAFI 2019 Contributors

Write a Blog >>

Sun 13 - Sat 19 January 2019 Cascais, Portugal

co-located with POPL 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (36)

B Bart Bart Google Brain Committee Member in Program Committee within the LAFI-track
Atılım Güneş BaydinBaydin, Atılım Güneş Department of Engineering Science, University of Oxford Committee Member in Program Committee within the LAFI-track
C Simon CastellanCastellan, Simon Probabilistic Programming Inference via Intensional Semantics
Alexander CollinsCollins, Alexander NVIDIA Probabilistic Programming with CuPPL
Breandan ConsidineConsidine, Breandan Université de MontréalUnited States Kotlin∇: Differentiable Functional Programming with Algebraic Data Types
Ryan CulpepperCulpepper, Ryan Czech Technical UniversityCzechia Committee Member in Program Committee within the LAFI-track
D Ugo Dal LagoDal Lago, Ugo University of Bologna, Italy / Inria, FranceItaly The Geometry of Bayesian Programming
David Kristjanson DuvenaudDuvenaud, David Kristjanson University of Toronto Committee Member in Program Committee within the LAFI-track
F Claudia FaggianFaggian, Claudia IRIFFrance Probabilistic Lambda Calculus: Beyond Deterministic Evaluation
Cameron FreerFreer, Cameron Remine and BorelianUnited States Committee Member in Steering Committee within the LAFI-track
G Sophia GoldGold, Sophia Tezos Session Chair of C (part of LAFI) Committee Member in Program Committee within the LAFI-track
Andrew D. GordonGordon, Andrew D. Microsoft Research and University of EdinburghUnited Kingdom Committee Member in Steering Committee within the LAFI-track
Vinod GroverGrover, Vinod NVIDIAUnited States Probabilistic Programming with CuPPL
H Matthew HeimerdingerHeimerdinger, Matthew Indiana University Verified Equational Reasoning on a Little Language of Measures
Steven HoltzenHoltzen, Steven University of California, Los AngelesUnited States Session Chair of B (part of LAFI) Factorized Exact Inference for Discrete Probabilistic Programs Committee Member in Program Committee within the LAFI-track
Naohiko HoshinoHoshino, Naohiko Kyoto University The Geometry of Bayesian Programming
J Matthew J. JohnsonJohnson, Matthew J. Google Brain 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
M Todd MillsteinMillstein, Todd University of California, Los Angeles Factorized Exact Inference for Discrete Probabilistic Programs
N Praveen NarayananNarayanan, Praveen Indiana University, USA Committee Member in Program Committee within the LAFI-track
P Hugo PaquetPaquet, Hugo University of Cambridge Probabilistic Programming Inference via Intensional Semantics
Barak A. PearlmutterPearlmutter, Barak A. Maynooth UniversityIreland A Nuts-and-Bolts Differential Geometric Perspective on Automatic Differentiation
Q Joe QianQian, Joe University of California, Los Angeles Factorized Exact Inference for Discrete Probabilistic Programs
R Tom RainforthRainforth, Tom Department of Statistics, University of Oxford Committee Member in Program Committee within the LAFI-track
Simona Ronchi Della RoccaRonchi Della Rocca, Simona University of TorinoItaly Probabilistic Lambda Calculus: Beyond Deterministic Evaluation
S Eli SenneshSennesh, Eli Northeastern University Model and Inference Combinators for Deep Probabilistic Programming
Chung-chieh ShanShan, Chung-chieh Indiana University, USA Verified Equational Reasoning on a Little Language of Measures Committee Member in Steering Committee within the LAFI-track
Jeffrey Mark SiskindSiskind, Jeffrey Mark School of Electrical and Computer Engineering, Purdue University Co-chair in Program Committee within the LAFI-track
T Christine TassonTasson, Christine University Paris Diderot Committee Member in Program Committee within the LAFI-track
Michael ThomasThomas, Michael Independent Researcher Strongly Typed Tracing of Probabilistic Programs (cancelled, alas)
David TolpinTolpin, David PUB+Israel Server-side Probabilistic Programming
V Jan-Willem van de Meentvan de Meent, Jan-Willem Northeastern UniversityUnited States Model and Inference Combinators for Deep Probabilistic Programming
Guy Van den BroeckVan den Broeck, Guy University of California, Los Angeles Factorized Exact Inference for Discrete Probabilistic Programs
Matthijs VákárVákár, Matthijs University of Oxford Invited talk: Connecting Probabilistic Programming Theory to Applications in Stan
W Hao WuWu, Hao Northeastern University Model and Inference Combinators for Deep Probabilistic Programming
Ś Adam ŚcibiorŚcibior, Adam University of Cambridge and MPI Tuebingen Model and Inference Combinators for Deep Probabilistic Programming Strongly Typed Tracing of Probabilistic Programs (cancelled, alas)