LAFI 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (57)

A Nada AminAmin, Nada Harvard UniversityUnited States Semantics of the memo Probabilistic Programming Language
Eric AtkinsonAtkinson, Eric Committee Member in Program Committee within the LAFI-track
Jon AytacAytac, Jon Sandia National Laboratories Reasoning About Sampling Without Sampling: Atomic Machines for Contextual Equivalence in Probabilistic Programs
B Ezio BartocciBartocci, Ezio TU WienAustria Exact Inference for Nested Discrete Probabilistic Programs
Atılım Güneş BaydinBaydin, Atılım Güneş University of Oxford Co-chair in Program Committee within the LAFI-track
Maddy BowersBowers, Maddy Massachusetts Institute of TechnologyUnited States Lazy Knowledge Compilation for Discrete PPLs
C Kartik ChandraChandra, Kartik MITUnited States A Domain-Specific PPL for Reasoning about Reasoning (or: a memo on memo) Semantics of the memo Probabilistic Programming Language
Tony ChenChen, Tony MIT A Domain-Specific PPL for Reasoning about Reasoning (or: a memo on memo)
Michele ChiariChiari, Michele TU WienAustria Exact Inference for Nested Discrete Probabilistic Programs
Jonathan CitrinCitrin, Jonathan Google Deepmind Invited talk: A Fast and Differentiable Tokamak Transport Simulator in JAX
Maria-Nicoleta CraciunCraciun, Maria-Nicoleta University of Oxford NP-NUTS: A Nonparametric No-U-Turn Sampler Data-oriented Design for Differentiable, Probabilistic Programming
Jack CzenszakCzenszak, Jack Northeastern University Towards Symbolic Execution for Probability and Non-determinism
D Anthony D'ArienzoD'Arienzo, Anthony University of Illinois and Sandia National LaboratoriesUnited States Reasoning About Sampling Without Sampling: Atomic Machines for Contextual Equivalence in Probabilistic Programs
F Claudia FaggianFaggian, Claudia Université de Paris & CNRS Committee Member in Program Committee within the LAFI-track
Cameron FreerFreer, Cameron Massachusetts Institute of TechnologyUnited States Committee Member in Steering Committee within the LAFI-track
G Hong GeGe, Hong University of Cambridge State Space Model Programming in Turing.jl
Simon J. GodsillGodsill, Simon J. Department of Engineering, University of Cambridge State Space Model Programming in Turing.jl
Daniel GoodmanGoodman, Daniel Oracle Labs Sandwood: Runtime Adaptable Probabilistic Programming for Java
Andrew D. GordonGordon, Andrew D. Cogna and University of EdinburghUnited Kingdom Committee Member in Program Committee within the LAFI-track
H Tim HargreavesHargreaves, Tim Department of Engineering, University of CambridgeUnited Kingdom State Space Model Programming in Turing.jl
Lukas HeinrichHeinrich, Lukas TU MunichGermany Committee Member in Program Committee within the LAFI-track
Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States Towards Symbolic Execution for Probability and Non-determinism Committee Member in Steering Committee within the LAFI-track
I Desi R. IvavonaIvavona, Desi R. University of Oxford Invited talk: Modern Bayesian experimental design
K Younesse KaddarKaddar, Younesse University of OxfordUnited Kingdom Data-oriented Design for Differentiable, Probabilistic Programming
Charles KnippKnipp, Charles Federal Reserve Board of Governors, USA State Space Model Programming in Turing.jl
Natalia KosilovaKosilova, Natalia Oracle Labs Sandwood: Runtime Adaptable Probabilistic Programming for Java
L Alexander K. LewLew, Alexander K. Massachusetts Institute of TechnologyUnited States Lazy Knowledge Compilation for Discrete PPLs
John LiLi, John Northeastern University Towards Symbolic Execution for Probability and Non-determinism
Qing LiLi, Qing Department of Engineering, University of Cambridge State Space Model Programming in Turing.jl
Owen LynchLynch, Owen University of Oxford Data-oriented Design for Differentiable, Probabilistic Programming
M Dougal MaclaurinMaclaurin, Dougal Committee Member in Steering Committee within the LAFI-track
Vikash K. MansinghkaMansinghka, Vikash K. Massachusetts Institute of TechnologyUnited States Lazy Knowledge Compilation for Discrete PPLs
O C.-H. Luke OngOng, C.-H. Luke NTU NP-NUTS: A Nonparametric No-U-Turn Sampler
P Hugo PaquetPaquet, Hugo École Normale Supérieure, PSL University & INRIAFrance Committee Member in Program Committee within the LAFI-track
Adam PaszkePaszke, Adam Google DeepMindGermany Committee Member in Program Committee within the LAFI-track
Barak A. PearlmutterPearlmutter, Barak A. Maynooth UniversityIreland Committee Member in Program Committee within the LAFI-track
Adam PocockPocock, Adam Oracle LabsUnited States Sandwood: Runtime Adaptable Probabilistic Programming for Java
Francesco PontiggiaPontiggia, Francesco TU Wien Exact Inference for Nested Discrete Probabilistic Programs
R Jonathan Ragan-KelleyRagan-Kelley, Jonathan Massachusetts Institute of TechnologyUnited States A Domain-Specific PPL for Reasoning about Reasoning (or: a memo on memo)
S Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Committee Member in Program Committee within the LAFI-track
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States 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
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of TechnologyUnited States Lazy Knowledge Compilation for Discrete PPLs
Sam StatonStaton, Sam University of OxfordUnited Kingdom NP-NUTS: A Nonparametric No-U-Turn Sampler Data-oriented Design for Differentiable, Probabilistic Programming Committee Member in Program Committee within the LAFI-track
Dario SteinStein, Dario University of Oxford Committee Member in Program Committee within the LAFI-track
T Christine TassonTasson, Christine Sorbonne Université — LIP6France Committee Member in Steering Committee within the LAFI-track
Joshua B. TenenbaumTenenbaum, Joshua B. Massachusetts Institute of TechnologyUnited States A Domain-Specific PPL for Reasoning about Reasoning (or: a memo on memo) Lazy Knowledge Compilation for Discrete PPLs
James TownsendTownsend, James University of Amsterdam Committee Member in Program Committee within the LAFI-track
Jean-Baptiste TristanTristan, Jean-Baptiste Committee Member in Steering Committee within the LAFI-track
V Matthijs VákárVákár, Matthijs Utrecht University NP-NUTS: A Nonparametric No-U-Turn Sampler Co-chair in Program Committee within the LAFI-track
W Frederic WantiezWantiez, Frederic State Space Model Programming in Turing.jl
Christian WeilbachWeilbach, Christian University of British Columbia Partially Evaluating Higher-Order Probabilistic Programs without Stochastic Recursion to Graphical Models
Paul WilsonWilson, Paul University of Southampton Data-Parallel Differentiation by Optic Composition
Frank WoodWood, Frank University of Oxford Partially Evaluating Higher-Order Probabilistic Programs without Stochastic Recursion to Graphical Models
Z Fabio ZanasiZanasi, Fabio University College London Data-Parallel Differentiation by Optic Composition
Yizhou ZhangZhang, Yizhou University of WaterlooCanada Semantics of the memo Probabilistic Programming Language
Tan Zhi-XuanZhi-Xuan, Tan Massachusetts Institute of Technology Committee Member in Program Committee within the LAFI-track