ICFP 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (407)

A Douglas A. CreagerA. Creager, Douglas AstralUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Andreas AbelAbel, Andreas Gothenburg UniversitySweden Committee Member in ICFP Programme Committee within the ICFP Papers-track
Pedro AbreuAbreu, Pedro Type Theory Forall Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Coşku AcayAcay, Coşku Observe, Inc.United States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Michael D. AdamsAdams, Michael D. National University of SingaporeUnited States Pushing the Information-Theoretic Limits of Random Access Lists
Eddie AftandilianAftandilian, Eddie GitHub NextUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Alejandro AguirreAguirre, Alejandro Aarhus UniversityDenmark Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Danel AhmanAhman, Danel University of LjubljanaSlovenia SecRef: Securely Sharing Mutable References Between Verified and Unverified Code in F
Benedikt AhrensAhrens, Benedikt Delft University of TechnologyNetherlands 2-Functoriality of Initial Semantics, and Applications Committee Member in Program Committee within the ICFP Student Research Competition-track
Guillaume AllaisAllais, Guillaume University of StrathclydeUnited Kingdom Frex: dependently typed algebraic simplification Committee Member in ICFP Programme Committee within the ICFP Papers-track
Dalal AlrajehAlrajeh, Dalal Imperial College LondonUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Nada AminAmin, Nada Harvard UniversityUnited States Committee Member in ICFP Programme Committee within the ICFP Papers-track
Cezar-Constantin AndriciAndrici, Cezar-Constantin MPI-SPGermany SecRef: Securely Sharing Mutable References Between Verified and Unverified Code in F
Meghana Aparna SistlaAparna Sistla, Meghana The University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in Program Commitee within the SPLASH -E-track
Eric AtkinsonAtkinson, Eric Binghamton University Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
B Timur BabakolBabakol, Timur SUNY Binghamton, USA Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alexander BaiBai, Alexander MPI-SWSUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Committee Member in Program Commitee within the SPLASH -E-track
Dan BarowyBarowy, Dan Williams CollegeUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Aurèle BarrièreBarrière, Aurèle EPFLSwitzerland Committee Member in ICFP Programme Committee within the ICFP Papers-track
Guillaume BaudartBaudart, Guillaume InriaFrance Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Rohan BavishiBavishi, Rohan AmazonUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Julia BelyakovaBelyakova, Julia Purdue UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Dorra Ben KhalifaBen Khalifa, Dorra ENAC - University of ToulouseFrance Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Nick BentonBenton, Nick MetaUnited Kingdom Committee Member in ICFP Programme Committee within the ICFP Papers-track
Jean-Philippe BernardyBernardy, Jean-Philippe University of Gothenburg, Sweden Committee Member in ICFP Programme Committee within the ICFP Papers-track
Gilbert BernsteinBernstein, Gilbert University of WashingtonUnited States Polynomial-Time Program Equivalence for Machine Knitting
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Reasoning about Weak Isolation Levels in Separation Logic Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs
Jasmin BlanchetteBlanchette, Jasmin Ludwig-Maximilians-Universität MünchenGermany Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Sandrine BlazyBlazy, Sandrine University of RennesFrance Committee Member in ICFP Programme Committee within the ICFP Papers-track
William J. BowmanBowman, William J. University of British ColumbiaCanada Type Universes as Kripke Worlds Committee Member in ICFP Programme Committee within the ICFP Papers-track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany Multiple Resumptions and Local Mutable State, Directly Committee Member in Program Committee within the ICFP Student Research Competition-track Committee Member in ICFP Programme Committee within the ICFP Papers-track
Edwin BradyBrady, Edwin University of St Andrews, UKUnited Kingdom Frex: dependently typed algebraic simplification
Joachim BreitnerBreitner, Joachim Lean FRO, LLCGermany Committee Member in ICFP Programme Committee within the ICFP Papers-track
Rutger BroekhoffBroekhoff, Rutger Radboud University NijmegenNetherlands Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language
William E. ByrdByrd, William E. University of Alabama at BirminghamUnited States Committee Member in ICFP Programme Committee within the ICFP Papers-track
C Joanna C. S. SantosC. S. Santos, Joanna University of Notre DameUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jason CarrCarr, Jason University of Chicago Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages
Jonathan CastelloCastello, Jonathan University of California, Santa CruzUnited States CRDT Emulation, Simulation, and Representation Independence
Gabriele CeciliaCecilia, Gabriele Augusta UniversityItaly Author in Artifact Evaluation Committe within the ICFP Artifacts-track
Sooyoung ChaCha, Sooyoung Sungkyunkwan University Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Dong ChenChen, Dong Huawei Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Hongzheng ChenChen, Hongzheng Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Mingyi ChenChen, Mingyi University of California, Irvine Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sen ChenChen, Sen Nankai UniversityChina Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Yanju ChenChen, Yanju University of California, San DiegoUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Zhibo ChenChen, Zhibo Carnegie Mellon UniversityUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Ellie Y. ChengCheng, Ellie Y. MITUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Luyu ChengCheng, Luyu Hong Kong University of Science and TechnologyHong Kong SAR China Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alvin CheungCheung, Alvin University of California at BerkeleyUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Tsung-Ju ChiangChiang, Tsung-Ju University of TorontoCanada Multi-Stage Programming with Splice Variables
Michele ChiariChiari, Michele TU WienAustria Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Benjamin ChungChung, Benjamin JuliaHub Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Stefan CiobacaCiobaca, Stefan Alexandru Ioan Cuza University of Iasi Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Tiago CogumbreiroCogumbreiro, Tiago University of Massachusetts BostonUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Cyril CohenCohen, Cyril Inria, CNRS, ENS de Lyon, Université Claude Bernard Lyon 1, LIP, UMR 5668, 69342, Lyon cedex 07, France A bargain for mergesorts — How to prove your mergesort correct and stable, almost for free
Youyou CongCong, Youyou Institute of Science TokyoJapan Member at large in Steering Committee for ICFP 2025
Nathan CorbynCorbyn, Nathan University of OxfordUnited Kingdom Frex: dependently typed algebraic simplification
Arthur CorrensonCorrenson, Arthur CISPA Helmholtz Center for Information Security Almost Fair Simulations
Carlos Tome CortinasCortinas, Carlos Tome None Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
D Loris D'AntoniD'Antoni, Loris University of California at San DiegoUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Francesco DagninoDagnino, Francesco Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ugo Dal LagoDal Lago, Ugo University of Bologna & INRIA Sophia AntipolisItaly Committee Member in ICFP Programme Committee within the ICFP Papers-track
David DaraisDarais, David GaloisUnited States Committee Member in ICFP Programme Committee within the ICFP Papers-track
Anupam DasDas, Anupam University of Birmingham, UKUnited Kingdom Committee Member in ICFP Programme Committee within the ICFP Papers-track
Maryam Mehri DehnaviDehnavi, Maryam Mehri University of TorontoCanada Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Farzaneh DerakhshanDerakhshan, Farzaneh Illinois Institute of TechnologyUnited States Committee Member in ICFP Programme Committee within the ICFP Papers-track
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium Program Chair in Organizing Committee for ICFP 2025 ICFP '25 Program Chair in Steering Committee for ICFP 2025 PC Chair in ICFP Programme Committee within the ICFP Papers-track
Samvid DharanikotaDharanikota, Samvid Efficient Computer, CMU AlumniUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Adhitha DiasDias, Adhitha Purdue University, USAUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Işıl DilligDillig, Işıl University of Texas at AustinUnited States Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States The Rational Programmer, A Method for Investigating Programming Language Pragmatics Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Alexander DingesDinges, Alexander RPTU Kaiserslautern-LandauGermany Functional Pearl — Truly functional solutions to the longest uptrend problem Committee Member in Program Committee within the ICFP Student Research Competition-track
Chandeepa DissanayakeDissanayake, Chandeepa Iowa State UniversityUnited States A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware
Rui DongDong, Rui University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Maximilian DoréDoré, Maximilian University of Oxford Linear Types with Dynamic Multiplicities in Dependent Type Theory (Functional Pearl)
Xiaoning DuDu, Xiaoning Monash UniversityAustralia Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Léon DucruetDucruet, Léon Ens de Lyon Reasoning about Weak Isolation Levels in Separation Logic
E Harley D. Eades IIIEades III, Harley D. Augusta UniversityUnited States Committee Member in ICFP Programme Committee within the ICFP Papers-track
Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States Member at large in Steering Committee for ICFP 2025 Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Constantin EneaEnea, Constantin LIX, CNRS, Ecole Polytechnique Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Tae Eun KimEun Kim, Tae KAISTSouth Korea Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
F Luis F. GomesF. Gomes, Luis Carnegie Mellon UniversityPortugal Student Volunteer Co-Chair in Organizing Committee for ICFP 2025
Pietro FerraraFerrara, Pietro Ca’ Foscari University of VeniceItaly Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Patrick FerrisFerris, Patrick University of Cambridge, UKUnited Kingdom Functional Networking for Millions of Docker Desktops (Experience Report)
Andrzej FilinskiFilinski, Andrzej DIKU, University of Copenhagen Committee Member in ICFP Programme Committee within the ICFP Papers-track
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States Committee Member in ICFP Programme Committee within the ICFP Papers-track
Bernd FinkbeinerFinkbeiner, Bernd CISPA Helmholtz Center for Information SecurityGermany Almost Fair Simulations
Emily FirstFirst, Emily University of California, San DiegoUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Nate FosterFoster, Nate Cornell University; Jane StreetUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Mario FrankFrank, Mario University of PotsdamGermany Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Michael FranzFranz, Michael University of California, IrvineUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Daniel FruminFrumin, Daniel University of GroningenNetherlands Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States ICFP'24 General Chair in Steering Committee for ICFP 2025
Ronald GarciaGarcia, Ronald University of British ColumbiaCanada Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Deepak GargGarg, Deepak MPI-SWSGermany Fusing Session-typed Concurrent Programming into Functional Programming Committee Member in ICFP Programme Committee within the ICFP Papers-track
Harshit GargGarg, Harshit Northeastern University - Khoury College of Computer SciencesUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Antoine GaulinGaulin, Antoine McGill University McTT: A Verified Kernel for a Proof Assistant
François GauthierGauthier, François Oracle LabsAustralia Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Thomas GazagnaireGazagnaire, Thomas TaridesFrance Functional Networking for Millions of Docker Desktops (Experience Report)
Aina Linn GeorgesGeorges, Aina Linn Max Planck Institute for Software Systems (MPI-SWS) Committee Member in ICFP Programme Committee within the ICFP Papers-track
Kimball GermaneGermane, Kimball Brigham Young UniversityUnited States Student Research Competition Chair in Organizing Committee for ICFP 2025 Call-Guarded Abstract Definitional Interpreters
Dan GhicaGhica, Dan Huawei Research and University of BirminghamUnited Kingdom Committee Member in ICFP Programme Committee within the ICFP Papers-track
Ryan GibbGibb, Ryan University of Cambridge Functional Networking for Millions of Docker Desktops (Experience Report)
Marco GIUNTIGIUNTI, Marco University of Oxford Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Sergey GoncharovGoncharov, Sergey School of Computer Science, University of BirminghamUnited Kingdom Big Steps in Higher-Order Mathematical Operational Semantics Bialgebraic Reasoning on Stateful Languages
Léon GondelmanGondelman, Léon Aarhus UniversityDenmark Reasoning about Weak Isolation Levels in Separation Logic
Kiran GopinathanGopinathan, Kiran University of Illinois Urbana ChampaignUnited States Committee Member in ICFP Programme Committee within the ICFP Papers-track
Marcos GranduryGrandury, Marcos IMDEA Software Institute and Universidad Politécnica de Madrid Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach
Daniel GratzerGratzer, Daniel Aarhus UniversityDenmark Committee Member in ICFP Programme Committee within the ICFP Papers-track
Eva GraversenGraversen, Eva University of Southern Denmark Committee Member in ICFP Programme Committee within the ICFP Papers-track
James Bryan GravesGraves, James Bryan Indiana University A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ben GreenmanGreenman, Ben University of Utah, USA Workshops Co-Chair in Organizing Committee for ICFP 2025
Ben GreenmanGreenman, Ben University of UtahUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ben GreenmanGreenman, Ben University of Utah, USA Workshops Co-Chair in Workshop Selection Committee within the ICFP/SPLASH Workshops-track
Simon Oddershede GregersenGregersen, Simon Oddershede New York UniversityUnited States Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs
Alexander GryzlovGryzlov, Alexander IMDEA Software Institute Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach
Sankha Narayan GuriaGuria, Sankha Narayan University of KansasUnited States Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Matthias GüdemannGüdemann, Matthias University of Applied Sciences MunichGermany Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
H Andrew HabibHabib, Andrew ABB Corporate Research, GermanyGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ben HardekopfHardekopf, Ben University of California at Santa BarbaraUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Philipp G. HaselwarterHaselwarter, Philipp G. Aarhus UniversityDenmark Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs
Matthias HauswirthHauswirth, Matthias USI LuganoSwitzerland Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Pinjia HeHe, Pinjia Chinese University of Hong Kong, ShenzhenChina Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Siyuan HeHe, Siyuan Purdue University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark Committee Member in ICFP Programme Committee within the ICFP Papers-track
Troels HenriksenHenriksen, Troels University of CopenhagenDenmark Correctness Meets High Performance in Agda
Martin HenzHenz, Martin National University of SingaporeSingapore SPLASH-E Co-Chair in Program Commitee within the SPLASH -E-track
Felienne HermansHermans, Felienne Vrije Universiteit AmsterdamNetherlands SPLASH-E Co-Chair in Program Commitee within the SPLASH -E-track
Ralf HinzeHinze, Ralf RPTU Kaiserslautern-Landau Functional Pearl — Truly functional solutions to the longest uptrend problem
Martin HirzelHirzel, Martin IBM ResearchUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Son HoHo, Son InriaFrance Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Committee Member in ICFP Programme Committee within the ICFP Papers-track
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany SecRef: Securely Sharing Mutable References Between Verified and Unverified Code in F Committee Member in ICFP Programme Committee within the ICFP Papers-track
Guangyu HuHu, Guangyu HKUST (The Hong Kong University of Science and Technology) Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jason Z.S. HuHu, Jason Z.S. Amazon Web Services, USAUnited States Normalization by Evaluation for Non-cumulativity McTT: A Verified Kernel for a Proof Assistant
Jingmei HuHu, Jingmei Amazon Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Effectful Lenses: There and Back with Different Monads Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States Workshops Co-Chair in Workshop Selection Committee within the ICFP/SPLASH Workshops-track
Xuejing HuangHuang, Xuejing IRIFFrance Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Nathan HurtigHurtig, Nathan University of Washington Polynomial-Time Program Equivalence for Machine Knitting
I Ruxandra IcleanuIcleanu, Ruxandra University of Edinburgh SecRef: Securely Sharing Mutable References Between Verified and Unverified Code in F
Yuka IkarashiIkarashi, Yuka Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
J Jules JacobsJacobs, Jules Cornell UniversityUnited States Web Chair in Organizing Committee for ICFP 2025 Committee Member in ICFP Programme Committee within the ICFP Papers-track
Koen JacobsJacobs, Koen KU Leuven Robust Dynamic Embedding for Gradual Typing
Dustin JamnerJamner, Dustin MIT CSAIL, USA Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Junyoung JangJang, Junyoung McGill UniversityCanada McTT: A Verified Kernel for a Proof Assistant
Minseok JeonJeon, Minseok Korea UniversitySouth Korea Committee Member in ICFP Programme Committee within the ICFP Papers-track
Jessy Ayala Jessy Ayala University of California, IrvineUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Limin JiaJia, Limin Carnegie Mellon University Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Songlin JiaJia, Songlin Purdue University, USAUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Shengyi JiangJiang, Shengyi The University of Hong KongHong Kong SAR China Normalization by Evaluation for Non-cumulativity
Ralf JungJung, Ralf ETH ZurichSwitzerland Committee Member in ICFP Programme Committee within the ICFP Papers-track
K Shoaib KamilKamil, Shoaib Adobe Research Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Frex: dependently typed algebraic simplification Committee Member in ICFP Programme Committee within the ICFP Papers-track
Eunsuk KangKang, Eunsuk Carnegie Mellon UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Venkata Naga Sai Rohit KantetiKanteti, Venkata Naga Sai Rohit Indian Institute of Technology MadrasIndia Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Ambrus KaposiKaposi, Ambrus Eötvös Loránd University Type Theory in Type Theory Using a Strictified Syntax
Ryan KavanaghKavanagh, Ryan Université du Québec à Montréal (UQAM)Canada Fusing Session-typed Concurrent Programming into Functional Programming Committee Member in Program Committee within the ICFP Student Research Competition-track
Alex KavvosKavvos, Alex University of BristolUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in ICFP Programme Committee within the ICFP Papers-track
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Sponsorship Co-Chair in Organizing Committee for ICFP 2025
Marie KerjeanKerjean, Marie CNRS, Université Sorbonne Paris NordFrance Committee Member in ICFP Programme Committee within the ICFP Papers-track
Hanjun KimKim, Hanjun Yonsei University Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Elad KinsbrunerKinsbruner, Elad TechnionIsrael Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Mark KochKoch, Mark Quantinuum Fulls Seldom Differ
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom Proof-Carrying Neuro-Symbolic Code
Paulette KoronkevichKoronkevich, Paulette University of British Columbia Type Universes as Kripke Worlds
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Nikita KovalKoval, Nikita JetBrainsNetherlands Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
András KovácsKovács, András University of Gothenburg and Chalmers University of Technology Committee Member in ICFP Programme Committee within the ICFP Papers-track
Anastasiya Kravchuk-KirilyukKravchuk-Kirilyuk, Anastasiya Harvard UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language
V Krishna NandivadaKrishna Nandivada, V IIT Madras Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States Co-chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Iona KuhnKuhn, Iona Saarland University Almost Fair Simulations
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States CRDT Emulation, Simulation, and Representation Independence Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Christian KästnerKästner, Christian Carnegie Mellon University Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
L Ambroise LafontLafont, Ambroise Inria, France 2-Functoriality of Initial Semantics, and Applications
Sumit LahiriLahiri, Sumit Indian Institute of Technology KanpurIndia Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Thomas LamiauxLamiaux, Thomas University of Paris-Saclay, Ens Paris-Saclay 2-Functoriality of Initial Semantics, and Applications
Jens Kanstrup LarsenLarsen, Jens Kanstrup DTUDenmark Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alan LawrenceLawrence, Alan Quantinuum Fulls Seldom Differ
Juneyoung LeeLee, Juneyoung AWS Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Daan LeijenLeijen, Daan Microsoft ResearchUnited States First-order Laziness
Caroline LemieuxLemieux, Caroline University of British ColumbiaCanada Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
John LeoLeo, John Halfaya ResearchUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Martin LesterLester, Martin University of ReadingUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jianlin LiLi, Jianlin University of WaterlooCanada Compiling with Generating Functions
Kwing Hei LiLi, Kwing Hei Aarhus UniversityDenmark Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs
Liyi LiLi, Liyi Iowa State UniversityUnited States A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware
Xuyang LiLi, Xuyang Purdue University Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Nathan LiittschwagerLiittschwager, Nathan University of California, Santa Cruz CRDT Emulation, Simulation, and Representation Independence
Jenny Han LinLin, Jenny Han University of Utah Polynomial-Time Program Equivalence for Machine Knitting
Sam LindleyLindley, Sam The University of EdinburghUnited Kingdom ICFP'23 Program Chair in Steering Committee for ICFP 2025 First-order Laziness
Benjamin LionLion, Benjamin INRIA Author in Artifact Evaluation Committe within the ICFP Artifacts-track
Cyrus LiuLiu, Cyrus Samsung SemiconductorUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Anton LorenzenLorenzen, Anton University of EdinburghUnited Kingdom First-order Laziness
Ning LuoLuo, Ning UIUCUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
M Zhongkui MaMa, Zhongkui The University of QueenslandAustralia Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Aravind MachiryMachiry, Aravind Purdue UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge, UKUnited Kingdom Functional Networking for Millions of Docker Desktops (Experience Report) Committee Member in Program Committee within the ICFP Student Research Competition-track
Jean-Marie MadiotMadiot, Jean-Marie Inria Formal Semantics and Program Logics for a Fragment of OCaml
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Enrico MagnagoMagnago, Enrico Amazon Web Services Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Michaël MarcozziMarcozzi, Michaël Université Paris-Saclay, CEA, ListFrance Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Dylan MarinhoMarinho, Dylan Sorbonne Université, CNRS UMR 7606, LIP6, Paris, FranceFrance Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Stefan MarrMarr, Stefan University of KentUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Chris MartensMartens, Chris Northeastern UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ruben MartinsMartins, Ruben Carnegie Mellon UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Guido MartínezMartínez, Guido Microsoft ResearchUnited States SecRef: Securely Sharing Mutable References Between Verified and Unverified Code in F
Kristóf MarussyMarussy, Kristóf Budapest University of Technology and EconomicsHungary Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Hidehiko MasuharaMasuhara, Hidehiko Institute of Science TokyoJapan Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Sebastian Mateos NicolajsenMateos Nicolajsen, Sebastian IT University of CopenhagenDenmark Committee Member in Program Commitee within the SPLASH -E-track
Anders Alnor MathiasenMathiasen, Anders Alnor Aarhus University Reasoning about Weak Isolation Levels in Separation Logic
Umang MathurMathur, Umang National University of SingaporeSingapore Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Damiano MazzaMazza, Damiano CNRS, LIPN, Université Sorbonne Paris NordFrance Committee Member in ICFP Programme Committee within the ICFP Papers-track
Conor McBrideMcBride, Conor University of Strathclyde Fulls Seldom Differ
James McCannMcCann, James Carnegie-Mellon University Polynomial-Time Program Equivalence for Machine Knitting
Orestis MelkonianMelkonian, Orestis Input Output Global (IOG/IOHK)United Kingdom Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Guillaume MelquiondMelquiond, Guillaume Université Paris-Saclay - CNRS - ENS Paris-Saclay - InriaFrance Committee Member in ICFP Programme Committee within the ICFP Papers-track
Stefan MiliusMilius, Stefan Friedrich-Alexander-Universität Erlangen-Nürnberg Bialgebraic Reasoning on Stateful Languages
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Workshops Co-Chair in Workshop Selection Committee within the ICFP/SPLASH Workshops-track
Ashish MishraMishra, Ashish IIT HyderabadIndia Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alexandre MoineMoine, Alexandre New York UniversityUnited States Committee Member in ICFP Programme Committee within the ICFP Papers-track
Benoît MontaguMontagu, Benoît InriaFrance Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2025 Artifact Evaluation Co-Chair in Artifact Evaluation Committe within the ICFP Artifacts-track
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark Relax! The Lenient Core of Choreographic Programming (Pearl)
Angelica MoreiraMoreira, Angelica Microsoft ResearchCanada Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Cameron MoyMoy, Cameron Northeastern UniversityUnited States Teaching Software Specification (Experience Report)
Serkan MuhcuMuhcu, Serkan Technische Universität Berlin Multiple Resumptions and Local Mutable State, Directly
Charlie MurphyMurphy, Charlie Amazon Web Services, USAUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Andrew MyersMyers, Andrew Cornell University SIGPLAN Chair in Steering Committee for ICFP 2025
Anders MøllerMøller, Anders Aarhus UniversityDenmark SIGPLAN Vice Chair in Steering Committee for ICFP 2025
N Kartik NagarNagar, Kartik IIT MadrasIndia Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Tomoki NakamaruNakamaru, Tomoki The University of TokyoJapan Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Chandrakana NandiNandi, Chandrakana CertoraUnited States Workshops Co-Chair in Organizing Committee for ICFP 2025 Workshops Co-Chair in Workshop Selection Committee within the ICFP/SPLASH Workshops-track
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach
Nuntipat NarkthongNarkthong, Nuntipat Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Tim NelsonNelson, Tim Brown UniversityUnited States Committee Member in Program Commitee within the SPLASH -E-track
Hoan NguyenNguyen, Hoan Amazon Web Services Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
James NobleNoble, James Independent. Wellington, NZNew Zealand Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
O Liam O'ConnorO'Connor, Liam Australian National UniversityAustralia Programming Contest Organiser in Organizing Committee for ICFP 2025 Committee Member in ICFP Programme Committee within the ICFP Papers-track
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in ICFP Programme Committee within the ICFP Papers-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina Normalization by Evaluation for Non-cumulativity
Luca OlivieriOlivieri, Luca Ca’ Foscari University of VeniceItaly Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Klaus OstermannOstermann, Klaus University of TübingenGermany Committee Member in ICFP Programme Committee within the ICFP Papers-track
P Oded PadonPadon, Oded Weizmann Institute of ScienceIsrael Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Pavel ParizekParizek, Pavel Charles University Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jihyeok ParkPark, Jihyeok Korea UniversitySouth Korea Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2025 Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Artifact Evaluation Co-Chair in Artifact Evaluation Committe within the ICFP Artifacts-track
Pouya PartowPartow, Pouya Birmingham University Big Steps in Higher-Order Mathematical Operational Semantics
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States Teaching Software Specification (Experience Report) Committee Member in Program Committee within the ICFP Student Research Competition-track SPLASH-E Co-Chair in Program Commitee within the SPLASH -E-track
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Daniel PerelmanPerelman, Daniel MicrosoftUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Basile PesinPesin, Basile Ecole Nationale de l'Aviation Civile (ENAC) Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Edward PetersPeters, Edward Pushing the Information-Theoretic Limits of Random Access Lists
Daniela PetrisanPetrisan, Daniela IRIF, Université Paris DiderotFrance Committee Member in ICFP Programme Committee within the ICFP Papers-track
Simon Peyton JonesPeyton Jones, Simon Epic Games United Kingdom Committee Member in ICFP Programme Committee within the ICFP Papers-track
David PichardiePichardie, David MetaFrance Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Brigitte PientkaPientka, Brigitte McGill UniversityCanada ICFP '24 Program Chair in Steering Committee for ICFP 2025 Fusing Session-typed Concurrent Programming into Functional Programming McTT: A Verified Kernel for a Proof Assistant
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Dan PlyukhinPlyukhin, Dan University of Southern DenmarkDenmark Relax! The Lenient Core of Choreographic Programming (Pearl)
François PottierPottier, François InriaFrance Formal Semantics and Program Logics for a Fragment of OCaml
Thomas S. PricePrice, Thomas S. Carnegie-Mellon University Polynomial-Time Program Equivalence for Machine Knitting
Loïc PujetPujet, Loïc Stockholm University Type Theory in Type Theory Using a Strictified Syntax
Q Yong Qi FooQi Foo, Yong National University of SingaporeSingapore Pushing the Information-Theoretic Limits of Random Access Lists
Xueying QinQin, Xueying The University of Edinburgh Relax! The Lenient Core of Choreographic Programming (Pearl)
Weihao QuQu, Weihao University at Buffalo, SUNY Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Benjamin QuiringQuiring, Benjamin University of MarylandUnited States Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Arjun RadhakrishnaRadhakrishna, Arjun MicrosoftUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Gokul RajivRajiv, Gokul National University of Singapore, SingaporeSingapore Author in Artifact Evaluation Committe within the ICFP Artifacts-track
Marianna RapoportRapoport, Marianna Amazon Web ServicesCanada Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Joseph RaskindRaskind, Joseph SUNY Binghamton Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Baber RehmanRehman, Baber University of Hong KongHong Kong SAR China Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
John ReppyReppy, John University of ChicagoUnited States Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages Committee Member in ICFP Programme Committee within the ICFP Papers-track
Mohammad RezaalipourRezaalipour, Mohammad University of PassauGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Manuel RiggerRigger, Manuel National University of SingaporeSingapore Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Exequiel RivasRivas, Exequiel Tallinn University of Technology; Ahrefs SecRef: Securely Sharing Mutable References Between Verified and Unverified Code in F
Tiark RompfRompf, Tiark Purdue UniversityUnited States Committee Member in ICFP Programme Committee within the ICFP Papers-track
Craig RoyRoy, Craig Quantinuum Fulls Seldom Differ
Fabian RuchRuch, Fabian UnaffiliatedSweden Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Neea RuschRusch, Neea Augusta UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Alejandro RussoRusso, Alejandro Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, SwedenSweden Diversity Co-Chair in Organizing Committee for ICFP 2025 Diversity Co-Chair in Steering Committee for ICFP 2025
Yeonhee RyouRyou, Yeonhee KAISTSouth Korea Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Co-chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
S Amr SabrySabry, Amr Indiana UniversityUnited States A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware
Kazuhiko SakaguchiSakaguchi, Kazuhiko CNRS, ENS de Lyon, UCBL, LIPFrance A bargain for mergesorts — How to prove your mergesort correct and stable, almost for free Committee Member in Program Committee within the ICFP Student Research Competition-track
Michael SammlerSammler, Michael Institute of Science and Technology AustriaAustria Committee Member in ICFP Programme Committee within the ICFP Papers-track
Chuta SanoSano, Chuta McGill UniversityCanada Fusing Session-typed Concurrent Programming into Functional Programming
André L. SantosSantos, André L. University Institute of Lisbon, Portugal Committee Member in Program Commitee within the SPLASH -E-track
Kartik SathyanarayananSathyanarayanan, Kartik Netflix, Inc. Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Gabriel SchererScherer, Gabriel Université Paris Cité - Inria - CNRSFrance Committee Member in ICFP Programme Committee within the ICFP Papers-track
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Effectful Lenses: There and Back with Different Monads
Lutz SchröderSchröder, Lutz University of Erlangen-NurembergGermany Bialgebraic Reasoning on Stateful Languages
Adriana SchulzSchulz, Adriana University of WashingtonUnited States Polynomial-Time Program Equivalence for Machine Knitting
Philipp SchusterSchuster, Philipp University of TübingenGermany Multiple Resumptions and Local Mutable State, Directly Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
David J. ScottScott, David J. Docker, Inc. Functional Networking for Millions of Docker Desktops (Experience Report)
Remy SeassauSeassau, Remy InriaFrance Formal Semantics and Program Logics for a Fragment of OCaml
Mazyar SerajSeraj, Mazyar Eindhoven University of TechnologyNetherlands Committee Member in Program Commitee within the SPLASH -E-track
Ilya SergeySergey, Ilya National University of SingaporeSingapore General Chair in Organizing Committee for ICFP 2025 ICFP'25 General Chair in Steering Committee for ICFP 2025
Manuel SerranoSerrano, Manuel Inria; Université Côte d’AzurFrance Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Associate Chair in ICFP Programme Committee within the ICFP Papers-track
Jiasi ShenShen, Jiasi The Hong Kong University of Science and Technology Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Olin ShiversShivers, Olin Northeastern UniversityUnited States Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages Committee Member in Program Committee within the ICFP Student Research Competition-track
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Committee Member in ICFP Programme Committee within the ICFP Papers-track
Jesse SigalSigal, Jesse University of EdinburghUnited Kingdom Author in Artifact Evaluation Committe within the ICFP Artifacts-track
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Robert SimmonsSimmons, Robert IndependentUnited States Committee Member in Program Commitee within the SPLASH -E-track
Abhishek Kr SinghSingh, Abhishek Kr IIIT HyderabadSingapore Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Satnam SinghSingh, Satnam GroqUnited States Functional Programming for Hardware Design
Somesh SinghSingh, Somesh Siemens EDAFrance Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Vidush SinghalSinghal, Vidush Purdue UniversityUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
KC SivaramakrishnanSivaramakrishnan, KC IIT Madras and TaridesIndia Diversity Co-Chair in Organizing Committee for ICFP 2025 Diversity Co-Chair in Steering Committee for ICFP 2025 Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in ICFP Programme Committee within the ICFP Papers-track
Thomas SomersSomers, Thomas Radboud University Nijmegen Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Yahui SongSong, Yahui National University of SingaporeSingapore Committee Member in ICFP Programme Committee within the ICFP Papers-track
Tyler SorensenSorensen, Tyler University of California at Santa CruzUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Skye SossSoss, Skye University of ChicagoUnited States Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages Author in Artifact Evaluation Committe within the ICFP Artifacts-track
Caleb StanfordStanford, Caleb University of California, DavisUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jonathan SterlingSterling, Jonathan University of CambridgeUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Michel SteuwerSteuwer, Michel Technische Universität BerlinGermany Multiple Resumptions and Local Mutable State, Directly
Quentin StiévenartStiévenart, Quentin Université du Québec à MontréalCanada Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Felix StutzStutz, Felix University of Luxembourg, Luxembourg Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Maolin SunSun, Maolin Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yaozhu SunSun, Yaozhu National Institute of InformaticsJapan Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Vaishnavi SundararajanSundararajan, Vaishnavi IIT DelhiIndia Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Milijana SurbatovichSurbatovich, Milijana University of Maryland Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Steering Committee Chair in Steering Committee for ICFP 2025 Committee Member in ICFP Programme Committee within the ICFP Papers-track
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands Member at large in Steering Committee for ICFP 2025 First-order Laziness
T Nicolas TabareauTabareau, Nicolas InriaFrance Robust Dynamic Embedding for Gradual Typing
Gang (Gary) TanTan, Gang (Gary) Pennsylvania State UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Shangyin TanTan, Shangyin University of California at BerkeleyUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yudai TanabeTanabe, Yudai Institute of Science TokyoJapan Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Éric TanterTanter, Éric University of ChileChile Robust Dynamic Embedding for Gradual Typing
Joseph TassarottiTassarotti, Joseph New York UniversityUnited States Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs
Christine TassonTasson, Christine Sorbonne Université — LIP6France Committee Member in ICFP Programme Committee within the ICFP Papers-track
Mohit TekriwalTekriwal, Mohit Lawrence Livermore National LaboratoryUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Shriya ThakurThakur, Shriya University of Massachusetts LowellUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Peter ThiemannThiemann, Peter University of Freiburg, Germany Associate Chair in ICFP Programme Committee within the ICFP Papers-track
Yongqiang TianTian, Yongqiang Hong Kong SAR China Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Eli TilevichTilevich, Eli Virginia TechUnited States Committee Member in Program Commitee within the SPLASH -E-track
Amin TimanyTimany, Amin Aarhus UniversityDenmark Reasoning about Weak Isolation Levels in Separation Logic
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States ICFP '26 General Chair in Steering Committee for ICFP 2025
Bernardo ToninhoToninho, Bernardo Instituto Superior Técnico, Universidade de Lisboa Fusing Session-typed Concurrent Programming into Functional Programming
Bernardo ToninhoToninho, Bernardo NOVA-LINCS; Nova University of LisbonPortugal Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Matías ToroToro, Matías University of ChileChile Robust Dynamic Embedding for Gradual Typing Committee Member in ICFP Programme Committee within the ICFP Papers-track
Stelios TsampasTsampas, Stelios University of Southern Denmark (SDU) Big Steps in Higher-Order Mathematical Operational Semantics Bialgebraic Reasoning on Stateful Languages CRDT Emulation, Simulation, and Representation Independence
U Hiroshi UnnoUnno, Hiroshi Tohoku UniversityJapan Committee Member in ICFP Programme Committee within the ICFP Papers-track
Henning UrbatUrbat, Henning Friedrich-Alexander-Universität Erlangen-Nürnberg Bialgebraic Reasoning on Stateful Languages
V Rishikesh VaishnavVaishnav, Rishikesh Deducteam, LMF, ENS Paris-Saclay, INRIAFrance Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Nachiappan ValliappanValliappan, Nachiappan University of EdinburghUnited Kingdom Committee Member in ICFP Programme Committee within the ICFP Papers-track
Yakir VizelVizel, Yakir Technion—Israel Institute of TechnologyIsrael Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
W Qianyong WanWan, Qianyong University of Hong KongChina Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Shengyi WangWang, Shengyi Princeton UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Wenxi WangWang, Wenxi University of VirginaUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Xinyu WangWang, Xinyu University of MichiganUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ziteng WangWang, Ziteng University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore Doctoral Symposium Chair in Organizing Committee for ICFP 2025 Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Joe WattWatt, Joe *Institute for Infocomm Research, ASTARSingapore** Student Volunteer Co-Chair in Organizing Committee for ICFP 2025
Anjiang WeiWei, Anjiang Stanford UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Guannan WeiWei, Guannan Inria/ENS; Tufts UniversityFrance Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in ICFP Programme Committee within the ICFP Papers-track
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Committee Member in ICFP Programme Committee within the ICFP Papers-track
Sam WestrickWestrick, Sam New York UniversityUnited States Publicity Chair in Organizing Committee for ICFP 2025 Publicity Chair in Steering Committee for ICFP 2025
Leo WhiteWhite, Leo Jane StreetUnited Kingdom Committee Member in ICFP Programme Committee within the ICFP Papers-track
John WickersonWickerson, John Imperial College LondonUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Christian WimmerWimmer, Christian Amazon Web ServicesUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Daniel Winograd-CortWinograd-Cort, Daniel Nectry Inc.United States Sponsorship Co-Chair in Organizing Committee for ICFP 2025 Sponsorship Co-Chair in Organizing Committee for ICFP 2025 Industrial Relations Chair in Steering Committee for ICFP 2025
Théo WinterhalterWinterhalter, Théo INRIAFrance SecRef: Securely Sharing Mutable References Between Verified and Unverified Code in F Committee Member in ICFP Programme Committee within the ICFP Papers-track
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
X Dongwei XiaoXiao, Dongwei Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ningning XieXie, Ningning University of TorontoCanada Multi-Stage Programming with Splice Variables Committee Member in ICFP Programme Committee within the ICFP Papers-track
Ruifeng XieXie, Ruifeng Peking University Effectful Lenses: There and Back with Different Monads
Zifan XieXie, Zifan Huazhong University of Science and TechnologyChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Xiangzhe XuXu, Xiangzhe Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Xu XueXue, Xu The University of Hong Kong Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Frex: dependently typed algebraic simplification
Yixin YangYang, Yixin Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Peisen YaoYao, Peisen Zhejiang UniversityChina Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Irene YoonYoon, Irene InriaFrance Formal Semantics and Program Logics for a Fragment of OCaml Committee Member in ICFP Programme Committee within the ICFP Papers-track
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
David YoungYoung, David University of Kansas, USA A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware
Neringa YoungYoung, Neringa Lithuania SIGPLAN Conference Manager in Organizing Committee for ICFP 2025
Yongwei YuanYuan, Yongwei Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Z Yannick ZakowskiZakowski, Yannick InriaFrance Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Stefan ZetzscheZetzsche, Stefan AmazonUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Cheng ZhangZhang, Cheng University College London (UCL)United Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jialu ZhangZhang, Jialu University of WaterlooCanada Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Nuda ZhangZhang, Nuda University of Michigan Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States Co-chair in Organizing Committee within the SPLASH Posters-track
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ying ZhangZhang, Ying Wake Forest UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yizhou ZhangZhang, Yizhou University of WaterlooCanada Compiling with Generating Functions
Pinhan ZhaoZhao, Pinhan University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Bangyuan ZhongZhong, Bangyuan Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages
Byron ZhongZhong, Byron University of ChicagoUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track
Litao ZhouZhou, Litao University of Hong KongChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Xiangyu ZhouZhou, Xiangyu University of Michigan Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Siyuan ZhuZhu, Siyuan Peking University, China Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Š Artjoms ŠinkarovsŠinkarovs, Artjoms University of Southampton Correctness Meets High Performance in Agda Committee Member in Program Committee within the ICFP Student Research Competition-track

ICFP 2025 Contributors

Results (407)

Tracks

ICFP/SPLASH 2025

Co-hosted Conferences

Workshops

Co-hosted Symposia