ICFP 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (519)

A Ingela A. AndinA. Andin, Ingela Ericsson, SESweden Programme Committee in Program Committee within the Erlang-track
Kyriel AbadAbad, Kyriel National University of Singapore Beyond SICP - Design and Implementation of a Notional Machine for Scheme
Nicolas AbrilAbril, Nicolas Higher Order Company HVM2: Iteraction Combinator Evaluator
Beniamino AccattoliAccattoli, Beniamino Inria & Ecole PolytechniqueFrance PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Michael D. AdamsAdams, Michael D. National University of SingaporeUnited States Session Chair of Haskell 4 (part of Haskell) Committee Member in Program Committee within the Haskell-track
Reynald AffeldtAffeldt, Reynald AIST Mechanized monadic equational reasoning for ML references
Carlos AgonAgon, Carlos IRCAM The Maquette Monad
Alejandro AguirreAguirre, Alejandro Aarhus UniversityDenmark Web Co-Chair in Organizing Committee for ICFP 2024 Almost-Sure Termination by Guarded Refinement Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Almost-Sure Termination by Guarded Refinement Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Adeel AhmadAhmad, Adeel Laboratoire d'Informatique Signal et Image de la Côte d'Opale, ULCO Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States An Incremental Approach to the Semantics of Borrowing
Aurore AlcoleiAlcolei, Aurore INRIA RennesFrance Committee Member in Program Committee within the HOPE-track
Clément AllainAllain, Clément InriaFrance Saturn: a library of verified concurrent data structures for OCaml 5 Snapshottable Stores
Guillaume AllaisAllais, Guillaume University of StrathclydeUnited Kingdom Committee Member in Program Committee within the TyDe-track
David AllsoppAllsopp, David TaridesUnited Kingdom Session Chair of Session 1 (part of ML) First-Class Windows: Building a Roadmap for OCaml on Windows Opam 2.2 and beyond Programme Committee in Program Committee within the ML-track
Sandra AlvesAlves, Sandra University of PortoPortugal Co-chair in Program Committee within the TyDe-track Committee Member in Organising Committee within the TyDe-track
Gianluca AmatoAmato, Gianluca University of Chieti-PescaraItaly Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Nada AminAmin, Nada Harvard UniversityUnited States Committee Member in Program Committee within the FUNARCH-track
Florian AngelettiAngeletti, Florian Inria Structured diagnostics for the OCaml compiler
Carlo AngiuliAngiuli, Carlo Indiana UniversityUnited States Committee Member in Program Committee within the HOPE-track
Tavo AnnusAnnus, Tavo Tallinn University of Technology Term Search in Rust
Emmanuel ArrighiArrighi, Emmanuel Ens LyonFrance Light-speed type unification modulo isomorphisms
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan PC Member in Program Committee within the FARM-track
George AshAsh, George None Trane: Musical Janet on the Web
Robert AtkeyAtkey, Robert University of Strathclyde Committee Member in Program Committee within the TyDe-track PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Duncan Paul AttardAttard, Duncan Paul University of GlasgowUnited Kingdom Programme Committee in Program Committee within the Erlang-track
Lennart AugustssonAugustsson, Lennart Epic Games MicroHs - A Small Compiler for Haskell
Ambre Austen SuhamyAusten Suhamy, Ambre TaridesFrance Session Chair of OCaml 5: progress in the multicore world (part of OCaml)
Bereket Shimels AyeleAyele, Bereket Shimels Addis Ababa Institute of TechnologyEthiopia Synchronous Programming with Refinement Types Synchronous Programming with Refinement Types
B Casper BachBach, Casper University of Southern DenmarkDenmark Modal Mu-Calculus for Free in Agda
Thomas BAGRELBAGREL, Thomas Tweag, LORIA/INRIA [HIW] A zero-copy interface to compact regions powered by destinations
Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Session Chair of Algebraic and Computational Effects (part of ICFP Papers and Events) Calculating Compilers Effectively Beyond Trees: Calculating Graph-Based Compilers Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl) Committee Member in Program Committee within the HOPE-track PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Alexander BaiBai, Alexander Tufts University Video Co-Chair in Organizing Committee for ICFP 2024
Arnaud BaillyBailly, Arnaud IOHKFrance Applying Continuous Formal Methods to Cardano
Patrycja BalikBalik, Patrycja University of Wrocław Logical Relations for Effect Capabilities Fram: Named Parameters Pushed to the Limit
Michael BallantyneBallantyne, Michael Northeastern UniversityUnited States Hosted miniKanren: Reconciling Optimizing Compilation and Extensibility Compiled, Extensible, Multi-language DSLs (Functional Pearl)
Ajay BansalBansal, Ajay Arizona State University To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision Improving stableKanren’s Backward Compatibility
Mark BarboneBarbone, Mark University of California at San DiegoUnited States CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs
Lee BarneyBarney, Lee Brigham Young University-Idaho Unsafe Impedance: safe languages and safe by design software
Aurèle BarrièreBarrière, Aurèle EPFLSwitzerland A Coq Mechanization of JavaScript Regular Expression Semantics A Coq Mechanization of JavaScript Regular Expression Semantics
Thaïs BaudonBaudon, Thaïs ENS de Lyon & LIPFrance Ribbit with Memory Morphisms
Calvin BeckBeck, Calvin University of PennsylvaniaUnited States Accessibility Co-Chair in Organizing Committee for ICFP 2024 A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction A Two-Phase Infinite/Finite Low-Level Memory Model
Bereket Ngussie BekeleBekele, Bereket Ngussie Addis Ababa Institute of TechnologyEthiopia Synchronous Programming with Refinement Types Synchronous Programming with Refinement Types
Julia BelyakovaBelyakova, Julia Purdue UniversityUnited States Committee Member in Program Committee within the Scheme-track Committee Member in Program Committee within the TyDe-track
Clara Benac EarleBenac Earle, Clara Universidad Politécnica de MadridSpain Controlled Scheduling of Concurrent Elixir Programs
Florian BergerBerger, Florian University of Kaiserslautern-LandauGermany Same same but different: A Comparative Analysis of Static Type Checkers in Erlang
Annette BieniusaBieniusa, Annette University of Kaiserslautern-LandauGermany Erla+: Translating TLA+ Models into Executable Actor-Based Implementations Same same but different: A Comparative Analysis of Static Type Checkers in Erlang Programme Committee in Program Committee within the Erlang-track Committee Member in Program Committee within the FUNARCH-track
David BinderBinder, David University of TübingenGermany Functional Pearl: Grokking the Sequent Calculus Grokking the Sequent Calculus (Functional Pearl) Committee Member in Program Committee within the HIW-track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Almost-Sure Termination by Guarded Refinement Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Almost-Sure Termination by Guarded Refinement Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Roberto BlancoBlanco, Roberto Max Planck Institute for Security and Privacy (MPI-SP) Committee Member in Program Committee within the OCaml-track
Laura BocchiBocchi, Laura University of KentUnited Kingdom Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors Programme Committee in Program Committee within the Erlang-track
Mathieu BoespflugBoespflug, Mathieu Tweag I/OFrance Industrial Relations Co-Chair in Organizing Committee for ICFP 2024
Enrico Zandomeni BorbaBorba, Enrico Zandomeni Higher Order Company HVM2: Iteraction Combinator Evaluator
Raja BoujbelBoujbel, Raja OCamlProFrance Opam 2.2 and beyond
Dmitri BoulytchevBoulytchev, Dmitri Saint Petersburg State UniversityRussia A Relational Solver for Constraint-based Type Inference Committee Member in Program Committee within the miniKanren-track
Thomas BourgeatBourgeat, Thomas EPFLSwitzerland Welcome Organizer in Organizing Committee within the PLMW @ ICFP-track
Pierre BoutillierBoutillier, Pierre None First-Class Windows: Building a Roadmap for OCaml on Windows
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany Committee Member in Program Committee within the ICFP Student Research Competition-track
Edwin BradyBrady, Edwin University of St Andrews, UKUnited Kingdom Type-level Property Based Testing
Jeroen BransenBransen, Jeroen Utrecht University Programming Contest Co-Organiser in Organizing Committee for ICFP 2024
Joachim BreitnerBreitner, Joachim Lean FRO, LLCGermany Committee Member in Program Committee within the Haskell-track
Niels BunkenburgBunkenburg, Niels University of Kiel, GermanyGermany Making a Curry Interpreter using Effects and Handlers
Denis BuzdalovBuzdalov, Denis Institute for System Programming of RAS Dependent Types to Push Corners of the Property-based Testing (Extended Abstract)
C Romain CalascibettaCalascibetta, Romain robur.coopFrance B · o · B, a universal & secure file-transfer software in OCaml
Jose CalderonCalderon, Jose Galois, Inc.United States PC Member in Program Committee within the FARM-track
Teofil CamarasuCamarasu, Teofil CircuitHubUnited Kingdom Committee Member in Program Committee within the HIW-track
Brian CampbellCampbell, Brian University of Edinburgh Effectful Assembly Programming with AsmFX
Benjamin CanouCanou, Benjamin None First-Class Windows: Building a Roadmap for OCaml on Windows
Jacques CaretteCarette, Jacques McMaster UniversityCanada How to Bake a Quantum Π How to Bake a Quantum $\Pi$ PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Luca CarilloCarillo, Luca Conservatorio A. Vivaldi Alessandria WAYA
Francisco Javier Grecco CarmanCarman, Francisco Javier Grecco HVM2: Iteraction Combinator Evaluator
Zachery CaseyCasey, Zachery Student Volunteer Co-Chair in Organizing Committee for ICFP 2024
Chris CasinghinoCasinghino, Chris Jane Street Labeled Tuples (Informed Position) Flambda2 Validator
Laura M. CastroCastro, Laura M. University of A CoruñaSpain Elixir-powered Low-income Animal Shelter Support: an Experience Report from Conception to Production PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Pierre ChambartChambart, Pierre OCamlPRO Session Chair of OCaml ecosystem and applications (part of OCaml)
James ChapmanChapman, James Input Output Applying Continuous Formal Methods to Cardano
Arthur CharguéraudCharguéraud, Arthur Inria; Université de Strasbourg; CNRS; ICubeFrance PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Hanxi ChenChen, Hanxi University of PennsylvaniaUnited States A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction A Two-Phase Infinite/Finite Low-Level Memory Model
Jiawei ChenChen, Jiawei University of Michigan at Ann ArborUnited States Synchronous Programming with Refinement Types Synchronous Programming with Refinement Types
Liang-Ting ChenChen, Liang-Ting Academia SinicaTaiwan Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the ICFP Student Research Competition-track
Lin ChenChen, Lin Nanjing UniversityChina Static Blame for gradual typing
Yijia ChenChen, Yijia Hong Kong University of Science and TechnologyChina The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures (Artifact)
James CheneyCheney, James University of EdinburghUnited Kingdom PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Tsung-Ju ChiangChiang, Tsung-Ju University of TorontoCanada Staged Compilation with Module Functors
Wei-Ngan ChinChin, Wei-Ngan National University of SingaporeSingapore Specification and Verification for Unrestricted Algebraic Effects and Handling Specification and Verification for Unrestricted Algebraic Effects and Handling
Lawrence ChonavelChonavel, Lawrence Utrecht University Typed, Concise, Nanopass (pick 3) (Extended Abstract)
David Thrane ChristiansenChristiansen, David Thrane Lean FRO, LLCDenmark PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Koen ClaessenClaessen, Koen Chalmers University of TechnologySweden Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
Koen ClaessenClaessen, Koen Epic Games Committee Member in Program Committee within the Haskell-track
Koen ClaessenClaessen, Koen Chalmers University of TechnologySweden PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Basile ClémentClément, Basile OCamlProFrance Snapshottable Stores
Jesper CockxCockx, Jesper Delft University of TechnologyNetherlands Co-chair in Program Committee within the TyDe-track Committee Member in Organising Committee within the TyDe-track
Joshua M. CohenCohen, Joshua M. Princeton University Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Nicholas ColtharpColtharp, Nicholas Portland State UniversityUnited States Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Committee Member in Organizing Committee within the Scheme-track
Sidney CongardCongard, Sidney Towards a linear functional translation for borrowing
Evelyne ContejeanContejean, Evelyne PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Marcus CrestaniCrestani, Marcus Active Group GmbHGermany Bidirectional Data Transformations
Will CrichtonCrichton, Will Brown UniversityUnited States Committee Member in Program Committee within the FUNARCH-track
Raphaëlle CrubilléCrubillé, Raphaëlle CNRS Amplifying Contextual Distance in Higher-Order Languages, using the Law of Large Numbers
Mario CàllistoCàllisto, Mario NoneItaly Bridging art and mathematics with Tessella: a Scala functional library for regular polygon finite tessellations of a plane
D Luis Eduardo Bueso de Barriode Barrio, Luis Eduardo Bueso Universidad Politécnica de MadridSpain Controlled Scheduling of Concurrent Elixir Programs
Markus de Medeirosde Medeiros, Markus New York UniversityUnited States Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
José Luiz Vargas de Mendonçade Mendonça, José Luiz Vargas University of Michigan at Ann ArborUnited States Synchronous Programming with Refinement Types Synchronous Programming with Refinement Types
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts Blame-correct Support for Receiver Properties in Recursively-Structured Actor Contracts
Noé De SantoDe Santo, Noé EPFLSwitzerland A Coq Mechanization of JavaScript Regular Expression Semantics A Coq Mechanization of JavaScript Regular Expression Semantics
Christophe De TroyerDe Troyer, Christophe Vrije Universiteit Brussel The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
Ivo Gabe de Wolffde Wolff, Ivo Gabe Utrecht University Fusing Gathers with Integer Linear Programming
Abigael DecorneDecorne, Abigael Committee Member in Program Committee within the OCaml-track
Radhakrishnan DelhibabuDelhibabu, Radhakrishnan Vellore Institute of TechnologyIndia Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Kate DeplaixDeplaix, Kate Consultant for the OCaml Software Foundation and AhrefsUnited Kingdom Opam 2.2 and beyond Committee Member in Program Committee within the OCaml-track
Atze DijkstraDijkstra, Atze Standard Chartered BankUnited Kingdom Functional Programming in Financial Markets (Experience Report)
Stephen DolanDolan, Stephen Jane StreetUnited Kingdom Session Chair of OCaml compiler features and optimizations (part of OCaml) Designing interrupts for ML and OCaml Rethinking the Value Restriction Oxidizing OCaml with Modal Memory Management
Eridan DomoratskiyDomoratskiy, Eridan ITMO University A Relational Solver for Constraint-based Type Inference
Facundo DomínguezDomínguez, Facundo TweagUruguay Committee Member in Program Committee within the FUNARCH-track Committee Member in Program Committee within the FUNARCH-track
Evan DonahueDonahue, Evan University of TokyoJapan Relational Reactive Programming: miniKanren for the Web
Paul DownenDownen, Paul University of Massachusetts at LowellUnited States Session Chair of Haskell 3 (part of Haskell) Call-by-Unboxed-Value Committee Member in Program Committee within the Haskell-track
Wenke DUDU, Wenke LIP ENS Lyon Distributed Actors in OCaml
Zubin DuggalDuggal, Zubin Well-Typed LLP [HIW] Analysing the heap of uninstrumented Haskell programs using ghc-debug Day Organiser in Program Committee within the HIW-track
E Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States Session Chair of Meta-Programming, Staging, Generic Programming, Partial Evaluation (part of ICFP Papers and Events) A Non-allocating Option Oxidizing OCaml with Modal Memory Management Committee Member in Program Committee within the FUNARCH-track PC Member in ICFP Papers and Events within the ICFP Papers and Events-track Committee Member in Program Committee within the OCaml-track
Martin ElsmanElsman, Martin University of CopenhagenDenmark Session Chair of Session 2 (part of ML) Double-Ended Bit-Stealing for Algebraic Data Types Double-Ended Bit-Stealing for Algebraic Data Types Committee Member in Program Committee within the FUNARCH-track PC Member in ICFP Papers and Events within the ICFP Papers and Events-track Programme Committee in Program Committee within the ML-track
Joseph EremondiEremondi, Joseph University of ReginaCanada Committee Member in Program Committee within the TyDe-track
Lucas EscotEscot, Lucas TU Delft Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Guilherme EspadaEspada, Guilherme LASIGE, University of LisbonPortugal Video Co-Chair in Organizing Committee for ICFP 2024
Marc EtterEtter, Marc OST Eastern Switzerland University of Applied SciencesSwitzerland Towards Type-Directed API Search for Mainstream Languages
Jason EvansEvans, Jason BranchTaken LLC Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
F Axel FaesFaes, Axel Committee Member in Program Committee within the ICFP Student Research Competition-track
Parisa FathololumiFathololumi, Parisa Stevens Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Matthias FelleisenFelleisen, Matthias Northeastern UniversityUnited States Trace contracts
Amy FeltyFelty, Amy University of OttawaCanada Committee Member in Program Committee within the TyDe-track
Kiko Fernandez-ReyesFernandez-Reyes, Kiko Ericsson, SwedenSweden Session Chair of Welcome & Keynote (part of Erlang) Welcome to the Erlang Workshop Nominal Types for Erlang Co-chair in Organizing Committee within the Erlang-track Committee Member in Program Committee within the FUNARCH-track
Patrick FerrisFerris, Patrick University of Cambridge, UKUnited Kingdom Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States Session Chair of Session 3 (part of Scheme) The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl) The Functional, the Imperative, and the Sudoku (artifact)
Matthew FlattFlatt, Matthew University of UtahUnited States Committee Member in Program Committee within the FUNARCH-track
Matthew FluetFluet, Matthew Rochester Institute of TechnologyUnited States Committee Member in Program Committee within the ML-track
Darius FooFoo, Darius National University of SingaporeSingapore Specification and Verification for Unrestricted Algebraic Effects and Handling Specification and Verification for Unrestricted Algebraic Effects and Handling
Yannick ForsterForster, Yannick InriaFrance Workshops Co-Chair in Organizing Committee for ICFP 2024 Self-verification for Proof Assistants Co-chair in Tutorial Selection Committee within the ICFP Tutorials-track Committee Member in Workshop Selection Committee within the ICFP Workshops-track
Jessica FosterFoster, Jessica University of BristolUnited Kingdom Video Co-Chair in Organizing Committee for ICFP 2024
Lars-Ake FredlundFredlund, Lars-Ake Programme Committee in Program Committee within the Erlang-track
Lars-Åke FredlundFredlund, Lars-Åke Universidad Politécnica de MadridSpain Controlled Scheduling of Concurrent Elixir Programs
Daniel FriedmanFriedman, Daniel Indiana University F3: A Compiler For Feature Engineering
Samantha FrohlichFrohlich, Samantha University of BristolUnited Kingdom Getting the Most Out of ICFP Research, Grad School, Community - Let's chat!
Aymeric FromherzFromherz, Aymeric InriaFrance Programming Contest Co-Organiser in Organizing Committee for ICFP 2024 Research, Grad School, Community - Let's chat! Sound Borrow-Checking for Rust via Symbolic Semantics Sound Borrow-Checking for Rust via Symbolic Semantics
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States General Chair in Organizing Committee for ICFP 2024 Session Chair of Business Meeting (part of ICFP Papers and Events) Session Chair of Memorial for D. Turner & Arvind (part of ICFP Papers and Events) ICFP 2014 Most Influential Paper Award General Chair report Committee Member in Workshop Selection Committee within the ICFP Workshops-track
Vivien GACHETGACHET, Vivien LIP, Lyon, France Tail Modulo Async/Await
Michal Jan GajdaGajda, Michal Jan Migamake Pte Ltd Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Michael GaleGale, Michael GitHubUnited Kingdom Functional Reactive Programming, Rearranged
Mitch GamburgGamburg, Mitch UnaffiliatedUnited States Compiled, Extensible, Multi-language DSLs (Functional Pearl)
Zac GarbyGarby, Zac University of NottinghamUnited Kingdom Calculating Compilers Effectively
Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan Session Chair of Separation Logic (part of ICFP Papers and Events) Mechanized monadic equational reasoning for ML references PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Francesco GavazzoGavazzo, Francesco University of Pisa, ItalyItaly PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Jared GentnerGentner, Jared None Demo: Composable Compositions in Tonart
Kimball GermaneGermane, Kimball Brigham Young UniversityUnited States Committee Member in Program Committee within the Scheme-track
Olek GierczakGierczak, Olek Northeastern University An Incremental Approach to the Semantics of Borrowing
Aditya GiridharanGiridharan, Aditya University of California at San DiegoUnited States CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs
Marco GIUNTIGIUNTI, Marco University of Oxford Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the miniKanren-track
Panicz GodekGodek, Panicz NonePoland An Implementation of a Visual Stepper in the GRASP Programming System
Harrison GoldsteinGoldstein, Harrison University of Maryland College ParkUnited States My PhD Compass: 6 Ways to Guide a PhD Towards Success Mica: Automated Differential Testing for OCaml Modules
Hannah GommerstadtGommerstadt, Hannah Vassar College Committee Member in Program Committee within the Haskell-track
Laure GonnordGonnord, Laure Université Grenoble-Alpes - Grenoble INP - LCISFrance Ribbit with Memory Morphisms Abstract Interpreters: a Monadic Approach to Modular Verification Abstract Interpreters: A Monadic Approach to Modular Verification
Gabriella GonzalezGonzalez, Gabriella Mercury TechnologiesUnited States Committee Member in Program Committee within the HIW-track
Lourdes del Carmen González-HuescaGonzález-Huesca, Lourdes del Carmen National Autonomous University of MexicoMexico Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
April GonçalvesGonçalves, April University of Strathclyde Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Andrew D. GordonGordon, Andrew D. Cogna and University of EdinburghUnited Kingdom Requirements are All You Need
Eva GraversenGraversen, Eva University of Southern Denmark Alice or Bob?: Process polymorphism in choreographies
Simon Oddershede GregersenGregersen, Simon Oddershede New York UniversityUnited States Almost-Sure Termination by Guarded Refinement Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Almost-Sure Termination by Guarded Refinement Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Junhua GuGu, Junhua MetaUnited States F3: A Compiler For Feature Engineering
Xiangyu GuoGuo, Xiangyu Arizona State University To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision Improving stableKanren’s Backward Compatibility
Armaël GuéneauGuéneau, Armaël Inria Saclay - LMFFrance Committee Member in Program Committee within the HOPE-track Co-chair in Program Committee within the OCaml-track
Ulysse GérardGérard, Ulysse Tarides Project-wide occurrences for OCaml, a progress report
Xavier GóngoraGóngora, Xavier Universidad Nacional Autónoma de MéxicoMexico Demo: A Geometric Approach to Generate Musical Rhythmic Patterns in Haskell
H Karim HaddadHaddad, Karim IRCAM The Maquette Monad
Kerry HaganHagan, Kerry University of Illinois, Urbana-ChampaignUnited States PC Member in Program Committee within the FARM-track
Samuel HammersbergHammersberg, Samuel Gothenburg University Welcome to the Parti(tioning) (Functional Pearl)
Thomas Ekström HansenHansen, Thomas Ekström University of St AndrewsUnited Kingdom Type-level Property Based Testing
Philipp G. HaselwarterHaselwarter, Philipp G. Aarhus UniversityDenmark Almost-Sure Termination by Guarded Refinement Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Almost-Sure Termination by Guarded Refinement Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Shideh HashemianHashemian, Shideh University of EdinburghUnited Kingdom Functional Sparse Tensor Compilation
Bastiaan HeerenHeeren, Bastiaan Open UniversiteitNetherlands Example-Based Reasoning about the Realizability of Polymorphic Programs Example-Based Reasoning About the Realizability of Polymorphic Programs
Sonja HeinzeHeinze, Sonja TaridesSpain Committee Member in Program Committee within the ML-track Co-chair in Program Committee within the OCaml-track
Jason HemannHemann, Jason Seton Hall UniversityUnited States Tutorial on Program Transformations Challenges in the Design and Implementation of Teaching Languages for EDSLs Six Ways to Implement Divisibility by Three in miniKanren Compiled, Extensible, Multi-language DSLs (Functional Pearl) Committee Member in Program Committee within the miniKanren-track
Troels HenriksenHenriksen, Troels University of CopenhagenDenmark A comparison of OpenCL, CUDA, and HIP as compilation targets for a functional array language Program Chair in Program Committee within the ML-track Committee Member in Program Committee within the OCaml-track PC Member in Program Committee within the FProPer-track
Ludovic HenrioHenrio, Ludovic University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIPFrance Tail Modulo Async/Await Distributed Actors in OCaml
Sylvain HenryHenry, Sylvain Committee Member in Program Committee within the HIW-track
Martin HenzHenz, Martin National University of SingaporeSingapore Beyond SICP - Design and Implementation of a Notional Machine for Scheme
Ángel HerranzHerranz, Ángel Universidad Politécnica de MadridSpain Controlled Scheduling of Concurrent Elixir Programs
Andreas HerrmannHerrmann, Andreas Tweag by Modus CreateSwitzerland [HIW] Building Haskell with Buck2
Chris HeunenHeunen, Chris University of EdinburghUnited Kingdom How to Bake a Quantum Π How to Bake a Quantum $\Pi$
Hugo HeuzardHeuzard, Hugo Committee Member in Program Committee within the OCaml-track
Kesha HietalaHietala, Kesha Amazon Web ServicesUnited States PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Ralf HinzeHinze, Ralf Technische Universität Kaiserslautern PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Andrew K. HirschHirsch, Andrew K. University at Buffalo, SUNYUnited States Alice or Bob?: Process polymorphism in choreographies
Son HoHo, Son InriaFrance Sound Borrow-Checking for Rust via Symbolic Semantics Aeneas, a framework to verify safe Rust programs Sound Borrow-Checking for Rust via Symbolic Semantics Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Dániel HorpácsiHorpácsi, Dániel Eötvös Loránd UniversityHungary Is this really a refactoring? Automated equivalence checking for Erlang projects
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of MinnesotaUnited States Student Research Competition Co-Chair in Organizing Committee for ICFP 2024 SRC Awards Co-chair in Program Committee within the ICFP Student Research Competition-track
Marian HristovHristov, Marian University of Kaiserslautern-LandauGermany Erla+: Translating TLA+ Models into Executable Actor-Based Implementations
Jason Z.S. HuHu, Jason Z.S. McGill UniversityCanada Normalization by evaluation for modal dependent type theory
Raymond HuHu, Raymond Queen Mary University of LondonUnited Kingdom Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Contract Lenses: Reasoning about Bidirectional Programs via Calculation
Isabell HuangHuang, Isabell Nominal Types for Erlang
Graham HuttonHutton, Graham University of NottinghamUnited Kingdom Calculating Compilers Effectively Beyond Trees: Calculating Graph-Based Compilers Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl)
John HögbergHögberg, John Modeling Erlang Compiler IR as SMT Formulas Nominal Types for Erlang
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Abstracting Effect Systems for Algebraic Effect Handlers
Yuka IkarashiIkarashi, Yuka Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Laura IsraelIsrael, Laura Portland State UniversityUnited States Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
Shachar ItzhakyItzhaky, Shachar TechnionIsrael CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs
Hideya IwasakiIwasaki, Hideya Meiji University Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
J Guilhem JaberJaber, Guilhem Nantes UniversitéFrance Program Co-Chair in Program Committee within the HOPE-track
Jules JacobsJacobs, Jules Cornell University Web Co-Chair in Organizing Committee for ICFP 2024 Committee Member in Program Committee within the HOPE-track
Shayan JaliliJalili, Shayan University of Michigan at Ann ArborUnited States Synchronous Programming with Refinement Types Synchronous Programming with Refinement Types
Dustin JamnerJamner, Dustin MIT CSAIL Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Junyoung JangJang, Junyoung McGill UniversityCanada Normalization by evaluation for modal dependent type theory
Julia JanssonJansson, Julia Level-p-complexity of Boolean functions using thinning, memoization, and polynomials
Patrik JanssonJansson, Patrik Chalmers University of Technology and University of GothenbrugSweden Level-p-complexity of Boolean functions using thinning, memoization, and polynomials Committee Member in Program Committee within the TyDe-track
Jean-Baptiste JeanninJeannin, Jean-Baptiste University of Michigan at Ann ArborUnited States Synchronous Programming with Refinement Types Synchronous Programming with Refinement Types
Thomas P. JensenJensen, Thomas P. INRIA Rennes PC Chair in ICFP Papers and Events within the ICFP Papers and Events-track
Johan JeuringJeuring, Johan Utrecht UniversityNetherlands Example-Based Reasoning about the Realizability of Polymorphic Programs Example-Based Reasoning About the Realizability of Polymorphic Programs
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Ruyi JiJi, Ruyi Peking UniversityChina CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs
Songlin JiaJia, Songlin Purdue University, USAUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Patricia JohannJohann, Patricia Appalachian State University PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Daniel D. JohnsonJohnson, Daniel D. University of Toronto; Google DeepMindCanada Parallel Algebraic Effect Handlers
Philipp JoramJoram, Philipp Tallinn University of TechnologyEstonia Term Search in Rust
Sára JuhošováJuhošová, Sára Delft University of TechnologyNetherlands How Novices Perceive Interactive Theorem Provers (Extended Abstract)
Saša JurićJurić, Saša Croatia Programme Committee in Program Committee within the Erlang-track
K Robin KaarsgaardKaarsgaard, Robin University of Southern DenmarkDenmark How to Bake a Quantum Π How to Bake a Quantum $\Pi$
Adharsh KamathKamath, Adharsh Microsoft ResearchIndia Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Committee Member in Program Committee within the TyDe-track
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Paella: algebraic effects with parameters and their handlers First-class Algebraic Presentations with Elaborator Reflection (Extended Abstract)
Vesa KarvonenKarvonen, Vesa Tarides Picos — Interoperable effects based concurrency Saturn: a library of verified concurrent data structures for OCaml 5
Marc KaufmanKaufman, Marc Central European UniversityAustria Continuations: what have they ever done for us?
Hideyuki KawabataKawabata, Hideyuki Hiroshima City University Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
Finnbar KeatingKeating, Finnbar University of WarwickUnited Kingdom Functional Reactive Programming, Rearranged
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Fusing Gathers with Integer Linear Programming Types for correctness, convenience, and performance Associate Chair in ICFP Papers and Events within the ICFP Papers and Events-track PC Member in Program Committee within the FProPer-track
Andrew KennedyKennedy, Andrew Facebook LondonUnited Kingdom Session Chair of Wednesday keynote (part of ICFP Papers and Events) PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Ian-Woo KimKim, Ian-Woo Mercury Technologies, Inc [HIW] Thrive with HEAD - How to adopt innovation from GHC HEAD timely in industrial scale
Oleg KiselyovKiselyov, Oleg Tohoku UniversityJapan PC Member in Program Committee within the FProPer-track
Åsmund Aqissiaq Arild KløvstadKløvstad, Åsmund Aqissiaq Arild University of Oslo (UiO) Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Edward KmettKmett, Edward Committee Member in Program Committee within the Haskell-track
Wen KokkeKokke, Wen University of Edinburgh Committee Member in Program Committee within the ICFP Student Research Competition-track
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom Committee Member in Program Committee within the Haskell-track PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Tsuneyasu KomiyaKomiya, Tsuneyasu The University of Electro-CommunicationsJapan Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
Chaitanya S. KoparkarKoparkar, Chaitanya S. The MathWorks, Inc.United States PC Member in Program Committee within the FProPer-track
Joomy KorkutKorkut, Joomy Bloomberg LPUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
András KovácsKovács, András University of GothenburgSweden Closure-Free Functional Programming in a Two-Level Type Theory Closure-Free Functional Programming in a Two-Level Type Theory
Maite KramarzKramarz, Maite University of TorontoCanada Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom Session Chair of Thursday keynote (part of ICFP Papers and Events) Associate Chair in ICFP Papers and Events within the ICFP Papers and Events-track Associate Chair in ICFP Papers and Events within the ICFP Papers and Events-track
Robert KrookKrook, Robert Chalmers University of Technology, Sweden Welcome to the Parti(tioning) (Functional Pearl)
Nikolai KudasovKudasov, Nikolai Innopolis UniversityRussia typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Satoshi KuraKura, Satoshi Waseda UniversityJapan Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
Cole KurashigeKurashige, Cole University of California at San DiegoUnited States CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs
L Julia LawallLawall, Julia InriaFrance Programme Committee in Program Committee within the ML-track
Dongjae LeeLee, Dongjae Seoul National UniversitySouth Korea Refinement Composition Logic
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Diversity and Inclusion Chair in Organizing Committee for ICFP 2024 PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
John LeoLeo, John Halfaya ResearchUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Rodolphe LepigreLepigre, Rodolphe BedRock SystemsGermany Committee Member in Program Committee within the HOPE-track
Dorian LesbreLesbre, Dorian CEA ListFrance Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Rebekah Leslie-HurdLeslie-Hurd, Rebekah Rain AIUnited States Committee Member in Program Committee within the Haskell-track
John LiLi, John Northeastern University An Incremental Approach to the Semantics of Borrowing
Kwing Hei LiLi, Kwing Hei Aarhus UniversityDenmark Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Solaris LiLi, Solaris University of Glasgow The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
Yanhui LiLi, Yanhui Nanjing UniversityChina Static Blame for gradual typing
Yao LiLi, Yao Portland State UniversityUnited States Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
Daniel R. LicataLicata, Daniel R. Wesleyan UniversityUnited States PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom Research, Grad School, Community - Let's chat! Effectful Assembly Programming with AsmFX The functioning of ICFP Oxidizing OCaml with Modal Memory Management
Rocky LiuLiu, Rocky MetaUnited States F3: A Compiler For Feature Engineering
Alvaro Lopez DuarteLopez Duarte, Alvaro University of California Riverside A Progressive-Adaptive Music Generator (PAMG): An Approach to Interactive Procedural Music for Videogames
Anton LorenzenLorenzen, Anton University of EdinburghUnited Kingdom Oxidizing OCaml with Modal Memory Management
Mart LubbersLubbers, Mart Radboud University Nijmegen The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
M Weixi MaMa, Weixi MetaUnited States F3: A Compiler For Feature Engineering Committee Member in Program Committee within the miniKanren-track
Dougal MaclaurinMaclaurin, Dougal Google DeepMindUnited States Parallel Algebraic Effect Handlers
Eduardo MadeiraMadeira, Eduardo LASIGE, University of LisbonPortugal Video Co-Chair in Organizing Committee for ICFP 2024
Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge, UKUnited Kingdom Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Programme Committee in Program Committee within the ML-track
José Pedro MagalhãesMagalhães, José Pedro Standard Chartered BankUnited Kingdom Functional Programming in Financial Markets (Experience Report)
Kenji MaillardMaillard, Kenji InriaFrance Session Chair of Logical Foundations (part of ICFP Papers and Events) Gradual Indexed Inductive Types PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Mara Malewski CorreaMalewski Correa, Mara University of ChileChile Gradual Indexed Inductive Types
Madeleine MalmstenMalmsten, Madeleine Germany (Keynote) Environmentally sustainable software and data architectures
Yoni MaltsmanMaltsman, Yoni Harvey Mudd College Functional Curves and Surfaces: Algebraic Geometry Inspired Visuals in Hydra Hydra FCS: A Performance
Davide MancinoMancino, Davide University of Milano-BicoccaItaly Student Volunteer Co-Chair in Organizing Committee for ICFP 2024
Houssein MansourMansour, Houssein Aix-Marseille Université Amplifying Contextual Distance in Higher-Order Languages, using the Law of Large Numbers
Julio MariñoMariño, Julio Universidad Politécnica de MadridSpain Controlled Scheduling of Concurrent Elixir Programs
Simon MarlowMarlow, Simon MetaUnited Kingdom Session Chair of Haskell 5 (part of Haskell) Committee Member in Program Committee within the Haskell-track
Rodrigo MarquesMarques, Rodrigo Universidade do PortoPortugal Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
Brianna MarshallMarshall, Brianna Northeastern University An Incremental Approach to the Semantics of Borrowing
Cristina MatacheMatache, Cristina University of Edinburgh Paella: algebraic effects with parameters and their handlers
Cristina MatacheMatache, Cristina Committee Member in Program Committee within the ICFP Student Research Competition-track
Conor McBrideMcBride, Conor University of Strathclyde Paella: algebraic effects with parameters and their handlers
Jay McCarthyMcCarthy, Jay ReachUnited States PC Member in Program Committee within the FARM-track
Trevor L. McDonellMcDonell, Trevor L. Utrecht UniversityNetherlands Fusing Gathers with Integer Linear Programming
Alex McLeanMcLean, Alex Then Try ThisUnited Kingdom Live Coding Konnakol From Konnakol to Live Coding
Farhad MehtaMehta, Farhad OST Eastern Switzerland University of Applied Sciences Towards Type-Directed API Search for Mainstream Languages
Farhad MehtaMehta, Farhad OST – Eastern Switzerland University of Applied Sciences Using Functional Reactive Programming for Robotic Art
Orestis MelkonianMelkonian, Orestis Input Output Global (IOG/IOHK)United Kingdom Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Guillaume MelquiondMelquiond, Guillaume Université Paris-Saclay - CNRS - ENS Paris-Saclay - InriaFrance A Safe Low-level Language for Computer Algebra and its Formally Verified Compiler A Safe Low-Level Language for Computer Algebra and Its Formally Verified Compiler
Sébastien MichellandMichelland, Sébastien Université Grenoble-Alpes - Grenoble INP - LCISFrance Abstract Interpreters: a Monadic Approach to Modular Verification Abstract Interpreters: A Monadic Approach to Modular Verification
Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States Session Chair of Session 4 (part of Scheme) High-Performance Logic Programming on Servers, Clusters, and GPUs Committee Member in Organizing Committee within the Scheme-track
Mae MilanoMilano, Mae Princeton UniversityUnited States Session Chair of Livecoding and Semantics (part of FARM) Welcome to FARM! PC Chair in Program Committee within the FARM-track General Chair in Organizing Committee within the FARM-track
Alexandre MoineMoine, Alexandre InriaFrance Snapshottable Stores
Stefan MonnierMonnier, Stefan Université de MontréalCanada Session Chair of Memory Models / Memory Management / Low-Level Languages (part of ICFP Papers and Events) Normalizable types PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Benoît MontaguMontagu, Benoît InriaFrance Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2024 Artifact Evaluation Co-Chair in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Antonio MonteiroMonteiro, Antonio NoneUnited States Committee Member in Program Committee within the OCaml-track
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark Alice or Bob?: Process polymorphism in choreographies
Josué MoreauMoreau, Josué Université Paris-Saclay - CNRS - ENS Paris-Saclay - InriaFrance A Safe Low-level Language for Computer Algebra and its Formally Verified Compiler A Safe Low-Level Language for Computer Algebra and Its Formally Verified Compiler
Carine MorelMorel, Carine TaridesFrance Saturn: a library of verified concurrent data structures for OCaml 5 Committee Member in Program Committee within the OCaml-track
J. Garrett MorrisMorris, J. Garrett University of IowaUnited States Student Research Competition Co-Chair in Organizing Committee for ICFP 2024 Session Chair of Lightning talks / Chairs' report (part of Haskell) Session Chair of Haskell: Keynote 1 (part of Haskell) Session Chair of Haskell 2 (part of Haskell) Session Chair of Haskell: Keynote 2 (part of Haskell) Welcome Lightning talks II / Chairs' report / Future of HS discussion SRC Awards Co-chair in Program Committee within the Haskell-track Co-chair in Program Committee within the ICFP Student Research Competition-track
Cameron MoyMoy, Cameron Northeastern UniversityUnited States A Teaching Language for Specification Trace contracts Knuth–Morris–Pratt illustrated (JFP Functional Pearls )
Shin-Cheng MuMu, Shin-Cheng Academia Sinica, TaiwanTaiwan PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Niek MullenersMulleners, Niek Utrecht UniversityNetherlands Example-Based Reasoning about the Realizability of Polymorphic Programs Example-Based Reasoning About the Realizability of Polymorphic Programs
Stefan K. MullerMuller, Stefan K. Illinois Institute of TechnologyUnited States Session Chair of Icebreaker and Getting the Most Out of ICFP (part of PLMW @ ICFP) Session Chair of Panel and Speed Mentoring (part of PLMW @ ICFP) Welcome Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCaml Organization Co-chair in Organizing Committee within the PLMW @ ICFP-track
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume INRIAFrance Session Chair of Session 3 (part of ML) Is there a use for linear types? Designing interrupts for ML and OCaml Programme Committee in Program Committee within the ML-track
Rasmus Ejlers MøgelbergMøgelberg, Rasmus Ejlers IT University of CopenhagenDenmark An introduction to synthetic guarded domain theory with applications to probabilistic programming languages Keynote Speaker in Keynote Speaker within the HOPE-track
Marius MüllerMüller, Marius University of TübingenGermany Functional Pearl: Grokking the Sequent Calculus Grokking the Sequent Calculus (Functional Pearl)
N Ramana NagasamudramNagasamudram, Ramana Stevens Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Chandrakana NandiNandi, Chandrakana CertoraUnited States Workshops Co-Chair in Organizing Committee for ICFP 2024 Co-chair in Tutorial Selection Committee within the ICFP Tutorials-track Committee Member in Workshop Selection Committee within the ICFP Workshops-track
Wojciech NawrockiNawrocki, Wojciech Carnegie Mellon UniversityUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Joseph P. NearNear, Joseph P. University of VermontUnited States Co-chair in Program Committee within the miniKanren-track
Adolfo NetoNeto, Adolfo Federal University of Technology - ParanáBrazil Unsafe Impedance: safe languages and safe by design software
Max S. NewNew, Max S. University of MichiganUnited States Session Chair of Session 1 (part of Scheme) Program Co-Chair in Program Committee within the HOPE-track
Ernest NgNg, Ernest Cornell University Mica: Automated Differential Testing for OCaml Modules
Duc-Than NguyenNguyen, Duc-Than University of Illinois at ChicagoUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Minh NguyenNguyen, Minh University of BristolUnited Kingdom Committee Member in Program Committee within the ICFP Student Research Competition-track
Yuki NishidaNishida, Yuki Tohoku UniversityJapan Committee Member in Program Committee within the Scheme-track Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Massimo NocentiniNocentini, Massimo Committee Member in Program Committee within the miniKanren-track
Daniel NoorNoor, Daniel TechnionIsrael CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs
Pierre NéronNéron, Pierre Standard Chartered BankSingapore Functional Programming in Financial Markets (Experience Report)
O Martin OderskyOdersky, Martin EPFLSwitzerland Capabilities for Control
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina Contextual Typing Contextual Typing
Cyrus OmarOmar, Cyrus University of MichiganUnited States Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads
Dominic OrchardOrchard, Dominic University of Kent; University of CambridgeUnited Kingdom Session Chair of Refinement Types, Type Inference (part of ICFP Papers and Events) From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming for Good On the Operational Theory of the CPS-calculus: Towards a Theoretical Foundation for IRs On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Klaus OstermannOstermann, Klaus University of TübingenGermany Functional Pearl: Grokking the Sequent Calculus Grokking the Sequent Calculus (Functional Pearl)
Scott OwensOwens, Scott University of Kent, UKUnited Kingdom PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
P Luca PadovaniPadovani, Luca University of CamerinoItaly Programme Committee in Program Committee within the Erlang-track
Stefano PanelliPanelli, Stefano Conservatorio A. Vivaldi Alessandria Demo: Functional Sound Design WAYA
Zoe ParaskevopoulouParaskevopoulou, Zoe Ethereum FoundationGreece PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Sudha ParimalaParimala, Sudha TaridesIndia First-Class Windows: Building a Roadmap for OCaml on Windows
Tae Hong ParkPark, Tae Hong Purdue UniversityUnited States Gamyeon III
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures (Artifact)
Adam PaszkePaszke, Adam Google DeepMindGermany Parallel Algebraic Effect Handlers
Jonah PearsPears, Jonah Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Ivan PerezPerez, Ivan NASA Ames Research Center Committee Member in Program Committee within the Haskell-track
Simon Peyton JonesPeyton Jones, Simon Epic Games United Kingdom How to read a research paper State of GHC
Frank PfenningPfenning, Frank Carnegie Mellon University, USA PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Brysen PfingstenPfingsten, Brysen Seton Hall University Six Ways to Implement Divisibility by Three in miniKanren
Matthew PickeringPickering, Matthew Well-TypedUnited Kingdom Chair in Program Committee within the HIW-track
Brigitte PientkaPientka, Brigitte McGill UniversityCanada PC Chair in Organizing Committee for ICFP 2024 Session Chair of Tuesday keynote (part of ICFP Papers and Events) Recognition of Distinguished Papers PC Chair's report Normalization by evaluation for modal dependent type theory Committee Member in Workshop Selection Committee within the ICFP Workshops-track PC Chair in ICFP Papers and Events within the ICFP Papers and Events-track
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Mica: Automated Differential Testing for OCaml Modules Committee Member in Program Committee within the FUNARCH-track
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland Session Chair of Verification and Cost Analysis (part of ICFP Papers and Events) A Coq Mechanization of JavaScript Regular Expression Semantics A Coq Mechanization of JavaScript Regular Expression Semantics PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Piotr PolesiukPolesiuk, Piotr University of Wrocław Logical Relations for Effect Capabilities Fram: Named Parameters Pushed to the Limit
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs
Bogdan PopaPopa, Bogdan Romania Continuations: what have they ever done for us?
Deena PostolPostol, Deena University of Maryland Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Jonathan Prieto-CubidesPrieto-Cubides, Jonathan University of BergenNorway Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Azure ResearchUnited States Sound Borrow-Checking for Rust via Symbolic Semantics Sound Borrow-Checking for Rust via Symbolic Semantics PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Q Weihao QuQu, Weihao Monmouth UniversityUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Benjamin QuiringQuiring, Benjamin University of Maryland at College ParkUnited States Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis
R Gabriel RadanneRadanne, Gabriel InriaFrance Session Chair of OCaml developer experience (part of OCaml) Ribbit with Memory Morphisms Tail Modulo Async/Await Light-speed type unification modulo isomorphisms Distributed Actors in OCaml
Mike RaineyRainey, Mike Carnegie Mellon UniversityUnited States Co-chair in Program Committee within the FProPer-track
Jan-Paul Ramos-DavilaRamos-Davila, Jan-Paul Cornell UniversityUnited States Virtualization Chair in Organizing Committee for ICFP 2024
Craig RamsayRamsay, Craig Heriot-Watt University Cloaca: A Concurrent Hardware Garbage Collector for Non-Strict Functional Languages
Adrian RamsinghRamsingh, Adrian Sia Fusion Ltd The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
Ethan RangeRange, Ethan University of CambridgeUnited Kingdom Video Co-Chair in Organizing Committee for ICFP 2024 Safe Pattern Generation for Multi-Stage Programming
Jaro ReindersReinders, Jaro Delft University of TechnologyNetherlands Higher Order Patterns for Rewrite Rules
John ReppyReppy, John University of Chicago, USA A Type- And Control- Flow Analysis for System FC (Extended Abstract)
Wilmer RicciottiRicciotti, Wilmer University of Edinburgh, UKItaly Effectful Assembly Programming with AsmFX
Lionel RiegRieg, Lionel Verimag Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Nicholas RobertsRoberts, Nicholas Jane Street Pattern-matching on mutable values: danger! Mixed Blocks: Storing More Fields Flat
Carla Rodríguez EstévezRodríguez Estévez, Carla Universidade da Coruña, SpainSpain Elixir-powered Low-income Animal Shelter Support: an Experience Report from Conception to Production
Gonzalo Romero-GarciaRomero-Garcia, Gonzalo IRCAM The Maquette Monad
Andreas RossbergRossberg, Andreas IndependentGermany Research, Grad School, Community - Let's chat! Programme Committee in Program Committee within the ML-track
Sylvia RotheRothe, Sylvia University of Television and Film Munich Diffusion-Based Sound Synthesis in Music Production
Fabian RuchRuch, Fabian UnaffiliatedSweden Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Neea RuschRusch, Neea Augusta UniversityUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Alejandro RussoRusso, Alejandro Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, SwedenSweden Diversity and Inclusion Chair in Organizing Committee for ICFP 2024 Diversity, equality, and inclusion at ICFP Committee Member in Program Committee within the Haskell-track PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Thomas RéfisRéfis, Thomas Pattern-matching on mutable values: danger!
Didier RémyRémy, Didier Inria On the design and implementation of Modular Explicits
S Simmo SaanSaan, Simmo University of Tartu, EstoniaEstonia Committee Member in Program Committee within the OCaml-track
Amr SabrySabry, Amr Indiana UniversityUnited States How to Bake a Quantum Π How to Bake a Quantum $\Pi$
Hannes SaffrichSaffrich, Hannes University of Freiburg Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma
Takafumi SaikawaSaikawa, Takafumi Nagoya UniversityJapan Mechanized monadic equational reasoning for ML references Committee Member in Program Committee within the OCaml-track
Momoka SaitoSaito, Momoka The University of Electro-Communications Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
Marco SampellegriniSampellegrini, Marco Italy Architecting Functional Programs
Takahiro SanadaSanada, Takahiro Fukui Prefectural UniversityJapan Algebraic effects and handlers for arrows
Ryosuke SatoSato, Ryosuke Tokyo University of Agriculture and TechnologyJapan PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Gabriel SchererScherer, Gabriel Université Paris Cité - Inria - CNRSFrance Pattern-matching on mutable values: danger! Snapshottable Stores Committee Member in Program Committee within the Scheme-track
Albert SchimpfSchimpf, Albert University of Kaiserslautern-LandauGermany Same same but different: A Comparative Analysis of Static Type Checkers in Erlang
Markus SchlegelSchlegel, Markus Active Group GmbHGermany Bidirectional Data Transformations
Eliane I. SchmidliSchmidli, Eliane I. OST – Eastern Switzerland University of Applied Sciences Using Functional Reactive Programming for Robotic Art
Marco SchneiderSchneider, Marco Active Group GmbHGermany Bidirectional Data Transformations
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands Programme Committee in Program Committee within the ML-track Co-chair in Program Committee within the FProPer-track
Brett SchreiberSchreiber, Brett None Six Ways to Implement Divisibility by Three in miniKanren
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Committee Member in Program Committee within the TyDe-track
Hans-Jörg SchurrSchurr, Hans-Jörg The University of Iowa Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Philipp SchusterSchuster, Philipp University of TübingenGermany Committee Member in Program Committee within the Scheme-track
Ryan ScottScott, Ryan Galois, Inc.United States Committee Member in Program Committee within the FUNARCH-track
Neil SculthorpeSculthorpe, Neil Nottingham Trent University, UK Committee Member in Program Committee within the Haskell-track
Taro SekiyamaSekiyama, Taro National Institute of Informatics; SOKENDAIJapan Abstracting Effect Systems for Algebraic Effect Handlers Committee Member in Program Committee within the Scheme-track
Bendegúz SeresSeres, Bendegúz Eötvös Loránd University Is this really a refactoring? Automated equivalence checking for Erlang projects
Ilya SergeySergey, Ilya National University of SingaporeSingapore ICFP 2025 announcement Committee Member in Program Committee within the FUNARCH-track
Marcello SeriSeri, Marcello Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen Committee Member in Program Committee within the OCaml-track
Manuel SerranoSerrano, Manuel Inria; Université Côte d’AzurFrance The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl) The Functional, the Imperative, and the Sudoku (artifact)
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Functional Sparse Tensor Compilation
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Cheng ShaoShao, Cheng Modus Create [HIW] The JavaScript FFI feature in GHC Wasm backend
Pranjal SharmaSharma, Pranjal University of Michigan at Ann ArborUnited States Synchronous Programming with Refinement Types Synchronous Programming with Refinement Types
John ShorttShortt, John University of Ottawa Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Filip SieczkowskiSieczkowski, Filip PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Jesse SigalSigal, Jesse University of EdinburghUnited Kingdom Paella: algebraic effects with parameters and their handlers Automatic Differentiation via Effects and Handlers in OCaml Committee Member in Program Committee within the ICFP Student Research Competition-track
Abhishek Kr SinghSingh, Abhishek Kr School of Computing, National University Of SingaporeSingapore Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Satnam SinghSingh, Satnam GroqUnited States Committee Member in Program Committee within the FUNARCH-track
Marjan SirjaniSirjani, Marjan Malardalen UniversitySweden Programme Committee in Program Committee within the Erlang-track
Mallku SoldevilaSoldevila, Mallku FAMAF, UNC (Argentina) / CONICET (Argentina)Argentina Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Yahui SongSong, Yahui National University of SingaporeSingapore Specification and Verification for Unrestricted Algebraic Effects and Handling Specification and Verification for Unrestricted Algebraic Effects and Handling
Youngju SongSong, Youngju MPI-SWSGermany Refinement Composition Logic
Skye SossSoss, Skye University of ChicagoUnited States A Type- And Control- Flow Analysis for System FC (Extended Abstract)
Matthew SottleSottle, Matthew Lawrence Livermore National LaboratoryUnited States Design and implementation of a verified interpreter for additive manufacturing programs
Matthieu SozeauSozeau, Matthieu InriaFrance PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Michael SperberSperber, Michael Active Group GmbHGermany Session Chair of Distributed Systems, Concurrency (part of ICFP Papers and Events) Session Chair of FUNARCH Keynote (part of FUNARCH) Session Chair of FUNARCH Talks #2 (part of FUNARCH) Future of FUNARCH Teaching functional programming Program Chair in Program Committee within the FUNARCH-track Committee Member in Program Committee within the Scheme-track PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Artem StarikovStarikov, Artem Innopolis University typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
Ian StarkStark, Ian The University of EdinburghUnited Kingdom Effectful Assembly Programming with AsmFX
Perdita StevensStevens, Perdita University of EdinburghUnited Kingdom Session Chair of FUNARCH Talks #3 (part of FUNARCH) Session Chair of FUNARCH Talks #1 (part of FUNARCH) Program Chair in Program Committee within the FUNARCH-track
Rob StewartStewart, Rob Heriot-Watt UniversityUnited Kingdom Cloaca: A Concurrent Hardware Garbage Collector for Non-Strict Functional Languages
Isabella StilkerichStilkerich, Isabella Committee Member in Program Committee within the FUNARCH-track
Quentin StiévenartStiévenart, Quentin Université du Québec à MontréalCanada Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2024 Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts Blame-correct Support for Receiver Properties in Recursively-Structured Actor Contracts Artifact Evaluation Co-Chair in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Chenghao SuSu, Chenghao Nanjing University Static Blame for gradual typing
Subbu SubramanianSubramanian, Subbu MetaUnited States F3: A Compiler For Feature Engineering
Pierre-Louis SuckrowSuckrow, Pierre-Louis Berlin University of the Arts, Technical University of Berlin Diffusion-Based Sound Synthesis in Music Production
cecilia suhrsuhr, cecilia Miami University Self-censorship
Hector SuzanneSuzanne, Hector LIP6 - Sorbonne Université & CNRSFrance Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands A correct-by-construction conversion from lambda calculus to combinatory logic (JFP Functional Pearls) PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
T Nicolas TabareauTabareau, Nicolas InriaFrance Gradual Indexed Inductive Types
Gerard TaboneTabone, Gerard University of MaltaMalta Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Victor TaelinTaelin, Victor Higher Order Company HVM2: Iteraction Combinator Evaluator
Yudai TanabeTanabe, Yudai Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the TyDe-track Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Wenhao TangTang, Wenhao University of EdinburghUnited Kingdom Contract Lenses: Reasoning about Bidirectional Programs via Calculation
Éric TanterTanter, Éric University of ChileChile Gradual Indexed Inductive Types
Joseph TassarottiTassarotti, Joseph New York UniversityUnited States Almost-Sure Termination by Guarded Refinement Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Almost-Sure Termination by Guarded Refinement Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Enrico TassiTassi, Enrico INRIAFrance Committee Member in Program Committee within the OCaml-track
Stephen TaylorTaylor, Stephen University of Illinois Urbana-Champaign Session Chair of Performance Evening (part of FARM) Welcome to FARM! Committee Member in Program Committee within the FARM-track Program Chair in Organizing Committee within the FARM-track
Mohit TekriwalTekriwal, Mohit Lawrence Livermore National LaboratoryUnited States Design and implementation of a verified interpreter for additive manufacturing programs
Mohit TekriwalTekriwal, Mohit Lawrence Livermore National LaboratoryUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Peter ThiemannThiemann, Peter University of Freiburg, Germany Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma
Peter ThomanThoman, Peter University of InnsbruckAustria PC Member in Program Committee within the FProPer-track
Hayleigh ThompsonThompson, Hayleigh GleamUnited Kingdom Programme Committee in Program Committee within the Erlang-track
Simon ThompsonThompson, Simon IOHK, University of Kent, and ELTEUnited Kingdom Is this really a refactoring? Automated equivalence checking for Erlang projects
Ryan TjoaTjoa, Ryan University of WashingtonUnited States Labeled Tuples (Informed Position)
Ivan TodorovTodorov, Ivan Delft University of Technology Modal Mu-Calculus for Free in Agda
Matías ToroToro, Matías University of ChileChile Programme Committee in Program Committee within the ML-track
James TorreTorre, James None Nocksche and Nocko
Paulo TorrensTorrens, Paulo University of KentUnited Kingdom On the Operational Theory of the CPS-calculus: Towards a Theoretical Foundation for IRs On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs
Jesse TovTov, Jesse Jane Street EuropeUnited Kingdom Session Chair of Session 4 (part of ML) Programme Committee in Program Committee within the ML-track
Phil TrinderTrinder, Phil University of Glasgow The Benefits of Tierless Elixir/Potato for Engineering IoT Systems PC Member in Program Committee within the FProPer-track
Dmitri TymoczkoTymoczko, Dmitri Princeton UniversityUnited States Refactoring Musical Thought PC Member in Program Committee within the FARM-track
Marco TzschentkeTzschentke, Marco Universität TübingenGermany Functional Pearl: Grokking the Sequent Calculus Grokking the Sequent Calculus (Functional Pearl)
U Katsuhiro UenoUeno, Katsuhiro Niigata UniversityJapan PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Hiroshi UnnoUnno, Hiroshi Tohoku UniversityJapan Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
Rokas UrbonasUrbonas, Rokas University of Cambridge ChorCaml: Functional Choreographic Programming in OCaml
Tarmo UustaluUustalu, Tarmo Reykjavik UniversityIceland Committee Member in Program Committee within the TyDe-track
V Milla ValnetValnet, Milla Sorbonne UniversitéFrance Committee Member in Program Committee within the OCaml-track
David van Balenvan Balen, David Fusing Gathers with Integer Linear Programming
Jan van Brüggevan Brügge, Jan Heriot-Watt University Liquid Amortization - Proving amortized complexity with LiquidHaskell (Functional Pearl)
David Van HornVan Horn, David University of MarylandUnited States Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Bram VandenbogaerdeVandenbogaerde, Bram Vrije Universiteit BrusselBelgium Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts Blame-correct Support for Receiver Properties in Recursively-Structured Actor Contracts
Gabriele VanoniVanoni, Gabriele IRIF, Université Paris Cité Student Volunteer Co-Chair in Organizing Committee for ICFP 2024
Cristiano VasconcellosVasconcellos, Cristiano Santa Catarina State UniversityBrazil On the Operational Theory of the CPS-calculus: Towards a Theoretical Foundation for IRs On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs
Pedro VasconcelosVasconcelos, Pedro University of Porto Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
Marco VassenaVassena, Marco Utrecht UniversityNetherlands Committee Member in Program Committee within the TyDe-track
Niki VazouVazou, Niki IMDEA Software Institute Session Chair of Haskell 1 (part of Haskell) Research, Grad School, Community - Let's chat! Lightning talks II / Chairs' report / Future of HS discussion Refinement Types from Light to Deep Verification Co-chair in Program Committee within the Haskell-track Committee Member in Program Committee within the TyDe-track
Arnaud VenetVenet, Arnaud Facebook F3: A Compiler For Feature Engineering
Ekaterina VerbitskaiaVerbitskaia, Ekaterina JetBrains Research; Constructor University BremenNetherlands Co-chair in Program Committee within the miniKanren-track
Andrea VezzosiVezzosi, Andrea Well-Typed LLP PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Polina VinogradovaVinogradova, Polina IOHKCanada Applying Continuous Formal Methods to Cardano
Samuel VivienVivien, Samuel OCamlPro & INRIA & École Normale Supérieure \| Université PSLFrance On the design and implementation of Modular Explicits
Adriana Laura VoineaVoinea, Adriana Laura Session Chair of Welcome & Keynote (part of Erlang) Welcome to the Erlang Workshop Co-chair in Organizing Committee within the Erlang-track
Jérôme VouillonVouillon, Jérôme Wasm_of_ocaml
W Andrew WagnerWagner, Andrew Northeastern University An Incremental Approach to the Semantics of Borrowing
Meng WangWang, Meng University of BristolUnited Kingdom Contract Lenses: Reasoning about Bidirectional Programs via Calculation PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Siyu WangWang, Siyu MetaUnited States F3: A Compiler For Feature Engineering
Christoph Johannes WeberWeber, Christoph Johannes University of Television and Film Munich, LMU Munich Diffusion-Based Sound Synthesis in Music Production
Stefan WehrWehr, Stefan Offenburg University of Applied SciencesGermany Same same but different: A Comparative Analysis of Static Type Checkers in Erlang
Guannan WeiWei, Guannan Inria/ENS; Tufts UniversityFrance Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Marius WeidnerWeidner, Marius University of Freiburg Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
Sam WestrickWestrick, Sam New York UniversityUnited States Publicity Chair in Organizing Committee for ICFP 2024 Programme Committee in Program Committee within the ML-track
Leo WhiteWhite, Leo Jane StreetUnited Kingdom Arrows as applicatives in a monad Designing interrupts for ML and OCaml Staged Compilation with Module Functors Oxidizing OCaml with Modal Memory Management
Tim WilliamsWilliams, Tim BloombergUnited Kingdom Recursion schemes in OCaml: An experience report
Andy WingoWingo, Andy Igalia, S.L. Scheme on WebAssembly: It is happening!
Daniel Winograd-CortWinograd-Cort, Daniel Nectry Inc.United States Industrial Relations Co-Chair in Organizing Committee for ICFP 2024
Théo WinterhalterWinterhalter, Théo InriaFrance Dependent Ghosts Have a Reflection for Free Dependent Ghosts Have a Reflection for Free
Nicholas WohlfeilWohlfeil, Nicholas University of Michigan at Ann ArborUnited States Synchronous Programming with Refinement Types Synchronous Programming with Refinement Types
Robert WrightWright, Robert University of Edinburgh First-class Algebraic Presentations with Elaborator Reflection (Extended Abstract)
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Nominal Types for Erlang
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Making a Curry Interpreter using Effects and Handlers Committee Member in Program Committee within the HOPE-track
X Li-yao XiaXia, Li-yao UnaffiliatedFrance Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
Ningning XieXie, Ningning University of Toronto; Google DeepMindCanada Session Chair of Sharing Experiences (part of PLMW @ ICFP) Session Chair of Technical Session (part of PLMW @ ICFP) Welcome Staged Compilation with Module Functors Parallel Algebraic Effect Handlers Organization Co-chair in Organizing Committee within the PLMW @ ICFP-track Committee Member in Program Committee within the OCaml-track
Ruifeng XieXie, Ruifeng Peking University Contract Lenses: Reasoning about Bidirectional Programs via Calculation
Xu XueXue, Xu University of Hong KongChina Contextual Typing Contextual Typing
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Safe Pattern Generation for Multi-Stage Programming Staged Compilation with Module Functors
Yafei YangYang, Yafei F3: A Compiler For Feature Engineering
Qianchuan YeYe, Qianchuan University at Buffalo, SUNYUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Irene YoonYoon, Irene InriaFrance Flambda2 Validator A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction A Two-Phase Infinite/Finite Low-Level Memory Model Committee Member in Program Committee within the HOPE-track
Brent YorgeyYorgey, Brent Hendrix CollegeUnited States Session Chair of Type Theory (part of ICFP Papers and Events) Fabricating Functional Formalisms for Fun PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Takuma YoshiokaYoshioka, Takuma Kyoto UniversityJapan Abstracting Effect Systems for Algebraic Effect Handlers
Jeffrey YoungYoung, Jeffrey IOHKUnited States Committee Member in Program Committee within the FUNARCH-track
Neringa YoungYoung, Neringa Lithuania Treasurer & Conference Manager in Organizing Committee for ICFP 2024
Z George ZakhourZakhour, George University of St. GallenSwitzerland Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Yannick ZakowskiZakowski, Yannick InriaFrance Abstract Interpreters: a Monadic Approach to Modular Verification Abstract Interpreters: A Monadic Approach to Modular Verification A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction A Two-Phase Infinite/Finite Low-Level Memory Model Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction A Two-Phase Infinite/Finite Low-Level Memory Model
Brooklyn ZelenkaZelenka, Brooklyn Programme Committee in Program Committee within the Erlang-track
Stefan ZetzscheZetzsche, Stefan Amazon Web ServicesUnited Kingdom Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Hanliang ZhangZhang, Hanliang University of Bristol, UKUnited Kingdom Contract Lenses: Reasoning about Bidirectional Programs via Calculation
Lisa ZhangZhang, Lisa University of Toronto MississaugaCanada Committee Member in Program Committee within the miniKanren-track
Yicheng ZhangZhang, Yicheng University of Michigan at Ann ArborUnited States Synchronous Programming with Refinement Types Synchronous Programming with Refinement Types
Yuming ZhouZhou, Yuming Nanjing UniversityChina Static Blame for gradual typing
Shaopeng ZhuZhu, Shaopeng Does Not Wish To Disclose Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Maaike ZwartZwart, Maaike Committee Member in Program Committee within the HOPE-track

ICFP 2024 Contributors

Results (519)

Tracks

Workshops

Co-hosted Symposia