ICFP 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (367)

A Andreas AbelAbel, Andreas Gothenburg UniversitySweden On Recursion in Graded Modal Type Theory
Alejandro AguirreAguirre, Alejandro Aarhus UniversityDenmark Author in Program Committee within the ICFP Papers-track
Danel AhmanAhman, Danel University of TartuEstonia Misquoted No More: Securely Extracting F* Programs with IO
David AllsoppAllsopp, David Jane StreetUnited Kingdom Package Managers à la Carte
Sandra AlvesAlves, Sandra University of PortoPortugal Committee Member in Program Committee within the LOPSTR+PPDP-track
Cezar-Constantin AndriciAndrici, Cezar-Constantin MPI-SPGermany Misquoted No More: Securely Extracting F* Programs with IO
Owen ArdenArden, Owen UC Santa CruzUnited States Committee Member in Program Committee within the Haskell-track
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Zena M. AriolaAriola, Zena M. University of OregonUnited States Committee Member in Program Committee within the LOPSTR+PPDP-track
Michael ArntzeniusArntzenius, Michael UC BerkeleyUnited States Committee Member in Program Committee within the miniKanren-track Committee Member in Program Committee within the Haskell-track
Duncan Paul AttardAttard, Duncan Paul Reykjavik University and University of MaltaMalta Committee Member in Program Committee within the Erlang-track
B Christiaan BaaijBaaij, Christiaan QBayLogic B.V.Netherlands Committee Member in Program Committee within the FUNARCH-track
Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Safety First: How to Safely Disregard Unsafe Behaviour in Compiler Calculations
Thibaut BalabonskiBalabonski, Thibaut LMF, CNRS, Université Paris-Saclay Inlining as a space optimization: a simple time- and space-invariant implementation of the weak lambda-calculus
Michael BallantyneBallantyne, Michael Northeastern UniversityUnited States Committee Member in Program Committee within the Scheme-track
Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States Author in Program Committee within the ICFP Papers-track
Yuyan BaoBao, Yuyan Augusta UniversityUnited States Committee Member in Program Committee within the HOPE-track
João BarbosaBarbosa, João University of Porto Committee Member in Program Committee within the LOPSTR+PPDP-track
Lee BarneyBarney, Lee Committee Member in Organizing Committee within the Erlang-track
Aurèle BarrièreBarrière, Aurèle CNRSFrance JavaScript Regular Expression Matching is PSPACE-Complete
Julia BelyakovaBelyakova, Julia Purdue UniversityUnited States Author in Program Committee within the ICFP Papers-track
Clara Benac-EarleBenac-Earle, Clara Universidad Politécnica de MadridSpain Committee Member in Program Committee within the Erlang-track
Brujo BenavidesBenavides, Brujo Erlang Ecosystem FoundationSpain Committee Member in Program Committee within the Erlang-track
Péter BereczkyBereczky, Péter Eötvös Loránd UniversityHungary A Mechanised Semantics of Erlang's References Committee Member in Program Committee within the Erlang-track
Annette BieniusaBieniusa, Annette RPTU Kaiserslautern-LandauGermany Set-Theoretic Types for Erlang in Practice Set-Theoretic Typing in an Erlang Classroom: A Retrospective Type Study
Malgorzata BiernackaBiernacka, Malgorzata University of Wrocław Committee Member in Program Committee within the LOPSTR+PPDP-track
Clément BlaudeauBlaudeau, Clément InriaFrance Committee Member in Program Committee within the ML Family Workshop-track
Michael BorkowskiBorkowski, Michael Purdue University LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory
Juliana BowlesBowles, Juliana University of St Andrews, St Andrews, UK Committee Member in Program Committee within the LOPSTR+PPDP-track
István BozóBozó, István Eötvös Loránd UniversityHungary Green Benchmarking of BEAM Languages
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany Diversity Co-Chair in Steering Committee for ICFP 2026
Ewen BROUDIN-CARADECBROUDIN-CARADEC, Ewen ENS Paris Saclay, TU Delft, INRIA Saclay, LMF Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Alessandro BruniBruni, Alessandro IT University of Copenhagen Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
Bob BurgerBurger, Bob Indigo BioAutomatin, Inc.United States Committee Member in Program Committee within the Scheme-track
Ilan BuzzettiBuzzetti, Ilan University of Texas at DallasUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
William E. ByrdByrd, William E. University of Alabama at BirminghamUnited States Co-chair in Organizing Committee within the miniKanren-track Co-chair in Program Committee within the miniKanren-track Co-chair in Program Committee within the LOPSTR+PPDP-track Co-chair in Organizing Committee within the LOPSTR+PPDP-track
C Jose CalderonCalderon, Jose Galois, Inc.United States Committee Member in Program Committee within the Haskell-track
Qinxiang CaoCao, Qinxiang Shanghai Jiao Tong UniversityChina Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl)
Stefano CatoziCatozi, Stefano LIPN When Types Intersect and Effects Get Handled
Gabriele CeciliaCecilia, Gabriele Computer and Cyber Sciences, Augusta University, Georgia, USAItaly Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Tej ChajedChajed, Tej UW-MadisonUnited States Author in Program Committee within the ICFP Papers-track
Vincent ChanChan, Vincent University at Buffalo, SUNYUnited States Better Safe and Sorry: Tabular Types for Dynamic Languages
Stephen ChangChang, Stephen University of Massachusetts BostonUnited States Committee Member in Organizing Committee within the Scheme-track
Arthur CharguéraudCharguéraud, Arthur InriaFrance A Catenable, Splittable, Transient Sequence Data Structure
Marsha ChechikChechik, Marsha University of TorontoCanada Compositional Generator Equivalence
Natalia ChechinaChechina, Natalia Bournemouth UniversityUnited Kingdom Committee Member in Program Committee within the Erlang-track
Liang-Ting ChenChen, Liang-Ting Academia SinicaTaiwan Author in Program Committee within the ICFP Papers-track
Tianyu ChenChen, Tianyu Indiana UniversityUnited States Committee Member in Program Committee within the Scheme-track
Yanju ChenChen, Yanju University of California, San DiegoUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
James CheneyCheney, James University of EdinburghUnited Kingdom Committee Member in Program Committee within the LOPSTR+PPDP-track
Maria Chiara MeoChiara Meo, Maria University “G. d’Annunzio” of Chieti-PescaraItaly Committee Member in Program Committee within the LOPSTR+PPDP-track
Vikraman ChoudhuryChoudhury, Vikraman Alma Mater Studiorum - Università di BolognaItaly Committee Member in Program Committee within the ICFP Papers-track
Eloise ChristianChristian, Eloise Rochester Institute of TechnologyUnited States Video Co-Chair in Organizers within the ICFP Volunteers-track
Ravi ChughChugh, Ravi University of Chicago Keynote Talk: Ravi Chugh
Ștefan CiobâcăCiobâcă, Ștefan Alexandru Ioan Cuza University of IasiRomania Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Koen ClaessenClaessen, Koen Chalmers University of TechnologySweden QuickChecking Convergence of Rewriting Systems (Functional Pearl)
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States Author in Program Committee within the ICFP Papers-track
Youyou CongCong, Youyou Institute of Science TokyoJapan Member at Large (serving 9/2022-9/2026) in Steering Committee for ICFP 2026 Committee Member in Program Committee within the Scheme-track
Carlos Tome CortinasCortinas, Carlos Tome None Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Maria-Nicoleta CraciunCraciun, Maria-Nicoleta University of Oxford LazyHMC: Hamiltonian Monte Carlo simulation for lazy, infinite dimensional probabilistic programs
Will CrichtonCrichton, Will Brown UniversityUnited States Committee Member in Organizing Committee within the PLMW @ ICFP-track
Maximiliano CristiáCristiá, Maximiliano Universidad Nacional de RosarioArgentina Committee Member in Program Committee within the LOPSTR+PPDP-track
Raphaëlle CrubilléCrubillé, Raphaëlle Committee Member in Program Committee within the HOPE-track
Ryan CulpepperCulpepper, Ryan Czech Technical University in PragueCzechia Committee Member in Program Committee within the Scheme-track
D Matthew L. DaggittDaggitt, Matthew L. University of Western Australia Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
Francesco DagninoDagnino, Francesco University of GenoaItaly Committee Member in Program Committee within the HOPE-track
Ugo Dal LagoDal Lago, Ugo University of Bologna & INRIA Sophia AntipolisItaly When Types Intersect and Effects Get Handled
Stefania DamatoDamato, Stefania University of NottinghamUnited Kingdom Committee Member in Program Committee within the Haskell-track
Nils Anders DanielssonDanielsson, Nils Anders University of GothenburgSweden On Recursion in Graded Modal Type Theory
David DaraisDarais, David Stealth Software TechnologiesUnited States Author in Program Committee within the ICFP Papers-track
Davide DavoliDavoli, Davide MPI-SPGermany Committee Member in Program Committee within the ICFP Papers-track
Marina De VosDe Vos, Marina University of BathUnited Kingdom Committee Member in Program Committee within the LOPSTR+PPDP-track
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Coverage Types Modulo Equivalences Author in Program Committee within the ICFP Papers-track
Victor DengDeng, Victor EPFL; École Normale Supérieure - PSL - CNRSSwitzerland JavaScript Regular Expression Matching is PSPACE-Complete
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium ICFP '25 Program Chair in Steering Committee for ICFP 2026
Samvid DharanikotaDharanikota, Samvid Efficient ComputerUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Elena Di LavoreDi Lavore, Elena Tallinn University of TechnologyEstonia Committee Member in Program Committee within the HOPE-track
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States Author in Program Committee within the ICFP Papers-track
Facundo DomínguezDomínguez, Facundo TweagUruguay Committee Member in Program Committee within the FUNARCH-track Committee Member in Program Committee within the Haskell-track
Evan DonahueDonahue, Evan Northern Arizona UniversityUnited States Committee Member in Program Committee within the miniKanren-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Committee Member in Program Committee within the ICFP Papers-track
Derek DreyerDreyer, Derek MPI-SWSGermany Mode Crossing Author in Program Committee within the ICFP Papers-track
Gregory J. DuckDuck, Gregory J. National University of SingaporeSingapore Committee Member in Program Committee within the LOPSTR+PPDP-track
E Gabriel EbnerEbner, Gabriel Microsoft ResearchUnited States Proofs Promptly: An Experience Report on Proof-Oriented Programming with AI Agents
Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States Member at Large (serving 9/2022-9/2026) in Steering Committee for ICFP 2026 Mode Crossing Committee Member in Program Committee within the ML Family Workshop-track
Joseph EremondiEremondi, Joseph University of ReginaCanada Committee Member in Program Committee within the LOPSTR+PPDP-track
Oskar ErikssonEriksson, Oskar Department of Computer Science and Engineering, University of Gothenburg and Chalmers University of Technology, Gothenburg, SwedenSweden On Recursion in Graded Modal Type Theory
Santiago EscobarEscobar, Santiago Universitat Politècnica de València Committee Member in Program Committee within the LOPSTR+PPDP-track
F Kavon FarvardinFarvardin, Kavon AppleUnited States Committee Member in Program Committee within the ML Family Workshop-track
Thiago FelicissimoFelicissimo, Thiago InriaFrance Confluence Techniques for Dependent Type Theory with Typed Conversion
Daniel FerencziFerenczi, Daniel Eötvös Loránd University EMoL: Erlang Messaging and Monitoring over LoRa
Florent Ferrari-DominguezFerrari-Dominguez, Florent ENS de Lyon First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination
Patrick FerrisFerris, Patrick University of Cambridge, UKUnited Kingdom Package Managers à la Carte
Pablo Benario FigueroaFigueroa, Pablo Benario University of ChileChile Incremental Property-Based Testing
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States Metaprogramming in Rhombus Animated Pictures for Slide Presentations (Functional Pearl): From the Shallows to the Depths of a Domain-Specific Language Associate PC Chair in Program Committee within the ICFP Papers-track Author in Program Committee within the ICFP Papers-track
Matthew FlattFlatt, Matthew University of UtahUnited States Metaprogramming in Rhombus Animated Pictures for Slide Presentations (Functional Pearl): From the Shallows to the Depths of a Domain-Specific Language
Oliver FlattFlatt, Oliver University of WashingtonUnited States Animated Pictures for Slide Presentations (Functional Pearl): From the Shallows to the Depths of a Domain-Specific Language
Adam FoltzerFoltzer, Adam Veeva Systems Committee Member in Program Committee within the miniKanren-track
Nate FosterFoster, Nate EPFL; Jane StreetSwitzerland Author in Program Committee within the ICFP Papers-track
Justine FrankFrank, Justine University of Maryland, College Park Programmable Property-Based Testing
Mario FrankFrank, Mario University of PotsdamGermany Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Gustavo de Mendonça FreireFreire, Gustavo de Mendonça Universidade Federal do Rio de Janeiro An Equational and Graphical Fixed-Point Calculus (Functional Pearl)
Asta Halkjær FromFrom, Asta Halkjær University of CopenhagenDenmark Committee Member in Program Committee within the Haskell-track
Viktória FördősFördős, Viktória Cisco SystemsSweden Committee Member in Program Committee within the Erlang-track
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States ICFP'26 Steering Committee Chair and ICFP'24 General Chair in Steering Committee for ICFP 2026
Michael GaleGale, Michael GitHubUnited Kingdom Committee Member in Program Committee within the Haskell-track
Tony Garnock-JonesGarnock-Jones, Tony Maastricht University Committee Member in Program Committee within the Scheme-track
Francesco GavazzoGavazzo, Francesco University of Pisa, ItalyItaly Co-chair in Program Committee within the HOPE-track
Thomas GazagnaireGazagnaire, Thomas TaridesFrance Package Managers à la Carte
Yuhao GeGe, Yuhao China Southern Power Grid Company Limited RunbookFX: Type- and Effect-Safe LLM Synthesis for Executable Incident Diagnosis and Mitigation
Kimball GermaneGermane, Kimball Brigham Young UniversityUnited States Student Research Competition Chair in Organising Committee for ICFP 2026 Student Research Competition Co-Chair in Program Committee within the ICFP SRC-track Demand-on-Demand Control-Flow Analysis HMCFA: A Precise and Practical Big-Step Control Flow Analysis for Effect Handlers Author in Program Committee within the ICFP Papers-track Committee Member in Program Committee within the Scheme-track
Youssef GharbiGharbi, Youssef ELTE Eötvös Loránd UniversityHungary Green Benchmarking of BEAM Languages
Paola GianniniGiannini, Paola University of Eastern PiedmontItaly Committee Member in Program Committee within the LOPSTR+PPDP-track
Ryan GibbGibb, Ryan University of Cambridge Package Managers à la Carte
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Program Committee within the LOPSTR+PPDP-track
Thomas GilrayGilray, Thomas Washington State UniversityUnited States Committee Member in Program Committee within the LOPSTR+PPDP-track
Marco GiuntiGiunti, Marco University of AlgarvePortugal Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the LOPSTR+PPDP-track
Harrison GoldsteinGoldstein, Harrison SUNY BuffaloUnited States Programmable Property-Based Testing
Sergey GoncharovGoncharov, Sergey University of BirminghamUnited Kingdom Towards a Higher-Order Bialgebraic Denotational Semantics
Kiran GopinathanGopinathan, Kiran BasisUnited States Committee Member in Program Committee within the ML Family Workshop-track
Colin GordonGordon, Colin Drexel UniversityUnited States Actor Capabilities for Controlled Actor Interactions
Ben GreenmanGreenman, Ben University of Utah, USA Workshop & Tutorial Co-Chair in Organising Committee for ICFP 2026
Ben GreenmanGreenman, Ben University of UtahUnited States Workshop & Tutorial Co-Chair in Tutorials Selection Committee within the ICFP Tutorials-track
Ben GreenmanGreenman, Ben University of Utah, USA Workshops Co-Chair in Workshop Selection Committee within the ICFP Workshops-track
Ben GreenmanGreenman, Ben University of UtahUnited States Author in Program Committee within the ICFP Papers-track
Simon Oddershede GregersenGregersen, Simon Oddershede CISPA Helmholtz Center for Information SecurityGermany Completeness of Iris-Based Program Logics
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Committee Member in Program Committee within the Erlang-track
Gopal GuptaGupta, Gopal University of Texas at Dallas Committee Member in Program Committee within the LOPSTR+PPDP-track
Matthias GüdemannGüdemann, Matthias University of Applied Sciences MunichGermany Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
H Ákos HajduHajdu, Ákos MetaUnited Kingdom Committee Member in Organizing Committee within the Erlang-track
Geoff HamiltonHamilton, Geoff Dublin City University Committee Member in Program Committee within the LOPSTR+PPDP-track
Michael HanusHanus, Michael Kiel UniversityGermany Committee Member in Program Committee within the LOPSTR+PPDP-track
Ben HardekopfHardekopf, Ben University of California at Santa BarbaraUnited States Citrus: Algebraic Reasoning About Superconductor Electronics
Ludovic HenrioHenrio, Ludovic University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIPFrance Tail Modulo Async-Await
Hugo HerbelinHerbelin, Hugo Inria Committee Member in Program Committee within the LOPSTR+PPDP-track
Kenshin HiraiHirai, Kenshin Research Institute for Mathematical Sciences, Kyoto University Programming Backpropagation with Reverse Handlers for Arrows
Son HoHo, Son Microsoft Azure ResearchFrance Artifact Evaluation Co-Chair in Organising Committee for ICFP 2026 Co-chair in Artifact Evaluation Committee within the ICFP Artifacts-track
Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States Author in Program Committee within the ICFP Papers-track
Dániel HorpácsiHorpácsi, Dániel Eötvös Loránd UniversityHungary A Mechanised Semantics of Erlang's References
Keisuke HoshinoHoshino, Keisuke Research Institute for Mathematical Sciences, Kyoto University Programming Backpropagation with Reverse Handlers for Arrows
Johannes HostertHostert, Johannes ETH ZurichSwitzerland Completeness of Iris-Based Program Logics
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany Misquoted No More: Securely Extracting F* Programs with IO
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Author in Program Committee within the ICFP Papers-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Committee Member in Program Committee within the Haskell-track
Mirai IkebuchiIkebuchi, Mirai Kyoto UniversityJapan Adequacy for Predicate Transformer Semantics
Daniela InclezanInclezan, Daniela Miami University, USA Committee Member in Program Committee within the LOPSTR+PPDP-track
Eleftherios IoannidisIoannidis, Eleftherios Microsoft ResearchUnited States Proofs Promptly: An Experience Report on Proof-Oriented Programming with AI Agents
Jad IssaIssa, Jad CEA List, France and Université de Lorraine, CNRS, Inria, LORIA, F-54000 Nancy, FranceFrance Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
J Jules JacobsJacobs, Jules Jane StreetUnited States Web Chair in Organising Committee for ICFP 2026 Mode Crossing
Jacques-Henri JourdanJourdan, Jacques-Henri LMF, CNRS, Université Paris-SaclayFrance Author in Program Committee within the ICFP Papers-track
Ralf JungJung, Ralf ETH ZurichSwitzerland Completeness of Iris-Based Program Logics
K Mikah KainenKainen, Mikah Purdue University LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory
Diana KalinichenkoKalinichenko, Diana Jane Street Mode Crossing
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Committee Member in Program Committee within the Scheme-track
Chahyun KangKang, Chahyun Brigham Young UniversityUnited States Demand-on-Demand Control-Flow Analysis
Shin-ya KatsumataKatsumata, Shin-ya Kyoto Sangyo UniversityJapan Programming Backpropagation with Reverse Handlers for Arrows
Alex KavvosKavvos, Alex University of BristolUnited Kingdom Bimodels and Biorthogonality for Abstract Machines
Alperen KelesKeles, Alperen University of Maryland at College ParkUnited States QuickerChick Programmable Property-Based Testing
Jam Kabeer Ali KhanKhan, Jam Kabeer Ali Standard Chartered BankHong Kong SAR China Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Wen KokkeKokke, Wen Well-TypedUnited Kingdom Committee Member in Program Committee within the Haskell-track
Ekaterina KomendantskayaKomendantskaya, Ekaterina University of Southampton Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
Chaitanya S. KoparkarKoparkar, Chaitanya S. Indiana UniversityUnited States LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory
Mayuko KoriKori, Mayuko Research Institute for Mathematical Sciences, Kyoto University Adequacy for Predicate Transformer Semantics
Paulette KoronkevichKoronkevich, Paulette University of British Columbia Student Volunteer Co-Chair in Organising Committee for ICFP 2026 Student Volunteer Co-Chair in Organizers within the ICFP Volunteers-track
Harlan KringenKringen, Harlan Citrus: Algebraic Reasoning About Superconductor Electronics
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom Committee Member in Program Committee within the LOPSTR+PPDP-track
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States Interpreters everywhere! Co-chair in Program Committee within the Haskell-track
Temur KutsiaKutsia, Temur Johannes Kepler University Linz Committee Member in Program Committee within the LOPSTR+PPDP-track
L Chun Kit LamLam, Chun Kit The Hong Kong University of Science and Technology (HKUST) First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland at College ParkUnited States QuickerChick Programmable Property-Based Testing Author in Program Committee within the ICFP Papers-track
Cosimo LaneveLaneve, Cosimo University of Bologna Committee Member in Program Committee within the LOPSTR+PPDP-track
Lukas LazarekLazarek, Lukas Brown University Author in Program Committee within the ICFP Papers-track
Edward LeeLee, Edward University of California at BerkeleyUnited States Deterministic Concurrency
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Efficient strong functional programming with effects and compiler guided reference counting
John LeoLeo, John Halfaya ResearchUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Xavier LeroyLeroy, Xavier Collège de FranceFrance Author in Program Committee within the ICFP Papers-track
Michael LeuschelLeuschel, Michael HHUGermany Committee Member in Program Committee within the LOPSTR+PPDP-track
Harry LiLi, Harry The Hong Kong University of Science and Technology (HKUST)Hong Kong SAR China Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Runming LiLi, Runming Carnegie Mellon UniversityUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Shijie LiLi, Shijie China Southern Power Grid Company Limited RunbookFX: Type- and Effect-Safe LLM Synthesis for Executable Incident Diagnosis and Mitigation
Yao LiLi, Yao Portland State UniversityUnited States Committee Member in Program Committee within the Haskell-track
Jack Liell-CockLiell-Cock, Jack University of Oxford Imprecise Probabilistic Programming, Precisely (Functional Pearl)
Vilem-Benjamin LiepeltLiepelt, Vilem-Benjamin University of Kent, UKUnited Kingdom Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types
Francesca Alessandra LisiLisi, Francesca Alessandra University of BariItaly Committee Member in Program Committee within the LOPSTR+PPDP-track
Puming LiuLiu, Puming NYU Shanghai Completeness of Iris-Based Program Logics
Tianhai LiuLiu, Tianhai Karlsruhe Institute of Technology (KIT), and aicas GmbHGermany Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States Committee Member in Program Committee within the LOPSTR+PPDP-track
Dániel LukácsLukács, Dániel Eötvös Loránd University A Mechanised Semantics of Erlang's References
Pedro López-GarcíaLópez-García, Pedro IMDEA Software Institute Committee Member in Program Committee within the LOPSTR+PPDP-track
M Weixi MaMa, Weixi MetaUnited States Committee Member in Program Committee within the miniKanren-track
Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge, UKUnited Kingdom Package Managers à la Carte
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Committee Member in Program Committee within the ML Family Workshop-track
Assia MahboubiMahboubi, Assia INRIAFrance Author in Program Committee within the ICFP Papers-track
Danielle MarshallMarshall, Danielle University of GlasgowUnited Kingdom Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types
Chris MartensMartens, Chris Northeastern UniversityUnited States Co-chair in Organizing Committee within the miniKanren-track Co-chair in Program Committee within the miniKanren-track
Cristina MatacheMatache, Cristina University of Edinburgh Author in Program Committee within the ICFP Papers-track
Cristina MatacheMatache, Cristina United Kingdom Committee Member in Program Committee within the HOPE-track
Jay McCarthyMcCarthy, Jay ReachUnited States Author in Program Committee within the ICFP Papers-track
Olivier MelançonMelançon, Olivier Université de MontréalCanada Author in Program Committee within the ICFP Papers-track
Orestis MelkonianMelkonian, Orestis Independent ResearcherUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Ceren MertMert, Ceren University of Maryland, College Park Programmable Property-Based Testing
Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States Committee Member in Program Committee within the miniKanren-track
Marino MiculanMiculan, Marino University of UdineItaly Committee Member in Program Committee within the LOPSTR+PPDP-track
Mae MilanoMilano, Mae Princeton UniversityUnited States Author in Program Committee within the ICFP Papers-track Co-chair in Organizing Committee within the PLMW @ ICFP-track General Chair in Organizing Committee within the FARM-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Author in Program Committee within the ICFP Papers-track
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance Committee Member in Program Committee within the LOPSTR+PPDP-track
Ivan MladenovMladenov, Ivan University of Maryland, College ParkUnited States QuickerChick
Alexandre MoineMoine, Alexandre New York UniversityUnited States Student Research Competition Co-Chair in Program Committee within the ICFP SRC-track A Separation Logic for Parallel Time Complexity with Work and Span Credits Committee Member in Program Committee within the ML Family Workshop-track
Evgeniy MoiseenkoMoiseenko, Evgeniy JetBrains Research Committee Member in Program Committee within the miniKanren-track
Benoît MontaguMontagu, Benoît InriaFrance Co-chair in Organizing Committee within the ML Family Workshop-track Committee Member in Program Committee within the Scheme-track
Corey MontellaMontella, Corey Lehigh UniversityUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
J. Garrett MorrisMorris, J. Garrett University of IowaUnited States Committee Member in Program Committee within the ICFP SRC-track Another Type Inference Algorithm for First-class Implicit Polymorphism Committee Member in Program Committee within the FUNARCH-track
Gregory MorseMorse, Gregory Eötvös Loránd University (ELTE)Hungary Towards Exact Semantic Equivalence of Erlang BEAM constructs: Lessons from Advanced Emulation and Decompilation
Georg MoserMoser, Georg University of Innsbruck Committee Member in Program Committee within the LOPSTR+PPDP-track
Cameron MoyMoy, Cameron Northeastern UniversityUnited States Committee Member in Program Committee within the Scheme-track
Maxime MulderMulder, Maxime The Hong Kong University of Science and Technology (HKUST) Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Hugo Musso GualandiMusso Gualandi, Hugo Universidade Federal do Rio de JaneiroBrazil An Equational and Graphical Fixed-Point Calculus (Functional Pearl)
Andrew MyersMyers, Andrew Cornell University SIGPLAN Chair in Steering Committee for ICFP 2026
Jonatan MännchenMännchen, Jonatan Erlang Ecosystem FoundationSwitzerland Committee Member in Program Committee within the Erlang-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark SIGPLAN Vice Chair in Steering Committee for ICFP 2026
N Gopalan NadathurNadathur, Gopalan University of MinnesotaUnited States Committee Member in Program Committee within the LOPSTR+PPDP-track
Keisuke NakanoNakano, Keisuke Tohoku UniversityJapan Unscanning by Möbius Inversion (Functional Pearl)
Koji NakazawaNakazawa, Koji Nagoya UniversityJapan Committee Member in Program Committee within the LOPSTR+PPDP-track
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain Committee Member in Program Committee within the LOPSTR+PPDP-track
Emma NardinoNardino, Emma École Normale Supérieure de Lyon / LIP Tail Modulo Async-Await
Joseph P. NearNear, Joseph P. University of VermontUnited States Committee Member in Program Committee within the miniKanren-track
Kim NguyễnNguyễn, Kim Université Paris-SaclayFrance Committee Member in Program Committee within the LOPSTR+PPDP-track
Hugo NobregaNobrega, Hugo Universidade Federal do Rio de Janeiro An Equational and Graphical Fixed-Point Calculus (Functional Pearl)
O C.-H. Luke OngOng, C.-H. Luke NTU LazyHMC: Hamiltonian Monte Carlo simulation for lazy, infinite dimensional probabilistic programs
Dominic OrchardOrchard, Dominic University of Cambridge; University of KentUnited Kingdom Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types Committee Member in Program Committee within the ML Family Workshop-track
P Joao PaixaoPaixao, Joao Universidade Federal do Rio de Janeiro An Equational and Graphical Fixed-Point Calculus (Functional Pearl)
Zachary PalmerPalmer, Zachary Swarthmore CollegeUnited States Committee Member in Program Committee within the ICFP Papers-track
Zoe ParaskevopoulouParaskevopoulou, Zoe National Technical University of AthensGreece Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
Tae Hong ParkPark, Tae Hong Purdue UniversityUnited States Performance Chair in Organizing Committee within the FARM-track
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China Artifact Evaluation Co-Chair in Organising Committee for ICFP 2026 Co-chair in Artifact Evaluation Committee within the ICFP Artifacts-track First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination Committee Member in Program Committee within the ML Family Workshop-track
Grant PassmorePassmore, Grant Imandra Inc. Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
Angel Pavlov AngelovPavlov Angelov, Angel Sofia UniversityBulgaria Video Co-Chair in Organizers within the ICFP Volunteers-track
Marco PeressottiPeressotti, Marco University of Southern DenmarkDenmark Towards a Higher-Order Bialgebraic Denotational Semantics
Benjamin PetersPeters, Benjamin MPI-SWS Mode Crossing
Matthai PhiliposePhilipose, Matthai Microsoft Research Proofs Promptly: An Experience Report on Proof-Oriented Programming with AI Agents
Matthew PickeringPickering, Matthew XBOWUnited Kingdom Committee Member in Program Committee within the Haskell-track
Brigitte PientkaPientka, Brigitte McGill UniversityCanada ICFP '24 Program Chair in Steering Committee for ICFP 2026
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland JavaScript Regular Expression Matching is PSPACE-Complete Committee Member in Organizing Committee within the PLMW @ ICFP-track
François PottierPottier, François InriaFrance A Catenable, Splittable, Transient Sequence Data Structure
Aaryan PrakashPrakash, Aaryan Purdue University Coverage Types Modulo Equivalences
Abigail PribisovaPribisova, Abigail MPI-SP and MPI-SWS Misquoted No More: Securely Extracting F* Programs with IO
Jorge A. PérezPérez, Jorge A. University of GroningenNetherlands Committee Member in Program Committee within the LOPSTR+PPDP-track
R Gabriel RadanneRadanne, Gabriel InriaFrance Tail Modulo Async-Await Committee Member in Program Committee within the ML Family Workshop-track
Michael RaineyRainey, Michael Carnegie Mellon UniversityUnited States LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory
Gokul RajivRajiv, Gokul National University of Singapore, SingaporeSingapore Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Tahina RamananandroRamananandro, Tahina Microsoft ResearchUnited States Proofs Promptly: An Experience Report on Proof-Oriented Programming with AI Agents
Norman RamseyRamsey, Norman Tufts UniversityUnited States Author in Program Committee within the ICFP Papers-track
Laurent P. René de CotretRené de Cotret, Laurent P. BitnomialCanada Committee Member in Program Committee within the FUNARCH-track
Adrian RiescoRiesco, Adrian Universidad Complutense de MadridSpain Committee Member in Program Committee within the LOPSTR+PPDP-track
Xavier RivalRival, Xavier Inria - CNRS - Ecole Normale Superieure de Paris - PSL UniversityFrance Author in Program Committee within the ICFP Papers-track
Exequiel RivasRivas, Exequiel Tallinn University of Technology; Ahrefs Misquoted No More: Securely Extracting F* Programs with IO
Gregory RosenblattRosenblatt, Gregory University of Alabama at Birmingham, USACanada Committee Member in Program Committee within the miniKanren-track
Marcus RosselRossel, Marcus Technische Universität DarmstadtGermany Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Nolen RoyaltyRoyalty, Nolen Programming Contest Organiser in Organising Committee for ICFP 2026
Fabian RuchRuch, Fabian UnaffiliatedSweden Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Gergely RudaRuda, Gergely evosoft Hungary Kft. EMoL: Erlang Messaging and Monitoring over LoRa
Neea RuschRusch, Neea Uppsala UniversitySweden Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Alejandro RussoRusso, Alejandro Chalmers University of Technology; University of GothenburgSweden Diversity Co-Chair in Organising Committee for ICFP 2026
Didier RémyRémy, Didier Inria Committee Member in Program Committee within the ICFP Papers-track
S Takafumi SaikawaSaikawa, Takafumi Nagoya UniversityJapan Committee Member in Program Committee within the ML Family Workshop-track
Ken SakayoriSakayori, Ken University of TokyoJapan Committee Member in Program Committee within the HOPE-track
Takahiro SanadaSanada, Takahiro Fukui Prefectural UniversityJapan Committee Member in Program Committee within the ICFP SRC-track Programming Backpropagation with Reverse Handlers for Arrows
Abhiroop SarkarSarkar, Abhiroop ETH ZürichSwitzerland Committee Member in Program Committee within the Haskell-track
Gabriel SchererScherer, Gabriel InriaFrance Co-chair in Organizing Committee within the ML Family Workshop-track
Albert SchimpfSchimpf, Albert University of Kaiserslautern-LandauGermany Set-Theoretic Types for Erlang in Practice Set-Theoretic Typing in an Erlang Classroom: A Retrospective Type Study
Alan SchmittSchmitt, Alan InriaFrance Committee Member in Program Committee within the ICFP Papers-track
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium LazyHMC: Hamiltonian Monte Carlo simulation for lazy, infinite dimensional probabilistic programs Author in Program Committee within the ICFP Papers-track
Ryan ScottScott, Ryan Galois, Inc.United States Committee Member in Program Committee within the FUNARCH-track
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan When Types Intersect and Effects Get Handled Author in Program Committee within the ICFP Papers-track Co-chair in Program Committee within the HOPE-track
Ilya SergeySergey, Ilya National University of SingaporeSingapore ICFP'25 General Chair in Steering Committee for ICFP 2026
Manuel SerranoSerrano, Manuel Inria; Université Côte d’AzurFrance ICFP'26 Program Chair in Steering Committee for ICFP 2026 PC Chair in Organising Committee for ICFP 2026 PC Chair in Program Committee within the ICFP Papers-track Author in Program Committee within the ICFP Papers-track
Gan ShenShen, Gan University of California at Santa CruzUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track Hacking Choreographic Programming in Haskell
Jiasi ShenShen, Jiasi The Hong Kong University of Science and Technology Workshop & Tutorial Co-Chair in Organising Committee for ICFP 2026 Workshop & Tutorial Co-Chair in Tutorials Selection Committee within the ICFP Tutorials-track Workshops Co-Chair in Workshop Selection Committee within the ICFP Workshops-track
Timothy SherwoodSherwood, Timothy University of California at Santa BarbaraUnited States Citrus: Algebraic Reasoning About Superconductor Electronics
Darshal ShettyShetty, Darshal Indiana University Student Volunteer Co-Chair in Organising Committee for ICFP 2026 Student Volunteer Co-Chair in Organizers within the ICFP Volunteers-track
Jesse SigalSigal, Jesse University of EdinburghUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Mário SilvaSilva, Mário LMF, CNRS, Université Paris-SaclayFrance Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Robert SimmonsSimmons, Robert IndependentUnited States Committee Member in Program Committee within the LOPSTR+PPDP-track
Vidush SinghalSinghal, Vidush Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory
Alistair SirmanSirman, Alistair University of Southampton Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
KC SivaramakrishnanSivaramakrishnan, KC IIT Madras and TaridesIndia Diversity Co-Chair and Member at Large (serving 9/2023-9/2027) in Steering Committee for ICFP 2026 Diversity Co-Chair in Organising Committee for ICFP 2026 Committee Member in Program Committee within the Haskell-track
Josh SmartSmart, Josh University of Southampton Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
Aspen SmithSmith, Aspen Jane Street Mode Crossing
Shreya SomanSoman, Shreya University of Texas at Dallas Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Tran Cao SonSon, Tran Cao New Mexico State University Committee Member in Program Committee within the LOPSTR+PPDP-track
Yahui SongSong, Yahui Standard Chartered BankSingapore Committee Member in Program Committee within the Haskell-track
Kiarash SotoudehSotoudeh, Kiarash University of TorontoCanada Compositional Generator Equivalence
Helge SpiekerSpieker, Helge Simula Research LaboratoryNorway Committee Member in Program Committee within the LOPSTR+PPDP-track
Sergey StaroletovStaroletov, Sergey Polzunov Altai State Technical UniversityRussia Modern Erlang Teaching from Code Refactoring to Actor System Verification
Sam StatonStaton, Sam University of OxfordUnited Kingdom LazyHMC: Hamiltonian Monte Carlo simulation for lazy, infinite dimensional probabilistic programs Imprecise Probabilistic Programming, Precisely (Functional Pearl)
Dario SteinStein, Dario Netherlands Committee Member in Program Committee within the HOPE-track
Liam StevensonStevenson, Liam Jane Street Mode Crossing
Isabella StilkerichStilkerich, Isabella Schaeffler TechnologiesGermany Committee Member in Program Committee within the FUNARCH-track
Christopher StoneStone, Christopher Harvey Mudd CollegeUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Eijiro SumiiSumii, Eijiro Tohoku UniversityJapan Committee Member in Program Committee within the ICFP Papers-track
Yifei SunSun, Yifei Inria, ENS de Lyon, Univ. Grenoble AlpesFrance Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Proofs Promptly: An Experience Report on Proof-Oriented Programming with AI Agents
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands Member at Large (serving 9/2024-9/2028) in Steering Committee for ICFP 2026
Theresa SwiftSwift, Theresa Johns Hopkins Applied Physics LaboratoryUnited States Co-chair in Program Committee within the LOPSTR+PPDP-track Co-chair in Organizing Committee within the LOPSTR+PPDP-track
T Jun TanTan, Jun IndependentChina Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl)
Joseph TassarottiTassarotti, Joseph New York UniversityUnited States Completeness of Iris-Based Program Logics A Separation Logic for Parallel Time Complexity with Work and Span Credits
Ross TateTate, Ross United States Committee Member in Program Committee within the ICFP Papers-track
Zachary TatlockTatlock, Zachary University of WashingtonUnited States Author in Program Committee within the ICFP Papers-track
Samuel TeuberTeuber, Samuel KITGermany Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
Amin TimanyTimany, Amin Aarhus UniversityDenmark Author in Program Committee within the ICFP Papers-track
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States Author in Program Committee within the ICFP Papers-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States ICFP '26 General Chair in Steering Committee for ICFP 2026 General Chair in Organising Committee for ICFP 2026
Matías ToroToro, Matías University of ChileChile Better Safe and Sorry: Tabular Types for Dynamic Languages
Emma ToschTosch, Emma Northeastern UniversityUnited States Committee Member in Program Committee within the miniKanren-track
Stelios TsampasTsampas, Stelios University of Southern DenmarkDenmark Towards a Higher-Order Bialgebraic Denotational Semantics
April TuneTune, April University of Bristol Bimodels and Biorthogonality for Abstract Machines
Melinda TóthTóth, Melinda Eötvös Loránd UniversityHungary EMoL: Erlang Messaging and Monitoring over LoRa Towards Exact Semantic Equivalence of Erlang BEAM constructs: Lessons from Advanced Emulation and Decompilation Green Benchmarking of BEAM Languages
U Katsuhiro UenoUeno, Katsuhiro Niigata UniversityJapan Committee Member in Program Committee within the FUNARCH-track
Henning UrbatUrbat, Henning University of Erlangen-Nuremberg Towards a Higher-Order Bialgebraic Denotational Semantics
Tarmo UustaluUustalu, Tarmo Reykjavik UniversityIceland Committee Member in Program Committee within the LOPSTR+PPDP-track
V Frank ValenciaValencia, Frank CNRS / Ecole Polytechnique Committee Member in Program Committee within the LOPSTR+PPDP-track
Milla ValnetValnet, Milla Sorbonne UniversitéFrance Committee Member in Program Committee within the ML Family Workshop-track
Anthony VandikasVandikas, Anthony University of Toronto Compositional Generator Equivalence
Wim VanhoofVanhoof, Wim University of NamurBelgium Committee Member in Program Committee within the LOPSTR+PPDP-track
Niki VazouVazou, Niki IMDEA Software Institute Author in Program Committee within the ICFP Papers-track
Niccolò VeltriVeltri, Niccolò Tallinn University of TechnologyEstonia Committee Member in Program Committee within the LOPSTR+PPDP-track
Ekaterina VerbitskaiaVerbitskaia, Ekaterina JetBrains Research; Constructor University BremenNetherlands Committee Member in Program Committee within the miniKanren-track
German VidalVidal, German Universitat Politecnica de ValenciaSpain Committee Member in Program Committee within the LOPSTR+PPDP-track
Alicia VillanuevaVillanueva, Alicia Universitat Politècnica de ValènciaSpain Committee Member in Program Committee within the LOPSTR+PPDP-track
Adriana Laura VoineaVoinea, Adriana Laura University of Glasgow, UKUnited Kingdom Committee Member in Organizing Committee within the Erlang-track
Michael VollmerVollmer, Michael University of KentUnited Kingdom Committee Member in Program Committee within the ICFP SRC-track LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory Committee Member in Program Committee within the ML Family Workshop-track Committee Member in Program Committee within the Scheme-track
Stefano VolpeVolpe, Stefano University of Southern DenmarkDenmark Towards a Higher-Order Bialgebraic Denotational Semantics
Niels VoorneveldVoorneveld, Niels Cybernetica ASEstonia Committee Member in Program Committee within the HOPE-track
Dimitrios VytiniotisVytiniotis, Dimitrios Google DeepMindUnited Kingdom Committee Member in Program Committee within the ICFP Papers-track
W David WalkerWalker, David Princeton UniversityUnited States Committee Member in Program Committee within the ICFP Papers-track
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada Author in Program Committee within the ICFP Papers-track
Kazuki WatanabeWatanabe, Kazuki National Institute of Informatics; SOKENDAIJapan Committee Member in Program Committee within the ICFP SRC-track Adequacy for Predicate Transformer Semantics
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore Co-chair in Organizing Committee within the PLMW @ ICFP-track
Stefan WehrWehr, Stefan Offenburg University of Applied SciencesGermany Set-Theoretic Typing in an Erlang Classroom: A Retrospective Type Study
Guannan WeiWei, Guannan Tufts UniversityUnited States Committee Member in Program Committee within the ICFP SRC-track Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl) Committee Member in Organizing Committee within the Scheme-track
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Keynote Talk: Stephanie Weirich
Sam WestrickWestrick, Sam New York UniversityUnited States Publicity Chair (serving 9/2024-9/2027) in Steering Committee for ICFP 2026 Publicity Chair in Organising Committee for ICFP 2026 A Separation Logic for Parallel Time Complexity with Work and Span Credits Author in Program Committee within the ICFP Papers-track Co-chair in Organizing Committee within the ML Family Workshop-track
Tim WhitingWhiting, Tim Brigham Young University HMCFA: A Precise and Practical Big-Step Control Flow Analysis for Effect Handlers
Jamie WillisWillis, Jamie Imperial College London Committee Member in Program Committee within the Haskell-track
Max WillseyWillsey, Max University of California at BerkeleyUnited States Committee Member in Program Committee within the miniKanren-track
Daniel Winograd-CortWinograd-Cort, Daniel Nectry Inc.United States Industrial Relations Chair in Steering Committee for ICFP 2026 Industrial Relations / Sponsorship Chair in Organising Committee for ICFP 2026
Théo WinterhalterWinterhalter, Théo INRIAFrance Confluence Techniques for Dependent Type Theory with Typed Conversion Misquoted No More: Securely Extracting F* Programs with IO
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Program Co-Chair in Program Committee within the FUNARCH-track
Shushu WuWu, Shushu Shanghai Jiao Tong University Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl)
Xiwei WuWu, Xiwei Shanghai Jiao Tong UniversityChina Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl)
X Yifan XiaoXiao, Yifan Peking University RunbookFX: Type- and Effect-Safe LLM Synthesis for Executable Incident Diagnosis and Mitigation
Ningning XieXie, Ningning University of TorontoCanada Member at Large (serving 10/2025-9/2029) in Steering Committee for ICFP 2026 Committee Member in Program Committee within the ML Family Workshop-track Committee Member in Program Committee within the LOPSTR+PPDP-track Co-chair in Program Committee within the Haskell-track
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Author in Program Committee within the ICFP Papers-track
Chengxi YangYang, Chengxi Shanghai Jiao Tong University Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl)
Zhixuan YangYang, Zhixuan Imperial College LondonUnited Kingdom Author in Program Committee within the ICFP Papers-track Committee Member in Program Committee within the HOPE-track
Nisansala YatapanageYatapanage, Nisansala Australian National University Committee Member in Program Committee within the LOPSTR+PPDP-track
Qianchuan YeYe, Qianchuan University at Buffalo, SUNYUnited States Better Safe and Sorry: Tabular Types for Dynamic Languages
Jeffrey YoungYoung, Jeffrey CanonicalUnited States Program Chair in Program Committee within the FUNARCH-track
Neringa YoungYoung, Neringa Lithuania SIGPLAN Conference Manager in Organising Committee for ICFP 2026
Z Yannick ZakowskiZakowski, Yannick InriaFrance Tail Modulo Async-Await
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Associate PC Chair in Program Committee within the ICFP Papers-track
Yizhou ZhangZhang, Yizhou University of WaterlooCanada Author in Program Committee within the ICFP Papers-track Committee Member in Program Committee within the ML Family Workshop-track
Zichen ZhangZhang, Zichen New York UniversityUnited States Completeness of Iris-Based Program Logics
Dinghong ZhongZhong, Dinghong Tufts University Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl)
Elena ZuccaZucca, Elena University of GenoaItaly Author in Program Committee within the ICFP Papers-track
Saïd ZuhairZuhair, Saïd OCamlPro; Université Paris-Saclay - CEA LIST Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track

ICFP 2026 Contributors

Results (367)

Tracks

Workshops

Co-hosted Symposia