ICFP 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (416)

A Ingela A. AndinA. Andin, Ingela Ericsson, SESweden Programme Committee in Program Committee within the Erlang-track
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 Committee Member in Program Committee within the Haskell-track
Reynald AffeldtAffeldt, Reynald AIST Mechanized monadic equational reasoning for ML references
Alejandro AguirreAguirre, Alejandro Aarhus UniversityDenmark Web Co-Chair in Organizing Committee for ICFP 2024 Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Almost-Sure Termination by Guarded Refinement 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 Inria 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 Opam 2.2 and beyond First-Class Windows: Building a Roadmap for OCaml on Windows 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
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan PC Member in Program Committee within the FARM-track
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
Bereket Shimels AyeleAyele, Bereket Shimels Addis Ababa Institute of TechnologyEthiopia Synchronous Programming with Refinement Types Synchronous Programming with Refinement Types
B Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Beyond Trees: Calculating Graph-Based Compilers Beyond Trees: Calculating Graph-Based Compilers Committee Member in Program Committee within the HOPE-track PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Arnaud BaillyBailly, Arnaud IOHKFrance Applying Continuous Formal Methods to Cardano
Patrycja BalikBalik, Patrycja University of Wrocław Logical Relations for Effect Capabilities
Michael BallantyneBallantyne, Michael Northeastern University Compiled, Extensible, Multi-language DSLs (Functional Pearl)
Ajay BansalBansal, Ajay Arizona State University To Be or Not To Be: Adding Predicate Constraints to stableKanren to Make a Decision Improving stableKanren’s Backward Compatibility
Mark BarboneBarbone, Mark UCSD 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
Calvin BeckBeck, Calvin University of Pennsylvania Accessibility Co-Chair in Organizing Committee for ICFP 2024 A Two-Phase Infinite/Finite Low-Level Memory Model 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 Functional Pearl: Grokking the Sequent Calculus Committee Member in Program Committee within the HIW-track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Almost-Sure Termination by Guarded Refinement 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
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 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
Jeroen BransenBransen, Jeroen Utrecht University Programming Contest Co-Organiser in Organizing Committee for ICFP 2024
Joachim BreitnerBreitner, Joachim unaffiliatedGermany Committee Member in Program Committee within the Haskell-track
C Luís CairesCaires, Luís INESC-ID / Instituto Superior Tecnico, University of LisbonPortugal From Linear Logic to Safe Concurrent Programming with CLASS
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 $\Pi$ How to Bake a Quantum $\Pi$ PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Zachery CaseyCasey, Zachery Student Volunteer Co-Chair in Organizing Committee for ICFP 2024
Chris CasinghinoCasinghino, Chris Jane Street 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
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 Pennsylvania A Two-Phase Infinite/Finite Low-Level Memory Model A Two-Phase Infinite/Finite Low-Level Memory Model
Jiawei ChenChen, Jiawei University of Michigan - 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
Yijia CHENCHEN, Yijia HKUST The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures (Artifact) The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
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 Toronto Staged Compilation with Module Functors
Wei-Ngan ChinChin, Wei-Ngan National University of Singapore Specification and Verification for Unrestricted Algebraic Effects and Handling Specification and Verification for Unrestricted Algebraic Effects and Handling
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 Technology and Epic GamesSweden 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 Technology and Epic GamesSweden PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
Basile ClémentClément, Basile OCamlPro 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
Bruce CollieCollie, Bruce Runtime Verification, Inc.United Kingdom From Zero to Proving: Building Languages with the K Framework
Nicholas ColtharpColtharp, Nicholas Portland State University 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
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 University, USA 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
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 Street 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 LowellUnited States Call-By-Unboxed-Value Committee Member in Program Committee within the Haskell-track
Wenke DUDU, Wenke LIP ENS Lyon Distributed Actors in OCaml
E Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States 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 Copenhagen, DenmarkDenmark 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
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
Amy FeltyFelty, Amy University of OttawaCanada Committee Member in Program Committee within the TyDe-track
Kiko Fernandez-ReyesFernandez-Reyes, Kiko Ericsson, SwedenSweden Nominal Types for Erlang Co-chair in Organizing Committee within the Erlang-track Committee Member in Program Committee within the FUNARCH-track
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States The Functional, the Imperative, and the Sudoku (artifact) The Functional, the Imperative, and the Sudoku: Making Good, Bad, and Ugly More Than the Sum of Their Parts (Pearl)
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 Singapore 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 Co-chair in Tutorial Selection Committee within the ICFP Tutorials-track Committee Member in Workshop Selection Committee within the ICFP Workshops-track
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
Aymeric FromherzFromherz, Aymeric InriaFrance Programming Contest Co-Organiser in Organizing Committee for ICFP 2024 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 Committee Member in Workshop Selection Committee within the ICFP Workshops-track
Michal Jan GajdaGajda, Michal Jan Migamake Pte Ltd Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Mitch GamburgGamburg, Mitch Compiled, Extensible, Multi-language DSLs (Functional Pearl)
Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan 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
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 UCSD 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
Harrison GoldsteinGoldstein, Harrison University of PennsylvaniaUnited States Mica: Automated Differential Testing for OCaml Modules
Hannah GommerstadtGommerstadt, Hannah Vassar College Committee Member in Program Committee within the Haskell-track
Laure GonnordGonnord, Laure Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, FranceFrance 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
Simon Oddershede GregersenGregersen, Simon Oddershede New York UniversityUnited States Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Almost-Sure Termination by Guarded Refinement 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 Predicate 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
H Kerry HaganHagan, Kerry University of Illinois, Urbana-ChampaignUnited States PC Member in Program Committee within the FARM-track
Philipp G. HaselwarterHaselwarter, Philipp G. Aarhus UniversityDenmark Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Almost-Sure Termination by Guarded Refinement Almost-Sure Termination by Guarded Refinement Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Bastiaan HeerenHeeren, Bastiaan Open University of the Netherlands, Netherlands 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 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 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 Distributed Actors in OCaml
Sylvain HenryHenry, Sylvain Committee Member in Program Committee within the HIW-track
Ángel HerranzHerranz, Ángel Universidad Politécnica de MadridSpain Controlled Scheduling of Concurrent Elixir Programs
Chris HeunenHeunen, Chris University of EdinburghUnited Kingdom How to Bake a Quantum $\Pi$ 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
Son HoHo, Son INRIAFrance Aeneas, a framework to verify safe Rust programs Sound Borrow-Checking for Rust via Symbolic Semantics 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 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
Raymond HuHu, Raymond Queen Mary University of LondonUnited Kingdom Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
Isabell HuangHuang, Isabell Nominal Types for Erlang
Graham HuttonHutton, Graham University of Nottingham, UKUnited Kingdom Beyond Trees: Calculating Graph-Based Compilers Beyond Trees: Calculating Graph-Based Compilers
John HögbergHögberg, John Nominal Types for Erlang Modeling Erlang Compiler IR as SMT Formulas
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 University 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
J Guilhem JaberJaber, Guilhem Nantes UniversitéFrance Program Co-Chair in Program Committee within the HOPE-track
Jules JacobsJacobs, Jules 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
Patrik JanssonJansson, Patrik Chalmers University of Technology and University of GothenbrugSweden 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 University Example-Based Reasoning About the Realizability of Polymorphic Programs Example-Based Reasoning About the Realizability Of Polymorphic Programs
Ranjit JhalaJhala, Ranjit University of California, 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. Google ResearchCanada Parallel Algebraic Effect Handlers
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 $\Pi$ 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
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?
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands 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 PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
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
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 Gothenburg 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 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
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 National Institute of Informatics 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 UCSD 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
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 Effectful Assembly Programming with AsmFX Oxidizing OCaml with Modal Memory Management
Rocky LiuLiu, Rocky MetaUnited States F3: A Compiler For Feature Engineering
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 F3: A Compiler For Feature Engineering
Weixi MaMa, Weixi MetaUnited States Committee Member in Program Committee within the miniKanren-track
Dougal MaclaurinMaclaurin, Dougal Google DeepMind Parallel Algebraic Effect Handlers
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 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 Chile, ChileChile Gradual Indexed Inductive Types
Madeleine MalmstenMalmsten, Madeleine Germany (Keynote) Environmentally sustainable software and data architectures
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 Committee Member in Program Committee within the Haskell-track
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
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 Inria 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 Committee Member in Organizing Committee within the Scheme-track
Mae MilanoMilano, Mae Princeton UniversityUnited States 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 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
Josué MoreauMoreau, Josué Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, LMF 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 Co-chair in Program Committee within the Haskell-track Co-chair in Program Committee within the ICFP Student Research Competition-track
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 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 Programme Committee in Program Committee within the ML-track
Rasmus Ejlers MøgelbergMøgelberg, Rasmus Ejlers IT University of CopenhagenDenmark Keynote Speaker in Keynote Speaker within the HOPE-track
Marius MüllerMüller, Marius University of TübingenGermany Functional Pearl: Grokking the Sequent Calculus Functional Pearl: Grokking the Sequent Calculus
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 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 Technion 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 Bank 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, UK and University of Cambridge, UKUnited 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 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 Functional Pearl: Grokking the Sequent Calculus
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
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
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 (Artifact) The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
Adam PaszkePaszke, Adam Google ResearchPoland 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
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 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 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
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 Research, RedmondUnited 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 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 Distributed Actors in OCaml
Mike RaineyRainey, Mike Carnegie Mellon UniversityUnited States Co-chair in Program Committee within the FPROPER-track
Adrian RamsinghRamsingh, Adrian Sia Fusion Ltd The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
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 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
Andreas RossbergRossberg, Andreas IndependentGermany Programme Committee in Program Committee within the ML-track
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 Committee Member in Program Committee within the Haskell-track PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
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 $\Pi$ How to Bake a Quantum $\Pi$
Takafumi SaikawaSaikawa, Takafumi Nagoya UniversityJapan Mechanized monadic equational reasoning for ML references Committee Member in Program Committee within the OCaml-track
Marco SampellegriniSampellegrini, Marco Italy Architecting Functional Programs
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 INRIA SaclayFrance 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
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 InformaticsJapan 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 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; University of Côte d'AzurFrance The Functional, the Imperative, and the Sudoku (artifact) The Functional, the Imperative, and the Sudoku: Making Good, Bad, and Ugly More Than the Sum of Their Parts (Pearl)
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
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 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
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 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 Program Chair in Program Committee within the FUNARCH-track
Isabella StilkerichStilkerich, Isabella Committee Member in Program Committee within the FUNARCH-track
Quentin StiévenartStiévenart, Quentin Université du Québec à Montréal (UQAM)Canada 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
Subbu SubramanianSubramanian, Subbu MetaUnited States F3: A Compiler For Feature Engineering
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 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
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
Éric TanterTanter, Éric University of Chile Gradual Indexed Inductive Types
Joseph TassarottiTassarotti, Joseph NYUUnited States Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs Almost-Sure Termination by Guarded Refinement 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 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 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
Matías ToroToro, Matías University of ChileChile Programme Committee in Program Committee within the ML-track
Paulo TorrensTorrens, Paulo University of Kent 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 StreetUnited Kingdom 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 PC Member in Program Committee within the FARM-track
Marco TzschentkeTzschentke, Marco Universität Tübingen Functional Pearl: Grokking the Sequent Calculus Functional Pearl: Grokking the Sequent Calculus
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 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 Brussel 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
Marco VassenaVassena, Marco Utrecht UniversityNetherlands Committee Member in Program Committee within the TyDe-track
Niki VazouVazou, Niki IMDEA Software Institute 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 INRIA & École Normale Supérieure \| Université PSLFrance On the design and implementation of Modular Explicits
Adriana Laura VoineaVoinea, Adriana Laura Co-chair in Organizing Committee within the Erlang-track
W Andrew WagnerWagner, Andrew Northeastern University An Incremental Approach to the Semantics of Borrowing
Meng WangWang, Meng University of BristolUnited Kingdom 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
Stefan WehrWehr, Stefan Offenburg University of Applied SciencesGermany Same same but different: A Comparative Analysis of Static Type Checkers in Erlang
Guannan WeiWei, Guannan Purdue UniversityUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
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 Carnegie Mellon UniversityUnited States Publicity Chair in Organizing Committee for ICFP 2024 Programme Committee in Program Committee within the ML-track
Leo WhiteWhite, Leo Jane Street Arrows as applicatives in a monad Oxidizing OCaml with Modal Memory Management Staged Compilation with Module Functors
Tim WilliamsWilliams, Tim Bloomberg Recursion schemes in OCaml: An experience report
Daniel Winograd-CortWinograd-Cort, Daniel Nectry Inc.United States Industrial Relations Co-Chair in Organizing Committee for ICFP 2024
Theo WinterhalterWinterhalter, Theo INRIA SaclayFrance Dependent Ghosts Have a Reflection for Free Dependent Ghosts Have a Reflection for Free
Nicholas WohlfeilWohlfeil, Nicholas University of Michigan - Ann Arbor Synchronous Programming with Refinement Types Synchronous Programming with Refinement Types
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Nominal Types for Erlang
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Committee Member in Program Committee within the HOPE-track
X Li-yao XiaXia, Li-yao France 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 TorontoCanada 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
Xu XueXue, Xu University of Hong KongChina Contextual Typing Contextual Typing
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Staged Compilation with Module Functors
Yafei YangYang, Yafei F3: A Compiler For Feature Engineering
Qianchuan YeYe, Qianchuan Purdue UniversityUnited States Committee Member in Artifact Evaluation Committe within the ICFP Artifact Evaluation-track
Irene YoonYoon, Irene INRIA Paris Flambda2 Validator A Two-Phase Infinite/Finite Low-Level Memory Model A Two-Phase Infinite/Finite Low-Level Memory Model Committee Member in Program Committee within the HOPE-track
Brent YorgeyYorgey, Brent Hendrix CollegeUnited States 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 University 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 A Two-Phase Infinite/Finite Low-Level Memory Model A Two-Phase Infinite/Finite Low-Level Memory Model Abstract Interpreters: a Monadic Approach to Modular Verification 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 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
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
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 (416)

Tracks

Workshops

Co-hosted Symposia