LAFI 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (61)

A Amal AhmedAhmed, Amal Northeastern University, USAUnited States Towards a Categorical Model of the Lilac Separation Logic
Jacob AndreasAndreas, Jacob MIT Effective Sequential Monte Carlo for Language Model Probabilistic Programs
Eric AtkinsonAtkinson, Eric Committee Member in Program Committee within the LAFI-track
Jon AytacAytac, Jon Sandia National Laboratories Towards a Categorical Model of the Lilac Separation Logic
B Jialu BaoBao, Jialu Cornell University Mixture Languages
Quentin BerthetBerthet, Quentin Google DeepMind Committee Member in Program Committee within the LAFI-track
Maddy BowersBowers, Maddy Massachusetts Institute of TechnologyUnited States Toward Probabilistic Coarse-to-Fine Program Synthesis
C Breandan ConsidineConsidine, Breandan McGill UniversityCanada A Tree Sampler for Bounded Context-Free Languages
Maria-Nicoleta CraciunCraciun, Maria-Nicoleta University of Oxford A slice sampler for the Indian Buffet Process: expressivity in nonparametric probabilistic programming
F Cameron FreerFreer, Cameron Massachusetts Institute of TechnologyUnited States Committee Member in Steering Committee within the LAFI-track
Hongfei FuFu, Hongfei Shanghai Jiao Tong UniversityChina Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
G Philipp GablerGabler, Philipp Independent researcher JuliaBUGS: A Graph-Based Probabilistic Programming Language using BUGS syntax
Hong GeGe, Hong University of Cambridge Bayesian inference using probabilistic programming JuliaBUGS: A Graph-Based Probabilistic Programming Language using BUGS syntax Hong Ge: Bayesian inference using probabilistic programming
Matin GhavamiGhavami, Matin Massachusetts Institute of TechnologyUnited States MultiSPPL: extending SPPL with multivariate leaf nodes
Maria I. GorinovaGorinova, Maria I. TwitterUnited Kingdom Committee Member in Program Committee within the LAFI-track
Gabriel GrandGrand, Gabriel Massachusetts Institute of TechnologyUnited States Effective Sequential Monte Carlo for Language Model Probabilistic Programs
Tobias GürtlerGürtler, Tobias Saarland University, Saarland Informatics CampusGermany Belief Programming in Partially Observable Probabilistic Environments
H Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States Session Chair of Third Session (part of LAFI) Session Chair of Poster and Interactive Session (part of LAFI) Session Chair of Second Session (part of LAFI) Session Chair of First Session (part of LAFI) Towards a Categorical Model of the Lilac Separation Logic A Multi-language Approach to Probabilistic Program Inference Co-chair in Program Committee within the LAFI-track Committee Member in Organizing Committee within the LAFI-track
Mathieu HuotHuot, Mathieu MIT MultiSPPL: extending SPPL with multivariate leaf nodes Reverse mode ADEV via YOLO: tangent estimators transpose to gradient estimators
J Alec JacobsonJacobson, Alec University of Toronto Sparse Differentiation in Computer Graphics
Philip Johnson-FreydJohnson-Freyd, Philip Sandia National Laboratories Towards a Categorical Model of the Lilac Separation Logic
K Shoaib KamilKamil, Shoaib Adobe Research Sparse Differentiation in Computer Graphics
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany Belief Programming in Partially Observable Probabilistic Environments Committee Member in Program Committee within the LAFI-track
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Committee Member in Steering Committee within the LAFI-track
L Jacob LaurelLaurel, Jacob University of Illinois at Urbana-ChampaignUnited States Abstract Interpretation for Automatic Differentiation
Alexander K. LewLew, Alexander K. Massachusetts Institute of TechnologyUnited States Effective Sequential Monte Carlo for Language Model Probabilistic Programs Reverse mode ADEV via YOLO: tangent estimators transpose to gradient estimators Toward Probabilistic Coarse-to-Fine Program Synthesis
Guanyan LiLi, Guanyan University of Oxford Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
John LiLi, John Northeastern University Towards a Categorical Model of the Lilac Separation Logic
M Vikash K. MansinghkaMansinghka, Vikash K. Massachusetts Institute of TechnologyUnited States Effective Sequential Monte Carlo for Language Model Probabilistic Programs MultiSPPL: extending SPPL with multivariate leaf nodes Reverse mode ADEV via YOLO: tangent estimators transpose to gradient estimators Toward Probabilistic Coarse-to-Fine Program Synthesis
Jesse MichelMichel, Jesse Massachusetts Institute of Technology Sparse Differentiation in Computer Graphics
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Abstract Interpretation for Automatic Differentiation
Kevin MuMu, Kevin University of Washington Sparse Differentiation in Computer Graphics
Andrzej MurawskiMurawski, Andrzej University of OxfordUnited Kingdom Guaranteed Bounds for Discrete Probabilistic Programs with Loops via Generating Functions
N Fernando Lucatelli NunesNunes, Fernando Lucatelli Utrecht University Homomorphic Reverse Differentiation of Iteration
O C.-H. Luke OngOng, C.-H. Luke NTU Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving Guaranteed Bounds for Discrete Probabilistic Programs with Loops via Generating Functions A slice sampler for the Indian Buffet Process: expressivity in nonparametric probabilistic programming
P Hugo PaquetPaquet, Hugo LIPN, Université Sorbonne Paris NordFrance A slice sampler for the Indian Buffet Process: expressivity in nonparametric probabilistic programming Committee Member in Program Committee within the LAFI-track
Gordon PlotkinPlotkin, Gordon Google Homomorphic Reverse Differentiation of Iteration Effect Handlers for Choice-Based Learning
Q Siyuan Brant QianQian, Siyuan Brant University of Illinois at Urbana-Champaign; Zhejiang UniversityUnited States Abstract Interpretation for Automatic Differentiation
R Jonathan Ragan-KelleyRagan-Kelley, Jonathan Massachusetts Institute of TechnologyUnited States Sparse Differentiation in Computer Graphics
McCoy Reynolds BeckerReynolds Becker, McCoy MIT Reverse mode ADEV via YOLO: tangent estimators transpose to gradient estimators
Oliver RichardsonRichardson, Oliver Cornell University Mixture Languages
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States MultiSPPL: extending SPPL with multivariate leaf nodes
S William S. MosesS. Moses, William Massachusetts Institute of Technology Sparse Differentiation in Computer Graphics
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Structured Tensor Algebra for Efficient Discrete Probabilistic Inference
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States Committee Member in Steering Committee within the LAFI-track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States Abstract Interpretation for Automatic Differentiation
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 Toward Probabilistic Coarse-to-Fine Program Synthesis
Sam StatonStaton, Sam University of OxfordUnited Kingdom A slice sampler for the Indian Buffet Process: expressivity in nonparametric probabilistic programming
Sam StitesStites, Sam Northeastern University A Multi-language Approach to Probabilistic Program Inference
Xianda SunSun, Xianda University of Cambridge JuliaBUGS: A Graph-Based Probabilistic Programming Language using BUGS syntax
T Zachary TatlockTatlock, Zachary University of WashingtonUnited States Sparse Differentiation in Computer Graphics
Joshua B. TenenbaumTenenbaum, Joshua B. Massachusetts Institute of TechnologyUnited States Toward Probabilistic Coarse-to-Fine Program Synthesis
Andrew ThomasThomas, Andrew University of Cambridge JuliaBUGS: A Graph-Based Probabilistic Programming Language using BUGS syntax
Jean-Baptiste TristanTristan, Jean-Baptiste Amazon Web ServicesUnited States Committee Member in Steering Committee within the LAFI-track
V Matthijs VákárVákár, Matthijs Utrecht University Session Chair of Third Session (part of LAFI) Session Chair of Poster and Interactive Session (part of LAFI) Session Chair of Second Session (part of LAFI) Session Chair of First Session (part of LAFI) Homomorphic Reverse Differentiation of Iteration Co-chair in Program Committee within the LAFI-track Committee Member in Organizing Committee within the LAFI-track
W Peixin WangWang, Peixin University of Oxford Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
X Ningning XieXie, Ningning University of TorontoCanada Effect Handlers for Choice-Based Learning
Y Tengshun YangYang, Tengshun SKLCS, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
Z Fabian ZaiserZaiser, Fabian University of Oxford Guaranteed Bounds for Discrete Probabilistic Programs with Loops via Generating Functions
Tan Zhi-XuanZhi-Xuan, Tan Massachusetts Institute of Technology Effective Sequential Monte Carlo for Language Model Probabilistic Programs Committee Member in Program Committee within the LAFI-track