ICFP 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (496)

A Andreas AbelAbel, Andreas Gothenburg UniversitySweden An Agda Formalization of "On Recursion in Graded Modal Type Theory" On Recursion in Graded Modal Type Theory
Michael D. AdamsAdams, Michael D. National University of SingaporeUnited States Lightning Talk: Fixen: A Fixed-Point Generator for Haskell
Xavier AdettuAdettu, Xavier University of Wisconsin-MilwaukeeUnited States StageML: Partial Evaluation for Multi-Tenant MoE-LoRA Inference
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 Misquoted No More: Securely Extracting F* Programs with IO
David AllsoppAllsopp, David Jane StreetUnited Kingdom Package Managers à la Carte Package Managers à la Carte
Sandra AlvesAlves, Sandra University of PortoPortugal Committee Member in Program Committee within the LOPSTR+PPDP-track
One AnAn, One University of PennsylvaniaUnited States Video Chair in Organising Committee for ICFP 2026
Cezar-Constantin AndriciAndrici, Cezar-Constantin MPI-SPGermany Misquoted No More: Securely Extracting F* Programs with IO Misquoted No More: Securely Extracting F* Programs with IO
Carlo AngiuliAngiuli, Carlo Indiana UniversityUnited States CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation
Paul Elliot Anglès d'AuriacAnglès d'Auriac, Paul Elliot A new implementation of Short-paths
Leni AnivaAniva, Leni Stanford University Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 Algorithmic Composition in Prismriver
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
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan A Typed and Unified Reflection for Shift and Shift0
Duncan Paul AttardAttard, Duncan Paul Reykjavik University and University of MaltaMalta Committee Member in Program Committee within the Erlang-track
Lennart AugustssonAugustsson, Lennart Epic Games CloudMicroHaskell: Direct-Style Distributed Haskell via Runtime Graph Serialisation
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
Alexander BaiBai, Alexander New York UniversityUnited States Video Chair in Organising Committee for ICFP 2026
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
Mark BarboneBarbone, Mark University of California at San DiegoUnited States An Incremental Approach to JIT Construction
João BarbosaBarbosa, João University of Porto Committee Member in Program Committee within the LOPSTR+PPDP-track
Lee BarneyBarney, Lee Closing remarks Silica: A functional systems language for modern chips, modern tools, and honest boundaries Welcome 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
Jiří BenešBeneš, Jiří University of Tübingen Teaching Effect Handlers in the Wild
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 Type Checking of Beginner Erlang Code: A Retrospective Study
Malgorzata BiernackaBiernacka, Malgorzata University of Wrocław Committee Member in Program Committee within the LOPSTR+PPDP-track
Trevor BihlBihl, Trevor Ohio University Complex Autonomous UAV Task Execution and Decision-Making Using s(CASP)
Henry BlanchetteBlanchette, Henry University of Maryland at College Park, USA Convenient Algebraic Programming with Coercive Subtyping
Clément BlaudeauBlaudeau, Clément InriaFrance Committee Member in Program Committee within the ML Family-track
Rose BohrerBohrer, Rose National Institute of Advanced Industrial Science and Technology (AIST), JapanJapan CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation
Michael BorkowskiBorkowski, Michael Purdue University LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory
Marvin BornerBorner, Marvin University of TübingenGermany Experience Report: Graph Rewriting with Lexical Effect Handlers
Dmitri BoulytchevBoulytchev, Dmitri Saint Petersburg State UniversityRussia Efficient Rational Unification for miniKanren
Aghilas BoussaaBoussaa, Aghilas École normale supérieure - PSL Higher-order fork, modally
Juliana BowlesBowles, Juliana University of St Andrews, St Andrews, UK Committee Member in Program Committee within the LOPSTR+PPDP-track
William J. BowmanBowman, William J. University of British ColumbiaCanada Regions as Continuation Marks
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
Oliver BringmannBringmann, Oliver FZI Research Center for Information Technology Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
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 Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice Vehicle with Time: Signal First-Order Logic for Closed-Loop Controller Synthesis
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 Demos of Attendee Programs and Open Mic Opening greetings and announcements Programming Challenge to Attendees Introduction to relational programming in miniKanren Co-chair in Organizing Committee within the miniKanren-track Co-chair in Program Committee within the miniKanren-track Session Chair of Afternoon Session 2 (part of LOPSTR+PPDP) Session Chair of Thursday Afternoon Session (part of LOPSTR+PPDP) Session Chair of Morning Session (part of LOPSTR+PPDP) Session Chair of Morning Session (part of LOPSTR+PPDP) Opening Greetings and Announcements (Day 2) Opening Greetings and Announcements (Day 1) Opening Greetings and Announcements (Day 3) 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) Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl)
J. A. CarrCarr, J. A. University of ChicagoUnited States Lightning Talk: Could coapplicatives contain comonads?
Zachery CaseyCasey, Zachery Practical Extensions for Graded Monads
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 H. ChanChan, Vincent H. University at Buffalo, SUNYUnited States Better Safe and Sorry: Tabular Types for Dynamic Languages
Sandeep ChandranChandran, Sandeep Indian Institute of Technology Palakkad Certified hardware for regexp matching: A rocq library and its workflow
Stephen ChangChang, Stephen University of Massachusetts BostonUnited States Using the Design Recipe in Theory of Computation An Array-Oriented Language via the Design Recipe 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 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 University of StrathclydeUnited Kingdom Committee Member in Distinguished Papers Committee for ICFP 2026 Committee Member in Program Committee within the ICFP Papers-track
Eloise ChristianChristian, Eloise Rochester Institute of TechnologyUnited States Video Chair in Organising Committee for ICFP 2026 Video Co-Chair in Organizers within the ICFP Volunteers-track
Ravi ChughChugh, Ravi University of Chicago The Next 700 Block-Based Editors (Keynote)
Ș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 CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation
Carlos Tome CortinasCortinas, Carlos Tome None Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Stefania CostantiniCostantini, Stefania Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila From Constraints to Cognition: A Hybrid Framework for Adaptive, Explainable Scheduling
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 CNRS A Radically Elementary Probabilistic Lambda-Calculus
Raphaëlle CrubilléCrubillé, Raphaëlle Committee Member in Program Committee within the HOPE-track
Viktor CsimmaCsimma, Viktor Eötvös Loránd University, Eötvös József Collegium (Budapest, Hungary)Hungary Adapting the MVVM pattern to C++ frontends and Agda-based backends
Ryan CulpepperCulpepper, Ryan Czech Technical University in PragueCzechia Committee Member in Program Committee within the Scheme-track
D Frédéric DabrowskiDabrowski, Frédéric Université d'Orléans Tempo: Reconstructing Synchronous Reactive Programming with OCaml 5 Effects
Matthew L. DaggittDaggitt, Matthew L. University of Western Australia Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice Vehicle with Time: Signal First-Order Logic for Closed-Loop Controller Synthesis
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 An Agda Formalization of "On Recursion in Graded Modal Type Theory" 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
Lorenzo De LauretisDe Lauretis, Lorenzo Univaq From Constraints to Cognition: A Hybrid Framework for Adaptive, Explainable Scheduling
Luis Eduardo de Souza Amorimde Souza Amorim, Luis Eduardo Towards a Benchmarking Service for OCaml
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 Session Chair of Languages and DSLs (part of ICFP Papers) Author in Program Committee within the ICFP Papers-track Writing Makes the Researcher: The First Audience Is You
Victor DengDeng, Victor EPFLSwitzerland JavaScript Regular Expression Matching is PSPACE-Complete
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium ICFP '25 Program Chair in Steering Committee for ICFP 2026
Kyle DeweyDewey, Kyle California State University, NorthridgeUnited States Session Chair of Thursday Afternoon Session 2 (part of LOPSTR+PPDP) Wren: A Fast Logic Programming eDSL With Host Language Garbage Collection
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
Alex DixonDixon, Alex Department of Computer Science, University of Warwick, UK Tikka: An Interpreter and Debugger for a Pedagogical Subset of Haskell
Ryan DoengesDoenges, Ryan Boston CollegeUnited States Coercive Subtyping for Implicit Functorial Programming
Eridan DomoratskiyDomoratskiy, Eridan Saint-Petersburg State University Efficient Rational Unification for miniKanren
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 Distinguished Papers Committee for ICFP 2026 Committee Member in Program Committee within the ICFP Papers-track
Xingyu DongDong, Xingyu University of Pennsylvania Demo: Drawing Algorithms as Modular Objects: A Framework for Procedurally Generated Visual Arts and Music
Derek DreyerDreyer, Derek MPI-SWSGermany Mode Crossing Session Chair of Testing and Verification (part of ICFP Papers) Mode Crossing JFP@ICFP Author in Program Committee within the ICFP Papers-track Career Pathways in Programming Languages Research How to Write Papers and Give Talks that People Can Follow
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 Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)
Attila Egri-NagyEgri-Nagy, Attila Akita International University Elements of Logic Programming in a Concatenative Functional Language
Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States Member at Large (serving 9/2022-9/2026) in Steering Committee for ICFP 2026 Mode Crossing Mode Crossing Committee Member in Program Committee within the ML Family-track
Martin ElsmanElsman, Martin University of CopenhagenDenmark Modular Storage Mode Analysis Deriving a Kronecker-Free Functional Quantum Simulator
Mehmet EmreEmre, Mehmet University of San FranciscoUnited States Wren: A Fast Logic Programming eDSL With Host Language Garbage Collection
Ahmet Yigit ErdemErdem, Ahmet Yigit Institute of Science Tokyo, Middle East Technical University CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation
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 An Agda Formalization of "On Recursion in Graded Modal Type Theory" 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 Hongshuo FanFan, Hongshuo TAMU Shadows' Resonance AGR: A Rehearsal-to-Performance Workflow for Programming Audio Gestures in Max
Kavon FarvardinFarvardin, Kavon AppleUnited States Committee Member in Program Committee within the ML Family-track
Thiago FelicissimoFelicissimo, Thiago InriaFrance Confluence Techniques for Dependent Type Theory with Typed Conversion 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 An Exploration of First-Class Constrained Types: Semantics, Soundness, Principal Type Inference, and a Characterization of Termination 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 Package Managers à la Carte
Pablo Benario FigueroaFigueroa, Pablo Benario University of ChileChile Incremental Property-Based Testing Testing Incomplete Programs in OCaml
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States Animated Pictures for Slide Presentations (Functional Pearl): From the Shallows to the Depths of a Domain-Specific Language Metaprogramming in Rhombus Session Chair of Keynote: Daan Leijen (part of ICFP Keynotes) 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 Reduction Semantics and How to Read Them
Matthew FlattFlatt, Matthew University of UtahUnited States Animated Pictures for Slide Presentations (Functional Pearl): From the Shallows to the Depths of a Domain-Specific Language Metaprogramming in Rhombus Animated Pictures for Slide Presentations (Functional Pearl): From the Shallows to the Depths of a Domain-Specific Language The Rhombus Programming Language Rhombus: The Non-shrubbery Parts (Keynote)
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 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
Andrea FormisanoFormisano, Andrea Università di Perugia From Constraints to Cognition: A Hybrid Framework for Adaptive, Explainable Scheduling
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 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 JaneiroBrazil 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 Practical Extensions for Graded Monads
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 Package Managers à la Carte
Yuhao GeGe, Yuhao China Southern Power Grid Company LimitedChina RunbookFX: Type- and Effect-Safe LLM Synthesis for Executable Incident Diagnosis and Mitigation
Jared GentnerGentner, Jared None The Art of Concert Programming
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 SRC awards 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 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
Matthías Páll GissurarsonGissurarson, Matthías Páll Chalmers University of Technology, SwedenSweden Turning Parser Errors into Suggestions for REPL-Driven DSLs (Functional Pearl)
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 University at Buffalo, SUNYUnited States Programmable Property-Based Testing Programmable Property-Based Testing Language Support for Property-Based Testing
Sergey GoncharovGoncharov, Sergey University of BirminghamUnited Kingdom Towards a Higher-Order Bialgebraic Denotational Semantics Concurrent monads, clones, pomsets and their relationship Towards Light-Weight Operational Reasoning for Languages with Binders, Categorically
Kiran GopinathanGopinathan, Kiran BasisUnited States Committee Member in Program Committee within the ML Family-track
Colin S. GordonGordon, Colin S. Drexel UniversityUnited States Actor Capabilities for Controlled Actor Interactions (Keynote)
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 Session Chair of Effects, Semantics, and Program Analysis (part of ICFP Papers) Session Chair of Program Analysis (part of ICFP Papers) 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 Completeness of Iris-Based Program Logics
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Committee Member in Program Committee within the Erlang-track
Gusts Gustavs GrīnbergsGrīnbergs, Gusts Gustavs IT University of Copenhagen Vehicle with Time: Signal First-Order Logic for Closed-Loop Controller Synthesis
Gopal GuptaGupta, Gopal University of Texas at Dallas Complex Autonomous UAV Task Execution and Decision-Making Using s(CASP) Committee Member in Program Committee within the LOPSTR+PPDP-track
Ulysse GérardGérard, Ulysse Tarides A new implementation of Short-paths
Matthias GüdemannGüdemann, Matthias University of Applied Sciences MunichGermany Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
H Jan HaaseHaase, Jan NORDAKADEMIE gAG Hochschule der Wirtschaft Functional State Machines in Rust: Typestate and Newtype Patterns (Experience Report)
Á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
Zachary HansenHansen, Zachary Boise State University Backwards Compatibility of Conditional Literals
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
James HartonHarton, James AlembicNew Zealand Reactor Under the Hood: Building a Graph-Based Saga Orchestrator in Elixir
Kodippilige Hashan Sharindu KodippiligeHashan Sharindu Kodippilige, Kodippilige Minnesota State University Moorhead Lightweight Runtime Security Policy Verification Using an Embeddable C++ miniKanren
Jason HemannHemann, Jason Seton Hall UniversityUnited States A Lean, Mean, miniKanren Machine Session Chair of Morning Session 2 (part of LOPSTR+PPDP)
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
Matthias HetzenbergerHetzenberger, Matthias TU Wien A Cost-Aware Probability Monad for Liquid Haskell
Leon HeuerHeuer, Leon NORDAKADEMIE gAG Hochschule der Wirtschaft Functional State Machines in Rust: Typestate and Newtype Patterns (Experience Report)
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
Alex HobbsHobbs, Alex Department of Computer Science, University of Warwick, UK Tikka: An Interpreter and Debugger for a Pedagogical Subset of Haskell
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 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 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 PAARL: An Interactive System for Policy-Aware Planning in Autonomous Agents (System Description) 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 Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)
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 Mode Crossing
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Synthesizing Runners Using Copatterns
Mengxiang JiangJiang, Mengxiang Orbifoldr: Classifying Wallpaper Groups via Functional Image Analysis in Haskell
JJ JJ University of British ColumbiaCanada Lightning Talk: Sticks: A (wiki) tool for semantic thought (keywords: hakyll pandoc typst linguistics come to my talk pls)
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 Completeness of Iris-Based Program Logics
K Mikah KainenKainen, Mikah Purdue University LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory
Diana KalinichenkoKalinichenko, Diana Jane Street Mode Crossing 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 Practical Extensions for Graded Monads
Ryan KavanaghKavanagh, Ryan Université du Québec à MontréalCanada Deconstructed Proto-Quipper: A Rational Reconstruction
Alex KavvosKavvos, Alex University of BristolUnited Kingdom Bimodels and Biorthogonality for Abstract Machines Bimodels and Biorthogonality for Abstract Machines
Alperen KelesKeles, Alperen University of Maryland at College ParkUnited States Programmable Property-Based Testing QuickerChick Programmable Property-Based Testing Evaluating Shrinking (Experience Report)
Jam Kabeer Ali KhanKhan, Jam Kabeer Ali Standard Chartered BankHong Kong SAR China Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
Sujin KimKim, Sujin Kaleidophone in Digital for Algorithmic Composition and Visualization
Keegan KimbrellKimbrell, Keegan University of Texas at Dallas, USA Complex Autonomous UAV Task Execution and Decision-Making Using s(CASP)
David KnotheKnothe, David FZI Research Center for Information TechnologyGermany Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
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 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 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
Joomy KorkutKorkut, Joomy BloombergUnited States Career Pathways in Programming Languages Research Lightning Talk: Morphosyntactic Programming: Case, Mood, and Type-Directed Disambiguation for Turkish-Like Syntax
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 Regions as Continuation Marks
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands ICFP 2027 announcement
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
Robert KrookKrook, Robert Chalmers University of Technology, Sweden CloudMicroHaskell: Direct-Style Distributed Haskell via Runtime Graph Serialisation
Nikolai KudasovKudasov, Nikolai Innopolis UniversityRussia Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States Interpreters everywhere! Session Chair of Afternoon Session (part of Haskell) Session Chair of Morning Session (part of Haskell) Session Chair of Afternoon Session 2 (part of Haskell) Session Chair of Morning Session (part of Haskell) Program chair's report Welcome (Day 2) Welcome Co-chair in Program Committee within the Haskell-track
Piyush KururKurur, Piyush Indian Institute of Technology Palakkad Certified hardware for regexp matching: A rocq library and its workflow
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) An Exploration of First-Class Constrained Types: Semantics, Soundness, Principal Type Inference, and a Characterization of Termination First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination
Ayden LamparskiLamparski, Ayden Boston College Coercive Subtyping for Implicit Functorial Programming
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland at College ParkUnited States Programmable Property-Based Testing QuickerChick Session Chair of Types, Semantics, and Probabilistic Programming (part of ICFP Papers) Programmable Property-Based Testing Author in Program Committee within the ICFP Papers-track Evaluating Shrinking (Experience Report)
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
Nico LehmannLehmann, Nico University of ChileChile An Incremental Approach to JIT Construction
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 LimitedChina RunbookFX: Type- and Effect-Safe LLM Synthesis for Executable Incident Diagnosis and Mitigation
Yao LiLi, Yao Portland State UniversityUnited States Session Chair of Morning Session 2 (part of Haskell) Session Chair of Morning Session 2 (part of Haskell) Lightning Talk: What's Next with Freer Arrows? 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
Yuliya LierlerLierler, Yuliya University of Nebraska Strong and NAF Negations in Answer Set Programming
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom Higher-order fork, modally
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 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
Ziyang LiuLiu, Ziyang Input Output, USA From Lambda to Ledger: An Architectural Comparison of Plinth and Plutarch
Elisabet Lobo-VesgaLobo-Vesga, Elisabet Chalmers University of Technology, Sweden Turning Parser Errors into Suggestions for REPL-Driven DSLs (Functional Pearl)
Jonathan LudlamLudlam, Jonathan University of Cambridge First Class Docs in OCaml
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 Package Managers à la Carte
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Committee Member in Program Committee within the ML Family-track
Jan-Willem MaessenMaessen, Jan-Willem Nectry Inc.United States Lightning Talk: Prefix Matching using Classes that Count
Assia MahboubiMahboubi, Assia INRIAFrance Committee Member in Distinguished Papers Committee for ICFP 2026 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 Demos of Attendee Programs and Open Mic Opening greetings and announcements Programming Challenge to Attendees Introduction to relational programming in miniKanren Co-chair in Organizing Committee within the miniKanren-track Co-chair in Program Committee within the miniKanren-track CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation
Cristina MatacheMatache, Cristina University of Edinburgh Author in Program Committee within the ICFP Papers-track Concurrent monads, clones, pomsets and their relationship
Cristina MatacheMatache, Cristina United Kingdom Committee Member in Program Committee within the HOPE-track
James McCannMcCann, James Carnegie Mellon UniversityUnited States CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation
Jay McCarthyMcCarthy, Jay ReachUnited States Author in Program Committee within the ICFP Papers-track
Tim McGilchristMcGilchrist, Tim TaridesAustralia Towards a Benchmarking Service for OCaml
Peter McGoronMcGoron, Peter Georgia Institute of TechnologyUnited States The R7RS-Large Roadmap (Invited Talk)
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 Programmable Property-Based Testing
George MiaoMiao, George University of Maryland, College Park Evaluating Shrinking (Experience Report)
Loïs MichelMichel, Loïs A Radically Elementary Probabilistic Lambda-Calculus
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 Session Chair of Memory Models, Garbage Collection, and Concurrency (part of ICFP Papers) Author in Program Committee within the ICFP Papers-track Career Pathways in Programming Languages Research Welcome Co-chair in Organizing Committee within the PLMW @ ICFP-track Session Chair of Afternoon Session (part of FARM) Welcome from the Chairs 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
Joshua MillerMiller, Joshua H-E-B Arbiter: Distributed Job Queues using Haskell and PostgreSQL
Ivan MladenovMladenov, Ivan University of Maryland, College ParkUnited States QuickerChick
Isidore MohrMohr, Isidore None Session Chair of Morning Session (part of FARM) Demo: The Reduction of Girard’s Paradox as Music Composition: Building Community with Arts, Math, and Code (Experience Report) Girard's Paradox: Progression
Alexandre MoineMoine, Alexandre New York UniversityUnited States Student Research Competition Co-Chair in Organising Committee for ICFP 2026 A Separation Logic for Parallel Time Complexity with Work and Span Credits 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-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-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 Another Type Inference Algorithm for First-class Implicit Polymorphism 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 Session Chair of Afternoon Session (part of Haskell)
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 A Cost-Aware Probability Monad for Liquid Haskell
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) 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
Max S. NewNew, Max S. University of MichiganUnited States A Call-by-push-value Scheme
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 Seungheon OhOh, Seungheon Input Output From Lambda to Ledger: An Architectural Comparison of Plinth and Plutarch
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-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
Hugo PaquetPaquet, Hugo Inria, École Normale SupérieureFrance Concurrent monads, clones, pomsets and their relationship
Caden ParajuliParajuli, Caden Boston College Coercive Subtyping for Implicit Functorial Programming
Zoe ParaskevopoulouParaskevopoulou, Zoe National Technical University of AthensGreece Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report) Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report) Proof-Carrying Code For the Age of AI: Machine-Checked Guarantees from Specifications to Executables
Tae Hong ParkPark, Tae Hong Purdue UniversityUnited States Session Chair of Evening Performance (Mon 24 Aug, around 19:30, Madam Walker Legacy Center) (part of FARM) 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 An Exploration of First-Class Constrained Types: Semantics, Soundness, Principal Type Inference, and a Characterization of Termination 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-track
Grant PassmorePassmore, Grant Imandra Inc. Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
Angel Pavlov AngelovPavlov Angelov, Angel Sofia UniversityBulgaria Video Chair in Organising Committee for ICFP 2026 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 Mode Crossing
Matthai PhiliposePhilipose, Matthai Microsoft Research Proofs Promptly: An Experience Report on Proof-Oriented Programming with AI Agents Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)
Artem PianykhPianykh, Artem Facebook London JSON parsing in OxCaml: fast, but not too fast
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 Deconstructed Proto-Quipper: A Rational Reconstruction
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
Valentina PitoniPitoni, Valentina Univaq From Constraints to Cognition: A Hybrid Framework for Adaptive, Explainable Scheduling
Joe Gibbs PolitzPolitz, Joe Gibbs UC San Diego An Incremental Approach to JIT Construction
François PottierPottier, François InriaFrance A Catenable, Splittable, Transient Sequence Data Structure
Aaryan PrakashPrakash, Aaryan Purdue University Coverage Types Modulo Equivalences
Ari PrakashPrakash, Ari Northeastern UniversityUnited States CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation
Abigail PribisovaPribisova, Abigail MPI-SP and MPI-SWS Misquoted No More: Securely Extracting F* Programs with IO Misquoted No More: Securely Extracting F* Programs with IO
Daniel PrůšaPrůša, Daniel Czech Technical University Demo: Drawing Algorithms as Modular Objects: A Framework for Procedurally Generated Visual Arts and Music
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-track
Michael RaineyRainey, Michael Carnegie Mellon UniversityUnited States LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory 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 Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)
Norman RamseyRamsey, Norman Tufts UniversityUnited States Author in Program Committee within the ICFP Papers-track
Shaurya RaswanRaswan, Shaurya University of California at San Diego, USA An Incremental Approach to JIT Construction
Laurent P. René de CotretRené de Cotret, Laurent P. BitnomialCanada Committee Member in Program Committee within the FUNARCH-track
John ReppyReppy, John University of ChicagoUnited States Self-Tagging Numbers
Richard Feldman Richard Feldman Zed IndustriesUnited States Functional Mechanical Sympathy (Keynote)
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 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 Programming Contest report and winners
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 Turning Parser Errors into Suggestions for REPL-Driven DSLs (Functional Pearl)
Didier RémyRémy, Didier Inria Committee Member in Program Committee within the ICFP Papers-track
S Amr SabrySabry, Amr Indiana UniversityUnited States What Is "Quantum" About Quantum Computing?
Anmol SahooSahoo, Anmol Purdue University Synthesizing Runners Using Copatterns
Takafumi SaikawaSaikawa, Takafumi Nagoya UniversityJapan Committee Member in Program Committee within the ML Family-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
Chuta SanoSano, Chuta McGill UniversityCanada Deconstructed Proto-Quipper: A Rational Reconstruction
Luigi SantocanaleSantocanale, Luigi A Radically Elementary Probabilistic Lambda-Calculus
Abhiroop SarkarSarkar, Abhiroop ETH ZürichSwitzerland Committee Member in Program Committee within the Haskell-track
Martin ScheeleScheele, Martin University of Massachusetts Boston Using the Design Recipe in Theory of Computation An Array-Oriented Language via the Design Recipe
Gabriel SchererScherer, Gabriel InriaFrance Co-chair in Organizing Committee within the ML Family-track
Albert SchimpfSchimpf, Albert University of Kaiserslautern-LandauGermany Set-Theoretic Types for Erlang in Practice Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective 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
Philipp SchusterSchuster, Philipp University of TübingenGermany Repeatedly Handling Rejection
Sina SchäferSchäfer, Sina Repeatedly Handling Rejection
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 Session Chair of Keynote: Edward Lee (part of ICFP Keynotes) PC-chair report PC Chair in Program Committee within the ICFP Papers-track Author in Program Committee within the ICFP Papers-track
Julin ShajiShaji, Julin Indian Institute of Technology Palakkad Certified hardware for regexp matching: A rocq library and its workflow
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States All for one and none forall: Compiling polymorphic relations without monomorphization
Ehud ShapiroShapiro, Ehud London School of Economics Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
Shivam SharmaSharma, Shivam Orbifoldr: Classifying Wallpaper Groups via Functional Image Analysis in Haskell
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
Andrew Shi-hwa ChenShi-hwa Chen, Andrew Lightweight Runtime Security Policy Verification Using an Embeddable C++ miniKanren
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 LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory 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 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
Doug SlatterySlattery, Doug SYBOR Tech, Inc. Complex Autonomous UAV Task Execution and Decision-Making Using s(CASP)
Josh SmartSmart, Josh University of Southampton Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
Aspen SmithSmith, Aspen Jane Street Mode Crossing 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 Compositional Generator Equivalence
Michael SperberSperber, Michael Active Group GmbHGermany Local-First Distributed Configuration (Experience Report)
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)
Luite StegemanStegeman, Luite ICAN Group Lightning Talk: Modern Haskell profiling with Haskell Inspector
Dario SteinStein, Dario Netherlands Committee Member in Program Committee within the HOPE-track
Liam StevensonStevenson, Liam Jane Street Mode Crossing 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
Aaron StumpStump, Aaron Boston CollegeUnited States Convenient Algebraic Programming with Coercive Subtyping Lightning Talk: Formalizing explicit alpha-equivalence Coercive Subtyping for Implicit Functorial Programming
Eijiro SumiiSumii, Eijiro Tohoku UniversityJapan Committee Member in Distinguished Papers Committee for ICFP 2026 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 Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)
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 Session Chair of Afternoon Session 2 (part of LOPSTR+PPDP) Session Chair of Thursday Afternoon Session (part of LOPSTR+PPDP) Session Chair of Morning Session (part of LOPSTR+PPDP) Session Chair of Morning Session (part of LOPSTR+PPDP) Opening Greetings and Announcements (Day 2) Opening Greetings and Announcements (Day 1) Opening Greetings and Announcements (Day 3) Co-chair in Program Committee within the LOPSTR+PPDP-track Co-chair in Organizing Committee within the LOPSTR+PPDP-track
T Yui TamuraTamura, Yui Ochanomizu University A Typed and Unified Reflection for Shift and Shift0
Jun TanTan, Jun IndependentChina Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl) Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl)
Wenhao TangTang, Wenhao The University of EdinburghUnited Kingdom Higher-order fork, modally
Masaya TaniguchiTaniguchi, Masaya RIKEN AIP Xeus-Haskell: Interactive Haskell Computing in the Browser
Éric TanterTanter, Éric University of ChileChile Incremental Property-Based Testing Testing Incomplete Programs in OCaml
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 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
Monte TaylorTaylor, Monte Oscillectics
Stephen A. TaylorTaylor, Stephen A. University of Illinois Urbana-Champaign Sonification as (vs.) Program Music (Keynote)
Samuel TeuberTeuber, Samuel KITGermany Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice 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 Session Chair of Keynote: Lindsey Kuper (part of ICFP Keynotes) Welcome GC report SIGPLAN Achievement Award Most Influential Paper Award: ICFP 2016 Career Pathways in Programming Languages Research
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
Alexis R TudorTudor, Alexis R University of Texas at Dallas Complex Autonomous UAV Task Execution and Decision-Making Using s(CASP)
Vineel TummalaTummala, Vineel Miami University PAARL: An Interactive System for Policy-Aware Planning in Autonomous Agents (System Description)
April TuneTune, April University of Bristol Bimodels and Biorthogonality for Abstract Machines 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-track
Anthony VandikasVandikas, Anthony University of Toronto Compositional Generator Equivalence 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
Dmitri VolkovVolkov, Dmitri Indiana University All for one and none forall: Compiling polymorphic relations without monomorphization Untitled 23
Michael VollmerVollmer, Michael University of KentUnited Kingdom LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory Committee Member in Program Committee within the ICFP SRC-track LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory Functional Programming with Serialized Data Committee Member in Program Committee within the ML Family-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
Peter VuVu, Peter University of Texas at Dallas Complex Autonomous UAV Task Execution and Decision-Making Using s(CASP)
Dimitrios VytiniotisVytiniotis, Dimitrios Google DeepMindUnited Kingdom Committee Member in Program Committee within the ICFP Papers-track
W Philip WadlerWadler, Philip IOG; University of EdinburghUnited Kingdom From Lambda to Ledger: An Architectural Comparison of Plinth and Plutarch
Ben WakefieldWakefield, Ben University of Chicago Self-Tagging Numbers
David WalkerWalker, David Princeton UniversityUnited States Committee Member in Program Committee within the ICFP Papers-track
Claire WangWang, Claire University of Pennsylvania Session Chair of Midday Session (part of FARM) Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 Algorithmic Composition in Prismriver Composition: Building Community with Arts, Math, and Code (Experience Report)
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 Career Pathways in Programming Languages Research Welcome Co-chair in Organizing Committee within the PLMW @ ICFP-track
Michael WeharWehar, Michael Bryn Mawr College Demo: Drawing Algorithms as Modular Objects: A Framework for Procedurally Generated Visual Arts and Music
Stefan WehrWehr, Stefan Offenburg University of Applied SciencesGermany Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective Study
Guannan WeiWei, Guannan Tufts UniversityUnited States Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl) 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 Functional / Logic Programming in Verse What Have We Learned about Dependently Typed Programming from Haskell? (Keynote)
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 Session Chair of Dependent Types and Proof (part of ICFP Papers) A Separation Logic for Parallel Time Complexity with Work and Span Credits Author in Program Committee within the ICFP Papers-track Welcome and Opening Remarks Co-chair in Organizing Committee within the ML Family-track
Leo WhiteWhite, Leo Jane StreetUnited Kingdom A new implementation of Short-paths
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 Misquoted No More: Securely Extracting F* Programs with IO Confluence Techniques for Dependent Type Theory with Typed Conversion Confluence Techniques for Dependent Type Theory with Typed Conversion Misquoted No More: Securely Extracting F* Programs with IO
Falk Woldmann LuWoldmann Lu, Falk Otto GmbH & Co. KGaA Functional State Machines in Rust: Typestate and Newtype Patterns (Experience Report)
Ke WuWu, Ke Johns Hopkins University Coercive Subtyping for Implicit Functorial Programming
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Program Co-Chair in Program Committee within the FUNARCH-track
Shushu WuWu, Shushu Shanghai Jiao Tong University Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl) 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) Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl)
X Yifan XiaoXiao, Yifan Peking UniversityChina 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-track Committee Member in Program Committee within the LOPSTR+PPDP-track Co-chair in Program Committee within the Haskell-track
Chen XuXu, Chen Demo: Drawing Algorithms as Modular Objects: A Framework for Procedurally Generated Visual Arts and Music
Yichen XuXu, Yichen EPFL A Logical Perspective on Capturing Types
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) Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl)
Yafei YangYang, Yafei Indiana University All for one and none forall: Compiling polymorphic relations without monomorphization
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 Session Chair of Morning Session (part of FUNARCH) Session Chair of Morning Session 2 (part of FUNARCH) Session Chair of Afternoon Session (part of FUNARCH) Session Chair of Afternoon Session 2 (part of FUNARCH) Opening greetings Functional Architecture is Algebraic Architecture The Future of FUNARCH (2026 edition) 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 Chair in Distinguished Papers Committee for ICFP 2026 Session Chair of Types, Testing, and Data Structures (part of ICFP Papers) ICFP 2027 announcement 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-track
Zichen ZhangZhang, Zichen New York UniversityUnited States Completeness of Iris-Based Program Logics Completeness of Iris-Based Program Logics
Tian ZhaoZhao, Tian University of Wisconsin-MilwaukeeUnited States StageML: Partial Evaluation for Multi-Tenant MoE-LoRA Inference
Byron ZhongZhong, Byron University of ChicagoUnited States Self-Tagging Numbers
Dinghong ZhongZhong, Dinghong Tufts University Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl) 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
Florian ZulegerZuleger, Florian TU ViennaAustria A Cost-Aware Probability Monad for Liquid Haskell

ICFP 2026 Contributors

Results (496)

Tracks

Workshops

Co-hosted Symposia