LAFI 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (66)

A Amal AhmedAhmed, Amal Northeastern University, USAUnited States New foundations for probabilistic separation logic
Pedro Henrique Azevedo de AmorimAzevedo de Amorim, Pedro Henrique Cornell University Separated and Shared Effects in Higher-Order Languages Distribution Theoretic Semantics for Non-Smooth Differentiable Programming
B Mako P. BatesBates, Mako P. University of Vermont πMPC: Automatic Security Proofs for MPC Protocols
Guillaume BaudartBaudart, Guillaume InriaFrance Committee Member in Program Committee within the LAFI-track
Victor BlanchiBlanchi, Victor ENS Paris Random probability distributions as natural transformations
David BromanBroman, David KTH Royal Institute of TechnologySweden Static Delayed Sampling for Probabilistic Programming Languages Partial Evaluation of Forward-Mode Automatic Differentiation
C Gizem CaylakCaylak, Gizem KTH Royal Institute of Technology Static Delayed Sampling for Probabilistic Programming Languages
Mingshuai ChenChen, Mingshuai RWTH AachenGermany Exact Probabilistic Inference Using Generating Functions
E Thomas EhrhardEhrhard, Thomas CNRS and University Paris Diderot The Variable Elimination Algorithm as a Let-Term Rewriting
Oscar ErikssonEriksson, Oscar KTH Royal Institute of Technology Partial Evaluation of Forward-Mode Automatic Differentiation
F Claudia FaggianFaggian, Claudia Université de Paris & CNRS The Variable Elimination Algorithm as a Let-Term Rewriting
Cameron FreerFreer, Cameron Massachusetts Institute of TechnologyUnited States Steering Committee Member in Steering Committee within the LAFI-track
G Poorva GargGarg, Poorva University of California, Los Angeles Bit-Blasting Probabilistic Programs
H Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States Session Chair of Poster Session (part of LAFI) Session Chair of Second Session (part of LAFI) Session Chair of Third Session (part of LAFI) Session Chair of First Session (part of LAFI) Opening Comments Bit-Blasting Probabilistic Programs New foundations for probabilistic separation logic Co-chair in Organizing Committee within the LAFI-track Co-chair in Program Committee within the LAFI-track
Justin HsuHsu, Justin Cornell UniversityUnited States Separated and Shared Effects in Higher-Order Languages
Mathieu HuotHuot, Mathieu University of OxfordUnited Kingdom What do posterior distributions of probabilistic programs look like?
K Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Towards type-driven data-science in Idris Steering Committee Member in Steering Committee within the LAFI-track
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Exact Probabilistic Inference Using Generating Functions
Marie KerjeanKerjean, Marie CNRS, Université Sorbonne Paris NordFrance ∂ is for Dialectica: typing differentiable programming
Lutz KlinkenbergKlinkenberg, Lutz RWTH Aachen University Exact Probabilistic Inference Using Generating Functions
Faustyna KrawiecKrawiec, Faustyna University of CambridgeUnited Kingdom Committee Member in Program Committee within the LAFI-track
L Christopher LamLam, Christopher University of Illinois at Urbana-Champaign Distribution Theoretic Semantics for Non-Smooth Differentiable Programming
Alexander K. LewLew, Alexander K. Massachusetts Institute of TechnologyUnited States Semantics of Probabilistic Program Traces What do posterior distributions of probabilistic programs look like? Committee Member in Program Committee within the LAFI-track
John LiLi, John Northeastern University New foundations for probabilistic separation logic
Daniel LundénLundén, Daniel KTH Royal Institute of TechnologySweden Static Delayed Sampling for Probabilistic Programming Languages
M Vikash MansinghkaMansinghka, Vikash Massachusetts Institute of Technology Semantics of Probabilistic Program Traces
Vikash K. MansinghkaMansinghka, Vikash K. Massachusetts Institute of TechnologyUnited States What do posterior distributions of probabilistic programs look like?
Katarzyna MarekMarek, Katarzyna University of Edinburgh Towards type-driven data-science in Idris
Cristina MatacheMatache, Cristina University of Edinburgh Denotational semantics of languages for inference: semirings, monads, and tensors
Todd MillsteinMillstein, Todd University of California at Los AngelesUnited States Bit-Blasting Probabilistic Programs
Sean MossMoss, Sean University of Oxford Denotational semantics of languages for inference: semirings, monads, and tensors
N Joseph P. NearNear, Joseph P. University of VermontUnited States πMPC: Automatic Security Proofs for MPC Protocols
Minh NguyenNguyen, Minh University of BristolUnited Kingdom Towards type-driven data-science in Idris
O C.-H. Luke OngOng, C.-H. Luke NTU On the Reparameterisation Gradient for Non-Differentiable but Continuous Models
C.-H. Luke OngOng, C.-H. Luke University of OxfordUnited Kingdom Pitfalls of Full Bayesian Inference in Universal Probabilistic Programming Exact Inference for Discrete Probabilistic Programs via Generating Functions
P Michele PaganiPagani, Michele IRIF - Université de Paris CitéFrance The Variable Elimination Algorithm as a Let-Term Rewriting Committee Member in Program Committee within the LAFI-track
Viktor PalmkvistPalmkvist, Viktor KTH Royal Institute of TechnologySweden Partial Evaluation of Forward-Mode Automatic Differentiation
Hugo PaquetPaquet, Hugo University of OxfordUnited Kingdom Random probability distributions as natural transformations
Adam PaszkePaszke, Adam Google ResearchPoland Contextual source code AD transformations for sum types
Robin PiedeleuPiedeleu, Robin University of Oxford On Iteration in Discrete Probabilistic Programming
Gordon PlotkinPlotkin, Gordon Google Contextual source code AD transformations for sum types Committee Member in Program Committee within the LAFI-track
Pierre-Marie PédrotPédrot, Pierre-Marie INRIAFrance ∂ is for Dialectica: typing differentiable programming
R Tom RainforthRainforth, Tom Department of Statistics, University of Oxford Pitfalls of Full Bayesian Inference in Universal Probabilistic Programming
Tim ReicheltReichelt, Tim University of Oxford Pitfalls of Full Bayesian Inference in Universal Probabilistic Programming
S Viktor SenderovSenderov, Viktor Naturhistoriska riksmuseet Static Delayed Sampling for Probabilistic Programming Languages
Eli SenneshSennesh, Eli Northeastern UniversityUnited States Semantics of Probabilistic Program Traces A convenient category of tracing measure kernels Committee Member in Program Committee within the LAFI-track
Chung-chieh ShanShan, Chung-chieh Indiana University, USA Steering Committee Member in Steering Committee within the LAFI-track
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States On Iteration in Discrete Probabilistic Programming
Jeffrey Mark SiskindSiskind, Jeffrey Mark Elmore Family School of Electrical and Computer Engineering, Purdue UniversityUnited States Steering Committee Member in Steering Committee within the LAFI-track
Sam StatonStaton, Sam University of OxfordUnited Kingdom What do posterior distributions of probabilistic programs look like? Denotational semantics of languages for inference: semirings, monads, and tensors
Dario SteinStein, Dario University of Oxford Committee Member in Program Committee within the LAFI-track
Michel SteuwerSteuwer, Michel University of EdinburghUnited Kingdom Towards type-driven data-science in Idris
Ariadne Si SuoSuo, Ariadne Si University of Oxford Denotational semantics of languages for inference: semirings, monads, and tensors
T Christine TassonTasson, Christine Sorbonne Université — LIP6France Session Chair of Second Session (part of LAFI) Session Chair of Third Session (part of LAFI) Session Chair of First Session (part of LAFI) Opening Comments Co-chair in Organizing Committee within the LAFI-track Co-chair in Program Committee within the LAFI-track
Mateo Torres-RuizTorres-Ruiz, Mateo On Iteration in Discrete Probabilistic Programming
James TownsendTownsend, James University of Amsterdam Verified Reversible Programming for Verified Lossless Compression
Jean-Baptiste TristanTristan, Jean-Baptiste Amazon Web ServicesUnited States Steering Committee Member in Steering Committee within the LAFI-track
V Jan-Willem Van De MeentVan De Meent, Jan-Willem University of Amsterdam Semantics of Probabilistic Program Traces A convenient category of tracing measure kernels Verified Reversible Programming for Verified Lossless Compression
Guy Van den BroeckVan den Broeck, Guy University of California at Los Angeles Bit-Blasting Probabilistic Programs
W Dominik WagnerWagner, Dominik University of Oxford On the Reparameterisation Gradient for Non-Differentiable but Continuous Models
Jacob WaltersWalters, Jacob University of Edinburgh Towards type-driven data-science in Idris
Tobias WinklerWinkler, Tobias RWTH Aachen UniversityGermany Exact Probabilistic Inference Using Generating Functions
Robert WrightWright, Robert The University of Edinburgh, UK Towards type-driven data-science in Idris
Y Hongseok YangYang, Hongseok KAIST; IBSSouth Korea Introduction to the tensor-programs framework, a PL approach that helps analyse theoretical properties of deep learning.
Z Fabian ZaiserZaiser, Fabian University of Oxford Exact Inference for Discrete Probabilistic Programs via Generating Functions
Fabio ZanasiZanasi, Fabio University College London On Iteration in Discrete Probabilistic Programming