ICFP 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (543)

A Ingela A. AndinA. Andin, Ingela Ericsson, SESweden TLS the Erlang/OTP way (Experience Report)
Andreas AbelAbel, Andreas Gothenburg UniversitySweden A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized An Agda Formalization of a Graded Dependent Type Theory with a Universe and Erasure
Michael D. AdamsAdams, Michael D. National University of SingaporeUnited States Committee Member in Program Committee within the ICFP Papers and Events-track
Reynald AffeldtAffeldt, Reynald National Institute of Advanced Industrial Science and Technology (AIST), Japan Session Chair of TyDe: Type-Driven Types (part of TyDe) An Intrinsically-typed Probabilistic Programming Language in Coq (Extended Abstract) Committee Member in Program Committee within the TyDe-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Session Chair of Fireside chat (part of ICFP Papers and Events) Semantic Encapsulation using Linking Types Fireside chat: Amal Ahmed hosts Felix Klock and Greg Morrisett
Aaron AllenAllen, Aaron GHC Plugin for Setting Breakpoints Haskell Summer of Code Presentations
David AllsoppAllsopp, David TaridesUnited Kingdom State of the OCaml Platform 2023
Abdulateef AlmudaiferAlmudaifer, Abdulateef University of Alabama BirminghamUnited States Addressing Treatment-Relevance in Biomedical Relation Extraction
Sandra AlvesAlves, Sandra University of PortoPortugal Committee Member in Program Committee within the TyDe-track
Nada AminAmin, Nada Harvard UniversityUnited States LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report) Co-chair in Program Committee within the miniKanren-track Committee Member in Program Committee within the DeclMed-track
Leif AndersenAndersen, Leif Northeastern University Committee Member in Program Committee within the Scheme-track
Léo AndrèsAndrès, Léo LMF, OCamlProFrance Wasocaml: a compiler from OCaml to WebAssembly (moved from OCaml workshop) Wasocaml: a compiler from OCaml to WebAssembly Owi: an interpreter and a toolkit for WebAssembly written in OCaml
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Zena M. AriolaAriola, Zena M. University of OregonUnited States ICFP'22 Program Chair in Steering Committee for ICFP 2023
Michael ArntzeniusArntzenius, Michael University of Birmingham, UK Committee Member in Program Committee within the miniKanren-track
Thomas ArtsArts, Thomas Quviq PC Member in Program Committee within the Erlang-track
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in Program Committee within the OCaml-track
Duncan Paul AttardAttard, Duncan Paul University of Glasgow Special Delivery: Programming with Mailbox Types Special Delivery: Programming with Mailbox Types
Lennart AugustssonAugustsson, Lennart Epic Games Session Chair of Data representation (part of ICFP Papers and Events) MicroHaskell (Lightning Talk) The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming Committee Member in Program Committee within the ICFP Papers and Events-track
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Rochester Institute of Technology, USAUnited States Workshops Co-Chair in Organizing Committee for ICFP 2023 Committee Member in Selection Committee within the ICFP Tutorials-track
B Casper BachBach, Casper Delft University of TechnologyNetherlands Committee Member in Program Committee within the HOPE-track
Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Calculating Compilers for Concurrency Asynchronous Modal FRP Calculating Compilers for Concurrency Modal FRP for all: Functional reactive programming without space leaks in Haskell
Lubin BaillyBailly, Lubin École normale supérieure Shape-Constrained Array Programming with Size-Dependent Types
Vincent BalatBalat, Vincent Tarides Eio 1.0 – Effects-based IO for OCaml 5
Ajay BansalBansal, Ajay Stable Model Semantics Extension of miniKanren
Shraddha BarkeBarke, Shraddha University of California at San DiegoUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Thaïs BaudonBaudon, Thaïs ENS de Lyon & LIPFrance Bit-stealing made legal Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types
Andrej BauerBauer, Andrej University of LjubljanaSlovenia ICFP'22 General Chair in Steering Committee for ICFP 2023
Calvin BeckBeck, Calvin Accessibility Co-Chair in Organizing Committee for ICFP 2023
Tyler BeckBeck, Tyler National Center for Advancing Translational SciencesUnited States NCATS' Biomedical Data Translator - Connecting the Dots
Jonah BeckfordBeckford, Jonah DiskuvUnited States Co-chair in Program Committee within the OCaml-track
Allister BeharryBeharry, Allister University of LondonTrinidad and Tobago Demo: A functional EDSL for mathematics visualization that compiles to JavaScript
D. Ben KnobleBen Knoble, D. Functional Shell and Reusable Components for Easy GUIs
Clara Benac EarleBenac Earle, Clara Universidad Politécnica de MadridSpain Generation and Refinement of Testing Models
Josh BerdineBerdine, Josh MetaUnited Kingdom Committee Member in Program Committee within the ICFP Papers and Events-track
Daniil BerezunBerezun, Daniil JetBrains ResearchNetherlands Semi-Automated Direction-Driven Functional Conversion
Lars BergstromBergstrom, Lars GoogleUnited States Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
Gilbert Louis BernsteinBernstein, Gilbert Louis Stanford University, USA Performance vs. Correctness When Writing Low-Level HPC/Tensor/Array Code
Noah BetzenBetzen, Noah Lightning Talk SpeakerUnited States Lightning Talk: How To Add Dialyzer To An Existing Elixir Project Without Your Colleagues Hating You
Siddharth BhaskarBhaskar, Siddharth University of CopenhagenDenmark Read/write factorizable programs
Aggelos BiboudisBiboudis, Aggelos OracleSwitzerland Committee Member in Program Committee within the ICFP Papers and Events-track
Annette BieniusaBieniusa, Annette University of Kaiserslautern-LandauGermany Invited Talk: Set-theoretic Types for Erlang
Malgorzata BiernackaBiernacka, Malgorzata University of Wrocław Committee Member in Program Committee within the HOPE-track
Dariusz BiernackiBiernacki, Dariusz University of WrocławPoland A General Fine-Grained Reduction Theory for Effect Handlers A General Fine-Grained Reduction Theory for Effect Handlers
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
William BlairBlair, William Boston University A Dependently Typed Language with Dynamic Equality
Henry BlanchetteBlanchette, Henry An Algorithm Generator for Fixed-point Oriented Programming (Lightning Talk)
Douglas BlankBlank, Douglas Bryn Mawr College The Calysto Scheme Project
Laura BocchiBocchi, Laura University of KentUnited Kingdom Committee Member in Program Committee within the ICFP Papers and Events-track PC Member in Program Committee within the Erlang-track
Mathieu BoespflugBoespflug, Mathieu Tweag I/OFrance Industrial Relations Co-Chair in Organizing Committee for ICFP 2023 Industrial Relations Co-Chair in Steering Committee for ICFP 2023
Rose BohrerBohrer, Rose Worcester Polytechnic Institute Mental Health Mentoring for PL Students Homotopy Type Theory for Sewn Quilts
Raja BoujbelBoujbel, Raja OCamlProFrance Committee Member in Program Committee within the OCaml-track
Dmitri BoulytchevBoulytchev, Dmitri Saint Petersburg State UniversityRussia klogic: miniKanren in Kotlin
Thomas BourgeatBourgeat, Thomas Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
Mathis Bouverot-DupuisBouverot-Dupuis, Mathis INRIA & École Normale SupérieureFrance Efficient GPU Implementation of Affine Index Permutations on Arrays
William J. BowmanBowman, William J. University of British ColumbiaCanada One Weird Trick to Untie Landin's Knot Is Sized Typing for Coq Practical? Committee Member in Poster Committee within the ICFP Student Research Competition-track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany With or Without You: Programming with Effect Exclusion With or Without You: Programming with Effect Exclusion Committee Member in Program Committee within the ICFP Papers and Events-track
Oliver BračevacBračevac, Oliver Galois, Inc.United States Committee Member in Program Committee within the ICFP Papers and Events-track Committee Member in Program Committee within the miniKanren-track
Joachim BreitnerBreitner, Joachim unaffiliatedGermany Session Chair of FUNARCH Talks #2 (part of FUNARCH) More Fixpoints! (Functional Pearl) Functional Pearl: More fixpoints! The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track Committee Member in Program Committee within the FUNARCH-track
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo Formal Specification and Testing for Reinforcement Learning Formal Specification and Testing for Reinforcement Learning
Fabrice BuoroBuoro, Fabrice Tarides Runtime Detection of Data Races in OCaml with ThreadSanitizer
John BurnhamBurnham, John Lurk Lab LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States Session Chair of miniKanren: Discussion on the Future of miniKanren (part of miniKanren) Session Chair of miniKanren: Tutorial (part of miniKanren) Session Chair of miniKanren: Papers (Session 2 out of 2) (part of miniKanren) Session Chair of miniKanren: Papers (Session 1 out of 2) (part of miniKanren) Closing Remarks Co-chair in Program Committee within the miniKanren-track Organizer in Organizing Committee within the DeclMed-track Co-chair in Program Committee within the DeclMed-track
C Vishal CanumallaCanumalla, Vishal University of Washington Application of Sketch Guided Synthesis to Runtime Reconfigurable FPGA Primitives
Chris CasinghinoCasinghino, Chris Jane Street Session Chair of Session 2 (part of OCaml) Committee Member in Program Committee within the OCaml-track
Giuseppe CastagnaCastagna, Giuseppe CNRS; Université Paris CitéFrance Invited Talk: A Type System for Elixir Typing Records, Maps, and Structs
Manuel ChakravartyChakravarty, Manuel Tweag & IOGNetherlands Committee Member in Program Committee within the FUNARCH-track
Pierre ChambartChambart, Pierre OCamlPRO Wasocaml: a compiler from OCaml to WebAssembly (moved from OCaml workshop) Flambda 2 Types: An abstract domain for static analysis of functional programs (moved from OCaml workshop) Efficient OCaml compilation with Flambda 2 Wasocaml: a compiler from OCaml to WebAssembly Flambda 2 Types: An abstract domain for static analysis of functional programs Owi: an interpreter and a toolkit for WebAssembly written in OCaml
Jonathan ChanChan, Jonathan University of PennsylvaniaCanada Is Sized Typing for Coq Practical?
Serena ChanChan, Serena Meta A Type System For Feature Engineering (Extended Abstract)
Stephen ChangChang, Stephen University of Massachusetts BostonUnited States Committee Member in Program Committee within the TyDe-track
James ChapmanChapman, James Input Output Session Chair of Dependent types (part of ICFP Papers and Events) Committee Member in Program Committee within the ICFP Papers and Events-track
Liang-Ting ChenChen, Liang-Ting Academia SinicaTaiwan Committee Member in Program Committee within the ICFP Papers and Events-track
Gloria ChengCheng, Gloria UCLA Keynote: Perfectly Imperfect: Music, Math and the Keyboard Solo Piano Performance
Andrew CheungCheung, Andrew University of Washington Surveying FPGA Technology Mapping Completeness
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
Vikraman ChoudhuryChoudhury, Vikraman University of GlasgowUnited States Continuations and Coexponentials
David Thrane ChristiansenChristiansen, David Thrane The Haskell FoundationDenmark Committee Member in Program Committee within the Haskell-track
Koen ClaessenClaessen, Koen Chalmers University of TechnologySweden HasTEE: Programming Trusted Execution Environments with Haskell
Koen ClaessenClaessen, Koen Epic Games The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Charlotte ClarkClark, Charlotte Worcester Polytechnic Institute Homotopy Type Theory for Sewn Quilts
Ian ClesterClester, Ian Georgia Institute of Technology Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
Jesper CockxCockx, Jesper Delft University of TechnologyNetherlands Committee Member in Program Committee within the Haskell-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Member at large in Steering Committee for ICFP 2023 Lightning Talk: Designing a Language for Learning Continuations Weighted Refinement Types for Counterpoint Composition Committee Member in Program Committee within the FARM-track Program Co-Chair in Organization Committee within the TyDe-track
Ezra e. k. CooperCooper, Ezra e. k. Independent Flattening Meets Effects: A Surprising Connection Committee Member in Poster Committee within the ICFP Student Research Competition-track
Arthur CorrensonCorrenson, Arthur École Normale Supérieure de Rennes & Saarland University Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Andreea CosteaCostea, Andreea School of Computing, National University Of SingaporeSingapore Committee Member in Program Committee within the ICFP Papers and Events-track
Joseph CottamCottam, Joseph Pacific Northwest National LaboratoryUnited States Committee Member in Program Committee within the DeclMed-track
Nathanaëlle CourantCourant, Nathanaëlle OCamlProFrance Committee Member in Program Committee within the OCaml-track
Will CrichtonCrichton, Will Brown University Typed Design Patterns for the Functional Era
D Arnaud Daby-SeesaramDaby-Seesaram, Arnaud ENS Paris Saclay Osiris: an Iris-based program logic for OCaml
Pierre-Evariste DagandDagand, Pierre-Evariste IRIF / CNRS France Session Chair of TyDe: Welcome & Keynote (part of TyDe) Welcome Program Co-Chair in Organization Committee within the TyDe-track
Matthew L. DaggittDaggitt, Matthew L. Heriot-Watt University Vehicle - A Specification Language for Neural Network Properties
Ugo Dal LagoDal Lago, Ugo University of Bologna; InriaItaly Committee Member in Program Committee within the Haskell-track
Nils Anders DanielssonDanielsson, Nils Anders Chalmers and Gothenburg UniversitySweden A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized An Agda Formalization of a Graded Dependent Type Theory with a Universe and Erasure
Luis Eduardo Bueso de Barriode Barrio, Luis Eduardo Bueso Universidad Politécnica de MadridSpain Generation and Refinement of Testing Models
Edsko de Vriesde Vries, Edsko Well-Typed LLPNetherlands Session Chair of Haskell: Session 1 (part of Haskell) Severing ties: the need for non-updateable thunks falsify: Internal Shrinking Reimagined for Haskell Committee Member in Program Committee within the Haskell-track
Frank DeddenDedden, Frank System F Computing The Essence of Reactivity
Alain DelaëtDelaët, Alain INRIA, ENS Lyon Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Radhakrishnan DelhibabuDelhibabu, Radhakrishnan Vellore Institute of TechnologyIndia Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Iavor DiatchkiDiatchki, Iavor Galois, Inc. Session Chair of HIW: Session 3 (part of HIW)
Atze DijkstraDijkstra, Atze Standard Chartered BankUnited Kingdom Industrial Relations Co-Chair in Organizing Committee for ICFP 2023 Industrial Relations Co-Chair in Steering Committee for ICFP 2023
Peter DimitrovDimitrov, Peter Ericsson, SESweden TLS the Erlang/OTP way (Experience Report)
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States The Rational Programmer, An Investigative Method for Programming Language Pragmatics How to Evaluate Blame for Gradual Types, Part 2
Dino DistefanoDistefano, Dino Facebook London PC Member in Program Committee within the Erlang-track
Robert DockinsDockins, Robert Amazon Trustworthy Runtime Verification via Bisimulation (Experience Report) Trustworthy Runtime Verification via Bisimulation (Experience Report)
Mike DoddsDodds, Mike Galois, Inc. Trustworthy Runtime Verification via Bisimulation (Experience Report) Trustworthy Runtime Verification via Bisimulation (Experience Report)
Stephen DolanDolan, Stephen Jane Street Session Chair of Testing (part of ICFP Papers and Events) Committee Member in Program Committee within the ICFP Papers and Events-track
Facundo DomínguezDomínguez, Facundo TweagUruguay Session Chair of Haskell: Session 2 (part of Haskell) Integrating Liquid Haskell with GHC Committee Member in Program Committee within the Haskell-track
Evan DonahueDonahue, Evan University of TokyoJapan Goals as Constraints: Writing miniKanren Constraints in miniKanren Committee Member in Program Committee within the miniKanren-track
Paul DownenDownen, Paul University of Massachusetts LowellUnited States Committee Member in Program Committee within the ICFP Papers and Events-track
Guillaume DubocDuboc, Guillaume ENS LyonFrance Invited Talk: A Type System for Elixir
Emanuele D’OsualdoD’Osualdo, Emanuele MPI-SWSGermany PC Member in Program Committee within the Erlang-track
E Harley D. Eades IIIEades III, Harley D. Augusta UniversityUnited States Combining Dependency, Grades, and Adjoint Logic
Kaley EatonEaton, Kaley Cornish College of the ArtsUnited States Session Chair of FARM Performance Evening (part of FARM) Performance Chair in Organizing Committee within the FARM-track
Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States Member at large in Steering Committee for ICFP 2023 Layout Polymorphism: Using static computation to allow efficient polymorphism over variable representations
Segev Elazar MittelmanElazar Mittelman, Segev University of Maryland, College Park Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Conal ElliottElliott, Conal IndependenetUnited States Timely Computation
Martin ElsmanElsman, Martin University of Copenhagen, DenmarkDenmark Shape-Constrained Array Programming with Size-Dependent Types Programming with Explicit Effects in ReML Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
Igor EngelEngel, Igor Semi-Automated Direction-Driven Functional Conversion
Andres ErbsenErbsen, Andres MIT Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters Committee Member in Program Committee within the ICFP Papers and Events-track
John EricsonEricson, John Obsidian Systems Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design
Oskar ErikssonEriksson, Oskar Chalmers and Gothenburg UniversitySweden A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized An Agda Formalization of a Graded Dependent Type Theory with a Universe and Erasure
Guilherme EspadaEspada, Guilherme LASIGE, University of LisbonPortugal Video Co-Chair in Organizing Committee for ICFP 2023
Jason EvansEvans, Jason BranchTaken LLC Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
F Dmitrii FedoseevFedoseev, Dmitrii Mria: an eventually consistent Mnesia
Matthias FelleisenFelleisen, Matthias PLT @ Northeastern UniversityUnited States How to Evaluate Blame for Gradual Types, Part 2
Jerome FeretFeret, Jerome INRIA ParisFrance A semantics of Core Erlang with handling of signals
Kiko Fernandez-ReyesFernandez-Reyes, Kiko Ericsson, SwedenSweden Session Chair of Erlang Workshop: Session 3 (part of Erlang) Session Chair of Erlang Workshop: Session 2 (part of Erlang) Session Chair of Erlang Workshop: Session 1 (part of Erlang) Session Chair of Erlang Workshop: Keynote (part of Erlang) Welcome to the Erlang Workshop Closing of the Erlang Workshop TLS the Erlang/OTP way (Experience Report) Co-chair in Organizing Committee within the Erlang-track
Patrick FerrisFerris, Patrick University of Cambridge, UKUnited Kingdom Eio 1.0 – Effects-based IO for OCaml 5
Kathi FislerFisler, Kathi Brown UniversityUnited States What Happens When Students Switch (Functional) Languages (Experience Report)
Matthew FlattFlatt, Matthew University of UtahUnited States Session Chair of Keynote (part of ICFP Keynotes) Associate Chair in Program Committee within the ICFP Papers and Events-track
Shayne FletcherFletcher, Shayne Meta Buck2 for OCaml Users & Developers
Matthew FluetFluet, Matthew Rochester Institute of TechnologyUnited States Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
Denis FokinFokin, Denis klogic: miniKanren in Kotlin
Yannick ForsterForster, Yannick InriaFrance Workshops Co-Chair in Organizing Committee for ICFP 2023 Committee Member in Selection Committee within the ICFP Tutorials-track
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States SIGPLAN Chair in Steering Committee for ICFP 2023
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Event-Driven Multiparty Session Actors Lightning Talk: Towards Mailbox Typing for Erlang Special Delivery: Programming with Mailbox Types Special Delivery: Programming with Mailbox Types Committee Member in Poster Committee within the ICFP Student Research Competition-track
Juliana FrancoFranco, Juliana DeepMindUnited Kingdom PC Member in Program Committee within the Erlang-track
Lars-Åke FredlundFredlund, Lars-Åke Universidad Politécnica de MadridSpain Generation and Refinement of Testing Models
Mark FriedmanFriedman, Mark United States Committee Member in Program Committee within the Scheme-track
Anna FritzFritz, Anna The University of KansasUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Samantha FrohlichFrohlich, Samantha University of BristolUnited Kingdom Reflecting on Random Generation Embedding by Unembedding Reflecting on Random Generation Embedding by Unembedding
Aymeric FromherzFromherz, Aymeric InriaFrance Programming Contest Co-Organiser in Organizing Committee for ICFP 2023 Programming contest report Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification
Qiancheng FuFu, Qiancheng Boston University A Dependently Typed Language with Dynamic Equality A Calculus of Inductive Linear Constructions
Hugo FéréeFérée, Hugo University of Kent, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States ICFP'24 General Chair in Steering Committee for ICFP 2023 ICFP 2024 announcement
Michal Jan GajdaGajda, Michal Jan Migamake Pte Ltd Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Michael GaleGale, Michael GitHubUnited Kingdom This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs
Ben GamariGamari, Ben Well-Typed LLPUnited States Session Chair of HIW: Session 2 (part of HIW) Execution domains in GHC/Haskell (Lightning Talk) GHC status report
Ronald GarciaGarcia, Ronald University of British ColumbiaCanada ICFP'21 Program Chair in Steering Committee for ICFP 2023 Committee Member in Program Committee within the FUNARCH-track
François GarillotGarillot, François Lurk Lab LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan Session Chair of ML Workshop: Session 1 (part of Higher-order, Typed, Inferred, Strict: ML Family Workshop) Session Chair of Session 3 (part of OCaml) A type-theoretic account of quantum computation (Extended Abstract) Committee Member in Program Committee within the OCaml-track Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom Special Delivery: Programming with Mailbox Types Special Delivery: Programming with Mailbox Types Committee Member in Program Committee within the ICFP Papers and Events-track
Thomas GazagnaireGazagnaire, Thomas TaridesFrance State of the OCaml Platform 2023
Rosario GennaroGennaro, Rosario Protocol Labs LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
Louis GesbertGesbert, Louis INRIA Modern DSL compiler architecture in OCaml our experience with Catala
Mohsen GhaffariGhaffari, Mohsen IT University of CopenhagenDenmark Formal Specification and Testing for Reinforcement Learning Formal Specification and Testing for Reinforcement Learning
Jad Elkhaleq GhalayiniGhalayini, Jad Elkhaleq University of CambridgeUnited Kingdom Explicit Refinement Types
Debasish GhoshGhosh, Debasish LeadIQIndia Committee Member in Program Committee within the FUNARCH-track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Member at Large and PACMPL Advisory Board Representative in Steering Committee for ICFP 2023 Phases in Software Architecture Multi-phase computation as an applicative functor Committee Member in Program Committee within the ICFP Papers and Events-track
Andy GillGill, Andy Rain Neuromorphics, USA Committee Member in Program Committee within the ICFP Papers and Events-track
Leilani GilpinGilpin, Leilani University of California, Santa CruzUnited States Committee Member in Program Committee within the Scheme-track
Thomas GilrayGilray, Thomas University of Alabama at BirminghamUnited States Committee Member in Program Committee within the miniKanren-track
Andrés GoensGoens, Andrés the University of Edinburgh Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Gregor GoesslerGoessler, Gregor INRIA A semantics of Core Erlang with handling of signals
Harrison GoldsteinGoldstein, Harrison University of PennsylvaniaUnited States Etna: An Evaluation Platform for Property-Based Testing (Experience Report) Etna: An Evaluation Platform for Property-Based Testing (Experience Report) Reflecting on Random Generation Reflecting on Random Generation
Hannah GommerstadtGommerstadt, Hannah Vassar College Committee Member in Program Committee within the ICFP Papers and Events-track
Léon GondelmanGondelman, Léon Aarhus UniversityDenmark Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
Laure GonnordGonnord, Laure Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, FranceFrance Bit-stealing made legal Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium PC Member in Program Committee within the Erlang-track
Lourdes del Carmen González-HuescaGonzález-Huesca, Lourdes del Carmen National Autonomous University of MexicoMexico Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Alwyn GoodloeGoodloe, Alwyn NASA Langley Research Center Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing Trustworthy Runtime Verification via Bisimulation (Experience Report) Trustworthy Runtime Verification via Bisimulation (Experience Report)
Kiran GopinathanGopinathan, Kiran National University of SingaporeSingapore Committee Member in Program Committee within the OCaml-track
Visda GoudarziGoudarzi, Visda Columbia College ChicagoUnited States Committee Member in Program Committee within the FARM-track
Sebastian GrafGraf, Sebastian Karlsruhe Institute of TechnologyGermany Committee Member in Program Committee within the HIW-track
Kathy GrayGray, Kathy Meta Committee Member in Program Committee within the ICFP Student Research Competition-track
Alexander GreenGreen, Alexander Standard CharteredUnited Kingdom Committee Member in Program Committee within the Haskell-track
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States Committee Member in Program Committee within the ICFP Papers and Events-track
Ben GreenmanGreenman, Ben Brown UniversityUnited States How to Evaluate Blame for Gradual Types, Part 2
Clemens GrelckGrelck, Clemens Friedrich Schiller University JenaGermany Committee Member in Program Committee within the FHPNC-track
Samuel GruetterGruetter, Samuel Massachusetts Institute of Technology Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
Xiangyu GuoGuo, Xiangyu Arizona State University Stable Model Semantics Extension of miniKanren
Armaël GuéneauGuéneau, Armaël Inria Osiris: an Iris-based program logic for OCaml
Matthias GüdemannGüdemann, Matthias University of Applied Sciences MunichGermany Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
H Christiano HaesbaertHaesbaert, Christiano Tarides Eio 1.0 – Effects-based IO for OCaml 5
Makoto HamanaHamana, Makoto Gunma University, JapanJapan Verifying Haskell's Rewrite Rules based on Polymorphic Rewriting Theory
Peter HanukaevHanukaev, Peter Augusta University Combining Dependency, Grades, and Adjoint Logic
Anders HejlsbergHejlsberg, Anders MicrosoftUnited States TypeScript: Static types for JavaScript
Jason HemannHemann, Jason Seton Hall UniversityUnited States Session Chair of SCHEME: Session I (part of Scheme) Session Chair of SCHEME: Session III (part of Scheme) Committee Member in Program Committee within the Scheme-track
Troels HenriksenHenriksen, Troels University of Copenhagen, DenmarkDenmark Shape-Constrained Array Programming with Size-Dependent Types
Jeff HenriksonHenrikson, Jeff Functional Pearl: Signature Memoization for Drug Repurposing
Sylvain HenryHenry, Sylvain Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design
Ángel HerranzHerranz, Ángel Universidad Politécnica de MadridSpain Generation and Refinement of Testing Models
Hans-Dieter HiepHiep, Hans-Dieter Leiden Institute of Advanced Compter Science (LIACS) & Centrum Wiskunde Informatica (CWI)Netherlands Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Daniel HillerströmHillerström, Daniel Huawei Zurich Research CenterSwitzerland Student Research Competition Chair in Organizing Committee for ICFP 2023 Session Chair of HOPE: Session 2 (part of HOPE) Session Chair of HOPE: Session 3 (part of HOPE) Student research contest talks Co-chair in Program Committee within the ICFP Student Research Competition-track Committee Member in Poster Committee within the ICFP Student Research Competition-track Co-chair in Program Committee within the HOPE-track
Jonas Kastberg HinrichsenHinrichsen, Jonas Kastberg Aarhus University, DenmarkDenmark Dependent Session Protocols in Separation Logic from First Principles (Artifact) Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl) Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
Andrew K. HirschHirsch, Andrew K. University at Buffalo, SUNYUnited States Session Chair of Session typing functional pearls (part of ICFP Papers and Events) Committee Member in Program Committee within the ICFP Papers and Events-track
Son HoHo, Son INRIAFrance Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Torben HoffmannHoffmann, Torben PC Member in Program Committee within the Erlang-track
Tobias HombücherHombücher, Tobias JGU Mainz Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
Hongwei XiHongwei Xi Boston University A Dependently Typed Language with Dynamic Equality A Calculus of Inductive Linear Constructions
Nick HuHu, Nick University of OxfordUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Raymond HuHu, Raymond Queen Mary University of LondonUnited Kingdom Event-Driven Multiparty Session Actors
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Committee Member in Program Committee within the ICFP Papers and Events-track
Alex HubersHubers, Alex University of IowaUnited States Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc
John HuiHui, John Columbia University, New YorkUnited States Video Co-Chair in Organizing Committee for ICFP 2023 Committee Member in Program Committee within the FARM-track
Lars HupelHupel, Lars Giesecke+DevrientGermany Committee Member in Program Committee within the FUNARCH-track
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea Committee Member in Program Committee within the ICFP Papers and Events-track
Matthew HurHur, Matthew University of California, IrvineUnited States Modeling Graph-Based Morphology of the Synaptic Spine Head
Graham HuttonHutton, Graham University of Nottingham, UKUnited Kingdom Calculating Compilers for Concurrency Calculating Compilers for Concurrency Committee Member in Program Committee within the Haskell-track Program Chair in Program Committee within the FUNARCH-track
I Apoorv IngleIngle, Apoorv University of IowaUnited States Video Co-Chair in Organizing Committee for ICFP 2023
Arun IsaacIsaac, Arun University College London (UCL)United Kingdom Session Chair of DeclMed: Session 4 (part of DeclMed) Session Chair of DeclMed: Session 3 (part of DeclMed) Propagator networks for degenerate computation
Dmitry IvanovIvanov, Dmitry Huawei klogic: miniKanren in Kotlin
Hideya IwasakiIwasaki, Hideya Meiji University Haskell Library for Safer Virtual Machine Introspection (Experience Report)
J Guilhem JaberJaber, Guilhem Nantes UniversitéFrance Operational game semantics for generative algebraic effects and handlers
Jules JacobsJacobs, Jules Radboud University Nijmegen Dependent Session Protocols in Separation Logic from First Principles (Artifact) Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)
Dustin JamnerJamner, Dustin MIT CSAIL Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Patrik JanssonJansson, Patrik Chalmers University of TechnologySweden Session Chair of Circuits and monoids (part of ICFP Papers and Events) Committee Member in Program Committee within the ICFP Papers and Events-track
Hamza JaâfarJaâfar, Hamza Inria Operational game semantics for generative algebraic effects and handlers
Alan JeffreyJeffrey, Alan RobloxUnited States Session Chair of Types (part of ICFP Papers and Events) Committee Member in Program Committee within the ICFP Papers and Events-track
Ranjit JhalaJhala, Ranjit Epic Games The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
K Yury KamenevKamenev, Yury klogic: miniKanren in Kotlin
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Committee Member in Program Committee within the ICFP Papers and Events-track
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Semantic foundations of potential-synthesis for expected amortised-cost analysis
Aditi KantipulyKantipuly, Aditi Centers for Disease Control and Prevention Demo: Sonic Catalog of Rare Diseases
Georgios KarachaliasKarachalias, Georgios TweagFrance Crème de la Crem: Composable Representable Executable Machines
Vesa KarvonenKarvonen, Vesa Tarides Eio 1.0 – Effects-based IO for OCaml 5 Building a lock-free STM for OCaml
Shun KashiwaKashiwa, Shun University of California, Santa Cruz HasChor: Functional Choreographic Programming for All (Artifact) HasChor: Functional Choreographic Programming for All (Functional Pearl)
Shin-ya KatsumataKatsumata, Shin-ya National Institute of InformaticsJapan Committee Member in Program Committee within the HOPE-track Committee Member in Program Committee within the ICFP Papers and Events-track
Hiroyuki KatsuraKatsura, Hiroyuki University of Tokyo Higher-Order Property-Directed Reachability
Finnbar KeatingKeating, Finnbar University of WarwickUnited Kingdom This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs
Andy KeepKeep, Andy AmazonUnited States Committee Member in Program Committee within the FUNARCH-track
Sven KeidelKeidel, Sven TU Darmstadt, GermanyGermany Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
Alperen KelesKeles, Alperen University of Maryland at College ParkUnited States Programming Contest Co-Organiser in Organizing Committee for ICFP 2023 Etna: An Evaluation Platform for Property-Based Testing (Experience Report) Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Diversity Committee Member in Organizing Committee for ICFP 2023 Session Chair of FHPNC Talk #1 (part of FHPNC) JFP at ICFP Co-chair in Organizing Committee within the FHPNC-track
Oliwia KempinskiKempinski, Oliwia Visualizing Why Nondeterministic Finite-State Automa Reject
Delia KesnerKesner, Delia Université Paris Cité - CNRS - IRIF; Institut Universitaire de FranceFrance Committee Member in Program Committee within the ICFP Papers and Events-track
Anton KholomiovKholomiov, Anton HXR team Committee Member in Program Committee within the FARM-track
Donnacha Oisín KidneyKidney, Donnacha Oisín Imperial College LondonUnited Kingdom Phases in Software Architecture
Ian-Woo KimKim, Ian-Woo Mercury Technologies, Inc ghc-specter: a GHC plugin that inspects the GHC state on live
Oleg KiselyovKiselyov, Oleg Tohoku University Session Chair of ML Workshop: Session 4 (part of Higher-order, Typed, Inferred, Strict: ML Family Workshop) Session Chair of ML Workshop: Session 2 (part of Higher-order, Typed, Inferred, Strict: ML Family Workshop) Free Variable as Effect, in Practice MetaOCaml Theory and Implementation Committee Member in Program Committee within the FARM-track Committee Member in Program Committee within the OCaml-track Chair in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
Gerwin KleinKlein, Gerwin Proofcraft; UNSWAustralia Committee Member in Program Committee within the ICFP Papers and Events-track
Felix KlockKlock, Felix Amazon Web ServicesUnited States Fireside chat: Amal Ahmed hosts Felix Klock and Greg Morrisett
Naoki KobayashiKobayashi, Naoki University of TokyoJapan Higher-Order Property-Directed Reachability
Wen KokkeKokke, Wen University of Edinburgh Vehicle - A Specification Language for Neural Network Properties Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the HIW-track
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom Vehicle - A Specification Language for Neural Network Properties Committee Member in Program Committee within the miniKanren-track
Thomas KoopmanKoopman, Thomas Radboud University Rank-Polymorphism for Shape-Guided Blocking
Parisa KordjamshidiKordjamshidi, Parisa Michigan State UniversityUnited States Declarative Programming for Designing Neuro-Symbolic Learning Models Committee Member in Program Committee within the DeclMed-track
Joomy KorkutKorkut, Joomy Princeton UniversityUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Daniel KornKorn, Daniel Every CureUnited States Aggregating combinatorial biomedical graph ranking results for drug repurposing
Paulette KoronkevichKoronkevich, Paulette University of British Columbia Getting the Most Out of ICFP One Weird Trick to Untie Landin's Knot
Dmitrii KosarevKosarev, Dmitrii Saint Petersburg State University, RussiaRussia klogic: miniKanren in Kotlin
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Dependent Session Protocols in Separation Logic from First Principles (Artifact) Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States What Happens When Students Switch (Functional) Languages (Experience Report) Committee Member in Program Committee within the FUNARCH-track
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom Explicit Refinement Types
Robert KrookKrook, Robert Chalmers University of Technology, Sweden HasTEE: Programming Trusted Execution Environments with Haskell
Wiktor KuchtaKuchta, Wiktor University of Wrocław A proof of normalization for effect handlers
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Welcome to the Erlang Workshop Closing of the Erlang Workshop Co-chair in Organizing Committee within the Erlang-track
Ankit KumarKumar, Ankit Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States An Exceptional Actor System (Functional Pearl) HasChor: Functional Choreographic Programming for All (Artifact) HasChor: Functional Choreographic Programming for All (Functional Pearl) Committee Member in Program Committee within the FHPNC-track
Satoshi KuraKura, Satoshi National Institute of Informatics Higher-Order Weakest Precondition Transformers via a CPS Transformation
Chhi’mèd KünzangKünzang, Chhi’mèd Lurk Lab LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
L Patrick LaFontaineLaFontaine, Patrick Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Session Chair of Haskell: Keynote 2 (part of Haskell) Getting Productive in Research Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing Etna: An Evaluation Platform for Property-Based Testing (Experience Report) Etna: An Evaluation Platform for Property-Based Testing (Experience Report) Committee Member in Program Committee within the Haskell-track
Max LangLang, Max Technische Universität MünchenGermany Less Power for More Learning: Restricting OCaml Features for Effective Teaching
Vincent LAVIRONLAVIRON, Vincent OCamlPro Flambda 2 Types: An abstract domain for static analysis of functional programs (moved from OCaml workshop) Efficient OCaml compilation with Flambda 2 Flambda 2 Types: An abstract domain for static analysis of functional programs
Julia LawallLawall, Julia InriaFrance Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track Committee Member in Program Committee within the Scheme-track
Lukas LazarekLazarek, Lukas Northwestern University How to Evaluate Blame for Gradual Types, Part 2
Joy LeeLee, Joy Aurora: Goddess of Dawn
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Diversity Committee Chair in Organizing Committee for ICFP 2023 Diversity Chair in Steering Committee for ICFP 2023 Getting Productive in Research Exploring Perceus For OCaml Diversity, equality, and inclusion at ICFP FP²: Fully in-Place Functional Programming FP^2: Fully in-Place Functional Programming
Mark LemayLemay, Mark Autodesk A Dependently Typed Language with Dynamic Equality
John LeoLeo, John Halfaya ResearchUnited States Session Chair of FARM Session 2 (part of FARM) Session Chair of FARM Session 1 (part of FARM) Program Chair in Program Committee within the FARM-track Program Chair in Organizing Committee within the FARM-track Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Thomas LeonardLeonard, Thomas Tarides Eio 1.0 – Effects-based IO for OCaml 5 Building a lock-free STM for OCaml Porting Lwt applications to OCaml 5 and Eio
Yufeng LiLi, Yufeng University of Waterloo Is Sized Typing for Coq Practical?
Jannis LimpergLimperg, Jannis University of Munich (LMU)Germany Artifact Evaluation Chair in Organizing Committee for ICFP 2023 Co-chair in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom PC Chair in Organizing Committee for ICFP 2023 ICFP'23 Program Chair in Steering Committee for ICFP 2023 Session Chair of Morning keynote (part of ICFP Keynotes) PC Chair's report PC Chair in Program Committee within the ICFP Papers and Events-track Committee Member in Selection Committee within the ICFP Tutorials-track
Amanda LiuLiu, Amanda Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Yiyun LiuLiu, Yiyun University of Pennsylvania Dependently-typed Programming with Logical Equality Reflection Dependently-Typed Programming with Logical Equality Reflection
Yuxi LongLong, Yuxi Duke University A Haskell Auto-Parallelizer for Distributed Computing
Anton LorenzenLorenzen, Anton University of EdinburghUnited Kingdom FP²: Fully in-Place Functional Programming FP^2: Fully in-Place Functional Programming
Kuang-Chen LuLu, Kuang-Chen Brown University, USAUnited States What Happens When Students Switch (Functional) Languages (Experience Report)
Jonathan LudlamLudlam, Jonathan University of Cambridge Porting Lwt applications to OCaml 5 and Eio
Matthew LutzeLutze, Matthew Aarhus University With or Without You: Programming with Effect Exclusion With or Without You: Programming with Effect Exclusion
Andres LöhLöh, Andres Well-Typed LLPUnited Kingdom Committee Member in Program Committee within the FUNARCH-track
M Weixi MaMa, Weixi Meta A Type System For Feature Engineering (Extended Abstract)
Thales Macedo GariteziMacedo Garitezi, Thales EMQ TechnologiesSweden Mria: an eventually consistent Mnesia
David MacQueenMacQueen, David University of Chicago (Emeritus) A New Standard ML Prettyprinter Library, An Experience Report Modernizing Standard ML of New Jersey: A Status Report
Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge, UKUnited Kingdom State of the OCaml Platform 2023 Eio 1.0 – Effects-based IO for OCaml 5 Programming for the planet Committee Member in Program Committee within the FUNARCH-track
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark With or Without You: Programming with Effect Exclusion With or Without You: Programming with Effect Exclusion Committee Member in Program Committee within the TyDe-track
José Pedro MagalhãesMagalhães, José Pedro Standard Chartered BankUnited Kingdom Committee Member in Program Committee within the ICFP Papers and Events-track Committee Member in Program Committee within the FUNARCH-track
Ke MaoMao, Ke Meta Keynote: Code Analysis at WhatsApp
Sonia MarinMarin, Sonia University of BirminghamUnited Kingdom Committee Member in Program Committee within the ICFP Papers and Events-track
Julio MariñoMariño, Julio Universidad Politécnica de MadridSpain Generation and Refinement of Testing Models
Simon MarlowMarlow, Simon MetaUnited Kingdom Committee Member in Program Committee within the FUNARCH-track
James MarshallMarshall, James Sarah Lawrence College The Calysto Scheme Project
Guido MartínezMartínez, Guido Microsoft ResearchUnited States Local Organization Co-Chair in Organizing Committee for ICFP 2023
Cristina MatacheMatache, Cristina University of Edinburgh Committee Member in Program Committee within the HOPE-track
Shae Matijs ErissonMatijs Erisson, Shae Kudzu (Lightning Talk)
Kazutaka MatsudaMatsuda, Kazutaka Tohoku UniversityJapan Embedding by Unembedding Embedding by Unembedding
Thibaut MattioMattio, Thibaut Tarides State of the OCaml Platform 2023
Andrea MazzarielloMazzariello, Andrea As music overheard, as image made light.
Dylan McDermottMcDermott, Dylan Reykjavik UniversityIceland Committee Member in Program Committee within the ICFP Papers and Events-track
Trevor L. McDonellMcDonell, Trevor L. Utrecht UniversityNetherlands Co-chair in Program Committee within the Haskell-track
Finley McIlwaineMcIlwaine, Finley Well-Typed LLPUnited States Advancements in info table profiling (Lightning Talk)
James McKinnaMcKinna, James Heriot-Watt UniversityUnited Kingdom Committee Member in Program Committee within the ICFP Papers and Events-track
Craig McLaughlinMcLaughlin, Craig UNSW SydneyAustralia Committee Member in Program Committee within the HOPE-track
Hannes MehnertMehnert, Hannes RoburGermany Committee Member in Program Committee within the FUNARCH-track
Erik MeijerMeijer, Erik FacebookUnited States Committee Member in Program Committee within the FUNARCH-track
Orestis MelkonianMelkonian, Orestis University of EdinburghUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Denis MerigouxMerigoux, Denis INRIAFrance Modern DSL compiler architecture in OCaml our experience with Catala
Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States Co-chair in Organizing Committee within the PLMW @ ICFP-track
Jan MidtgaardMidtgaard, Jan TaridesDenmark Committee Member in Program Committee within the ICFP Papers and Events-track
Matthew MightMight, Matthew University of Alabama at Birmingham \| Harvard Medical SchoolUnited States The Algorithm for Precision Medicine Organizer; Publicity Coordinator in Organizing Committee within the DeclMed-track Publicity Chair in Program Committee within the DeclMed-track
Mae MilanoMilano, Mae University of California at BerkeleyUnited States Session Chair of FARM Session 2 (part of FARM) Session Chair of FARM Session 1 (part of FARM) Getting Productive in Research General Chair in Organizing Committee within the FARM-track
Tijana MinicMinic, Tijana Seton Hall University Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation
Victor Cacciari MiraldoMiraldo, Victor Cacciari ChannableNetherlands Committee Member in Program Committee within the TyDe-track
Soumya Smruti MishraMishra, Soumya Smruti Amazon Web Services Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Neil MitchellMitchell, Neil Meta Buck2 for OCaml Users & Developers
Bartosz ModelskiModelski, Bartosz Tarides Building a lock-free STM for OCaml
Andrey MokhovMokhov, Andrey Jane StreetUnited Kingdom Committee Member in Program Committee within the OCaml-track Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
Benoît MontaguMontagu, Benoît InriaFrance Session Chair of Session 1 (part of OCaml) The Design and Implementation of an Abstract Interpreter for OCaml Programs: A Preliminary Report on the Salto Analyser Committee Member in Program Committee within the OCaml-track Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
Carine MorelMorel, Carine Tarides Building a lock-free STM for OCaml
J. Garrett MorrisMorris, J. Garrett University of IowaUnited States Student Research Competition Co-Chair in Organizing Committee for ICFP 2023 Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc Student research contest talks Co-chair in Program Committee within the ICFP Student Research Competition-track Committee Member in Poster Committee within the ICFP Student Research Competition-track
Greg MorrisettMorrisett, Greg Cornell UniversityUnited States Fireside chat: Amal Ahmed hosts Felix Klock and Greg Morrisett
Georg MoserMoser, Georg University of Innsbruck Semantic foundations of potential-synthesis for expected amortised-cost analysis
Sean MossMoss, Sean University of Oxford Committee Member in Program Committee within the ICFP Papers and Events-track
Sierra MoxonMoxon, Sierra Lawrence Berkeley National Laboratory Session Chair of DeclMed: Session 2 (part of DeclMed) Session Chair of DeclMed: Session 1 (part of DeclMed) Biolink Model: a Universal Schema for Knowledge Graphs in Clinical, Biomedical, and Translational Science
Shin-Cheng MuMu, Shin-Cheng Academia Sinica, TaiwanTaiwan Member at large in Steering Committee for ICFP 2023 Committee Member in Program Committee within the ICFP Student Research Competition-track
Stefan K. MullerMuller, Stefan K. Illinois Institute of TechnologyUnited States Co-chair in Organizing Committee within the PLMW @ ICFP-track
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume INRIAFrance Resource polymorphism: proposal for integrating first-class resources into ML Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
Christopher MungallMungall, Christopher Lawrence Berkeley National LaboratoryUnited States Strange loops: journeys in declarative logic programming in genomics and beyond
Rasmus Ejlers MøgelbergMøgelberg, Rasmus Ejlers IT University of CopenhagenDenmark Asynchronous Modal FRP
Anders MøllerMøller, Anders Aarhus UniversityDenmark SIGPLAN Vice Chair in Steering Committee for ICFP 2023
N Ramana NagasamudramNagasamudram, Ramana Stevens Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
YSS Narasimha NaiduNaidu, YSS Narasimha IIT Madras Building a lock-free STM for OCaml
Max S. NewNew, Max S. University of Michigan Session Chair of HOPE: Session 4 (part of HOPE) Session Chair of HOPE: Session 1 (part of HOPE) Co-chair in Program Committee within the HOPE-track
Ryan R. NewtonNewton, Ryan R. Purdue University & Meta PlatformsUnited States Committee Member in Program Committee within the FHPNC-track
Rumyana NeykovaNeykova, Rumyana Brunel University London Committee Member in Program Committee within the Haskell-track
Ernest NgNg, Ernest University of Pennsylvania Mica: Automated Property-Based Testing for OCaml Modules
Minh NguyenNguyen, Minh University of BristolUnited Kingdom Effect Handlers for Programmable Inference
Olivier NicoleNicole, Olivier Tarides Runtime Detection of Data Races in OCaml with ThreadSanitizer MacoCaml: Staging Composable and Compilable Macros MacoCaml: Staging Composable and Compilable Macros
Yuki NishidaNishida, Yuki Kyoto University Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Raimo NiskanenNiskanen, Raimo Ericsson, SE TLS the Erlang/OTP way (Experience Report)
James NobleNoble, James Research & ProgrammingNew Zealand Committee Member in Program Committee within the HOPE-track
Fredrik Nordvall ForsbergNordvall Forsberg, Fredrik University of StrathclydeUnited Kingdom Committee Member in Program Committee within the HOPE-track
Jose Nuno OliveiraNuno Oliveira, Jose University of Minho; INESC TECPortugal Committee Member in Program Committee within the Haskell-track
O Cosmin OanceaOancea, Cosmin University of Copenhagen, DenmarkDenmark Committee Member in Program Committee within the FHPNC-track
Léonard Oest O'LearyOest O'Leary, Léonard Université de MontréalCanada A R4RS Compliant REPL in 8Kb
Yoshiki OhshimaOhshima, Yoshiki Croquet Corporation, Shizuoka UniversityJapan Committee Member in Program Committee within the FARM-track
Cyrus OmarOmar, Cyrus University of MichiganUnited States Getting Productive in Research
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Towards Higher-level Abstractions for Molecular Programming
Takato OtsukaOtsuka, Takato The University of Electro-Communications Haskell Library for Safer Virtual Machine Introspection (Experience Report)
P Marcin PaczkowskiPaczkowski, Marcin Accelerometers as an Instrument
Sudha ParimalaParimala, Sudha TaridesIndia Eio 1.0 – Effects-based IO for OCaml 5 Building a lock-free STM for OCaml Committee Member in Program Committee within the OCaml-track
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology) Committee Member in Program Committee within the ICFP Papers and Events-track
Adam PaszkePaszke, Adam Google ResearchPoland Infix-Extensible Record Types for Tabular Data
Eric PatrizioPatrizio, Eric OCamlPro Owi: an interpreter and a toolkit for WebAssembly written in OCaml
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States Semantic Encapsulation using Linking Types
Paul-Elliot Paul-Elliot Tarides Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Jennifer PaykinPaykin, Jennifer IntelUnited States Exploring modal types for the Intel Quantum SDK (Extended Abstract) Committee Member in Program Committee within the Haskell-track
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Roly PereraPerera, Roly Alan Turing InstituteUnited Kingdom Effect Handlers for Programmable Inference
Ivan PerezPerez, Ivan NASA Ames Research Center Types that Change: The Extensible Type Design Pattern The Beauty and Elegance of Functional Reactive Animation The Essence of Reactivity Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing Trustworthy Runtime Verification via Bisimulation (Experience Report) Trustworthy Runtime Verification via Bisimulation (Experience Report) Committee Member in Program Committee within the FUNARCH-track
Marco PeronePerone, Marco Italy Crème de la Crem: Composable Representable Executable Machines
Nico PetzendorferPetzendorfer, Nico Department of Computer Science, Technische Universität München, Garching, Germany Less Power for More Learning: Restricting OCaml Features for Effective Teaching
Simon Peyton JonesPeyton Jones, Simon Epic Games United Kingdom Session Chair of Ask me anything with Tim Sweeney (part of ICFP Papers and Events) How to Write a Great Research Paper GHC status report The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Brigitte PientkaPientka, Brigitte McGill UniversityCanada ICFP '24 Program Chair in Steering Committee for ICFP 2023
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Session Chair of Blame and education (part of ICFP Papers and Events) A History of Subtyping Getting Productive in Research Etna: An Evaluation Platform for Property-Based Testing (Experience Report) Etna: An Evaluation Platform for Property-Based Testing (Experience Report) Reflecting on Random Generation Reflecting on Random Generation Committee Member in Program Committee within the ICFP Papers and Events-track
Dario PintoPinto, Dario OCamlPro Owi: an interpreter and a toolkit for WebAssembly written in OCaml
Elton PintoPinto, Elton Georgia Institute of Technology Exploring Perceus For OCaml
Kai PischkePischke, Kai University of OxfordUnited Kingdom Higher-Order Hardware Description
Lucas PluvinagePluvinage, Lucas TaridesFrance Eio 1.0 – Effects-based IO for OCaml 5
Joe Gibbs PolitzPolitz, Joe Gibbs University of California at San DiegoUnited States Committee Member in Program Committee within the Scheme-track
Bogdan PopaPopa, Bogdan Romania Functional Shell and Reusable Components for Easy GUIs
Alex PotaninPotanin, Alex Australian National UniversityAustralia Pipit: Reactive Systems in F★ (Extended Abstract)
François PottierPottier, François InriaFrance Osiris: an Iris-based program logic for OCaml
Matija PretnarPretnar, Matija University of Ljubljana, SloveniaSlovenia Committee Member in Program Committee within the OCaml-track Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
Pjotr PrinsPrins, Pjotr University of Tennessee Health Science CenterUnited States Why code in Python+C if you can code in Lisp+Zig? Committee Member in Program Committee within the DeclMed-track
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification Committee Member in Program Committee within the OCaml-track Committee Member in Program Committee within the TyDe-track
Mateusz PyzikPyzik, Mateusz University of Wrocław A General Fine-Grained Reduction Theory for Effect Handlers A General Fine-Grained Reduction Theory for Effect Handlers
Q Weihao QuQu, Weihao Boston University Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
R Gabriel RadanneRadanne, Gabriel InriaFrance Session Chair of Meta programming (part of ICFP Papers and Events) Bit-stealing made legal Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types Committee Member in Poster Committee within the ICFP Student Research Competition-track Committee Member in Program Committee within the ICFP Papers and Events-track
Mike RaineyRainey, Mike Carnegie Mellon UniversityUnited States The best multicore-parallelization refactoring you've never heard of
Tahina RamananandroRamananandro, Tahina Microsoft ResearchUnited States Local Organization Co-Chair in Organizing Committee for ICFP 2023 Session Chair of Verification 1 (part of ICFP Papers and Events) Committee Member in Program Committee within the ICFP Papers and Events-track
Steven RamsayRamsay, Steven University of BristolUnited Kingdom Effect Handlers for Programmable Inference
Stephen RamseyRamsey, Stephen Oregon State UniversityUnited States Welcome and Opening Remarks Organizer in Organizing Committee within the DeclMed-track Co-chair in Program Committee within the DeclMed-track
Christopher RaphaelRaphael, Christopher Indiana UniversityUnited States Committee Member in Program Committee within the FARM-track
Marianna RapoportRapoport, Marianna Amazon Web ServicesCanada Committee Member in Program Committee within the TyDe-track
Patrick RedmondRedmond, Patrick University of California at Santa Cruz An Exceptional Actor System (Functional Pearl)
John ReppyReppy, John University of Chicago, USA Modernizing Standard ML of New Jersey: A Status Report
Aviel ResnickResnick, Aviel University of Pennsylvania Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Cynthia RicheyRichey, Cynthia University of Washington What is a "Good" Ruleset? Comparing Rulesets Using Equality Saturation
Lionel RiegRieg, Lionel Verimag Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Talia RingerRinger, Talia University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the ICFP Papers and Events-track
Nick RiouxRioux, Nick University of PennsylvaniaUnited States Granite: Compositional Functional Logic Programming
Exequiel RivasRivas, Exequiel Tallinn University of Technology Committee Member in Program Committee within the Haskell-track
Christine RizkallahRizkallah, Christine University of MelbourneAustralia The Cogent and Dargent approach to facilitating verified software development Committee Member in Program Committee within the TyDe-track
Amos RobinsonRobinson, Amos Australian National University, AustraliaAustralia Session Chair of Modal FRP (part of ICFP Papers and Events) Pipit: Reactive Systems in F★ (Extended Abstract) Committee Member in Program Committee within the ICFP Papers and Events-track
Daniel RogozinRogozin, Daniel University College London LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
Andreas RossbergRossberg, Andreas IndependentGermany As low-level as possible, but no lower Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
Butch RovanRovan, Butch Brown UniversityUnited States Committee Member in Program Committee within the FARM-track
Claude RubinsonRubinson, Claude University of Houston-DowntownUnited States Committee Member in Program Committee within the OCaml-track
Fabian RuchRuch, Fabian UnaffiliatedSweden Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Neea RuschRusch, Neea Augusta UniversityUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Alejandro RussoRusso, Alejandro Chalmers University of Technology, SwedenArgentina Diversity Committee Member in Organizing Committee for ICFP 2023 HasTEE: Programming Trusted Execution Environments with Haskell
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Steering Committee Chair in Steering Committee for ICFP 2023 Session Chair of Keynote (part of ICFP Keynotes)
S Takafumi SaikawaSaikawa, Takafumi Nagoya UniversityJapan A type-theoretic account of quantum computation (Extended Abstract)
Ayumu SaitoSaito, Ayumu Tokyo Institute of Technology An Intrinsically-typed Probabilistic Programming Language in Coq (Extended Abstract)
Ken SakayoriSakayori, Ken The University of TokyoJapan Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Abhiroop SarkarSarkar, Abhiroop Chalmers University of TechnologySweden HasTEE: Programming Trusted Execution Environments with Haskell
Susmit SarkarSarkar, Susmit University of St. Andrews Committee Member in Program Committee within the ICFP Papers and Events-track
Ryosuke SatoSato, Ryosuke University of TokyoJapan Higher-Order Property-Directed Reachability
Gabriel SchererScherer, Gabriel INRIA SaclayFrance Co-chair in Program Committee within the OCaml-track Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
Albert SchimpfSchimpf, Albert University of Kaiserslautern-LandauGermany Invited Talk: Set-theoretic Types for Erlang
Stefanie SchirmerSchirmer, Stefanie DuckDuckGoGermany Committee Member in Program Committee within the FUNARCH-track
Marc ScholtenScholten, Marc digitally inducedGermany Building web apps with Haskell and IHP (Lightning Talk)
Sven-Bodo ScholzScholz, Sven-Bodo Heriot-Watt UniversityUnited Kingdom Rank-Polymorphism for Shape-Guided Blocking Immutable Arrays Help Mutating Arrays More Efficiently
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Phases in Software Architecture
Adriana SchulzSchulz, Adriana University of WashingtonUnited States Exploring Self-Embedded Knitting Programs with Twine
Philipp SchusterSchuster, Philipp University of TübingenGermany With or Without You: Programming with Effect Exclusion With or Without You: Programming with Effect Exclusion
Ryan ScottScott, Ryan Galois, Inc.United States Session Chair of HIW: Introduction + GHC status report (part of HIW) Introduction Trustworthy Runtime Verification via Bisimulation (Experience Report) Trustworthy Runtime Verification via Bisimulation (Experience Report) Program Chair in Program Committee within the HIW-track
Audrey SeoSeo, Audrey University of Washington, SeattleUnited States Student Volunteer Co-Chair in Organizing Committee for ICFP 2023 Co-chair in Student Volunteers Committee within the ICFP Volunteers-track
Ilya SergeySergey, Ilya National University of SingaporeSingapore Publicity Chair in Organizing Committee for ICFP 2023 Publicity Chair in Steering Committee for ICFP 2023
Bhakti ShahShah, Bhakti University of Chicago Visualizing Graphical Proofs in Coq
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States Committee Member in Program Committee within the FARM-track
Mary SheeranSheeran, Mary Chalmers Session Chair of FHPNC Talks #3 (part of FHPNC)
Mary SheeranSheeran, Mary Chalmers \| University of Gothenburg Efficient GPU Implementation of Affine Index Permutations on Arrays
Gan ShenShen, Gan University of California, Santa Cruz, USA HasChor: Functional Choreographic Programming for All (Artifact) HasChor: Functional Choreographic Programming for All (Functional Pearl)
Ben ShermanSherman, Ben Committee Member in Program Committee within the FARM-track
Jessica ShiShi, Jessica University of Pennsylvania Etna: An Evaluation Platform for Property-Based Testing (Experience Report) Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
Zaiming ShiShi, Zaiming EMQ Technologies Mria: an eventually consistent Mnesia
Mark ShinwellShinwell, Mark Jane Street Flambda 2 Types: An abstract domain for static analysis of functional programs (moved from OCaml workshop) Efficient OCaml compilation with Flambda 2 Flambda 2 Types: An abstract domain for static analysis of functional programs
Olin ShiversShivers, Olin Epic Games The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
John ShorttShortt, John University of Ottawa Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Fridtjof SiebertSiebert, Fridtjof Tokiwa Software GmbH Types as First-Class Values in Fuzion (Extended Abstract)
Filip SieczkowskiSieczkowski, Filip Heriot-Watt UniversityUnited Kingdom Session Chair of TyDe: Type-Driven Designs (part of TyDe) A General Fine-Grained Reduction Theory for Effect Handlers A General Fine-Grained Reduction Theory for Effect Handlers Committee Member in Program Committee within the TyDe-track
Anne SiegelSiegel, Anne Institut de Recherche en Informatique et Systèmes AléatoiresFrance Committee Member in Program Committee within the DeclMed-track
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Teaching and Learning Compilers Incrementally
Jakob Grue SimonsenSimonsen, Jakob Grue University of CopenhagenDenmark Read/write factorizable programs
Abhishek Kr SinghSingh, Abhishek Kr Tel Aviv UniversityIsrael Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Pratap SinghSingh, Pratap CMU Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
Satnam SinghSingh, Satnam GroqUnited States Session Chair of Concurrency and distribution (part of ICFP Papers and Events)
Satnam SinghSingh, Satnam Programming the Groq TSP Architecture in Haskell with Haste
Satnam SinghSingh, Satnam GroqUnited States Committee Member in Program Committee within the ICFP Papers and Events-track Committee Member in Program Committee within the FHPNC-track
Marjan SirjaniSirjani, Marjan Malardalen UniversitySweden PC Member in Program Committee within the Erlang-track
KC SivaramakrishnanSivaramakrishnan, KC IIT Madras and TaridesIndia Eio 1.0 – Effects-based IO for OCaml 5 Building a lock-free STM for OCaml
Rebecca SkinnerSkinner, Rebecca MercuryUnited States Committee Member in Program Committee within the HIW-track
James SmithSmith, James Stable Model Semantics Extension of miniKanren
Jeffrey SnyderSnyder, Jeffrey Princeton UniversityUnited States Committee Member in Program Committee within the FARM-track
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of TechnologyUnited States Committee Member in Program Committee within the ICFP Papers and Events-track
Mallku SoldevilaSoldevila, Mallku FAMAF, UNC (Argentina) / CONICET (Argentina)Argentina Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Andrew SorensenSorensen, Andrew Australian National University Committee Member in Program Committee within the FARM-track
Franciszek SowulSowul, Franciszek University of Glasgow Special Delivery: Programming with Mailbox Types Special Delivery: Programming with Mailbox Types
Antal Spector-ZabuskySpector-Zabusky, Antal Session Chair of Haskell: Session 3 (part of Haskell)
Michael SperberSperber, Michael Active Group GmbHGermany Session Chair of FUNARCH Talks #3 (part of FUNARCH) Session Chair of FUNARCH Talks #4 (part of FUNARCH) Fast Deep Learning with Categories Functional Programming in the Large - Status and Perspective Teaching Functional Programming Publicity Chair in Organizing Committee within the FARM-track Committee Member in Program Committee within the Haskell-track Program Chair in Program Committee within the FUNARCH-track
Arnaud SpiwackSpiwack, Arnaud TweagFrance Session Chair of Compilation (part of ICFP Papers and Events) Committee Member in Program Committee within the ICFP Papers and Events-track
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom Committee Member in Program Committee within the ICFP Papers and Events-track
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Leo StefanescoStefanesco, Leo MPI-SWSGermany Committee Member in Program Committee within the ICFP Student Research Competition-track
Jonathan SterlingSterling, Jonathan Aarhus UniversityDenmark Committee Member in Program Committee within the ICFP Papers and Events-track
Michel SteuwerSteuwer, Michel Technische Universität Berlin / University of EdinburghGermany Committee Member in Program Committee within the Haskell-track
Perdita StevensStevens, Perdita University of EdinburghUnited Kingdom Committee Member in Program Committee within the FUNARCH-track
Quentin StiévenartStiévenart, Quentin Vrije Universiteit BrusselBelgium Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2023 Co-chair in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Aaron StumpStump, Aaron The University of Iowa, USAUnited States Committee Member in Program Committee within the TyDe-track
Cecila SuhrSuhr, Cecila Humanity: From Survival to Revival
Yaozhu SunSun, Yaozhu University of Hong KongChina Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Hector SuzanneSuzanne, Hector LIP6 - Sorbonne Université & CNRSFrance Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States General Chair in Organizing Committee for ICFP 2023 ICFP'23 General Chair in Steering Committee for ICFP 2023 Session Chair of Afternoon keynote (part of ICFP Keynotes) Session Chair of Welcome (part of ICFP Papers and Events) Session Chair of Business meeting (part of ICFP Papers and Events) Welcome Committee Member in Selection Committee within the ICFP Tutorials-track
Tim SweeneySweeney, Tim Epic Games Ask me anything with Tim Sweeney The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands A well-known representation of monoids and its application to the function ‘vector reverse’ FP²: Fully in-Place Functional Programming FP^2: Fully in-Place Functional Programming
Dmitrij SzamozvancevSzamozvancev, Dmitrij University of CambridgeUnited Kingdom Safe and efficient generic functions with MacoCaml Committee Member in Program Committee within the FARM-track
T Marco T MorazanT Morazan, Marco Seton Hall UniversityUnited States Session Chair of SCHEME: Session II (part of Scheme) Visualizing Why Nondeterministic Finite-State Automa Reject Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation Committee Member in Program Committee within the Scheme-track
Gerard TaboneTabone, Gerard University of MaltaMalta Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Éric TanterTanter, Éric University of Chile Committee Member in Program Committee within the ICFP Papers and Events-track
Andrew TaoTao, Andrew Princeton University Parallel Sequences in Multicore OCaml
Silvia Lizeth Tapia TarifaTapia Tarifa, Silvia Lizeth University of Oslo, Norway PC Member in Program Committee within the Erlang-track
Zachary TatlockTatlock, Zachary University of WashingtonUnited States Exploring Self-Embedded Knitting Programs with Twine
Stephen TaylorTaylor, Stephen University of Illinois Urbana-Champaign Demo: Sonic Catalog of Rare Diseases
Peter ThiemannThiemann, Peter University of Freiburg, Germany Session Chair of Language design (part of ICFP Papers and Events) Towards Tagless Interpretation of Stratified System F (Extended Abstract) Artifact: Intrinsically Typed Sessions With Callbacks Intrinsically Typed Sessions with Callbacks (Functional Pearl) Committee Member in Program Committee within the ICFP Papers and Events-track Committee Member in Program Committee within the TyDe-track
Dylan ThinnesThinnes, Dylan Digital AssetUnited Kingdom Error Message Annotation Plugins for Haskell
Amin TimanyTimany, Amin Aarhus UniversityDenmark Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University Session Chair of Fixpoints (part of ICFP Papers and Events) Committee Member in Program Committee within the ICFP Papers and Events-track
Carlos Tomé CortiñasTomé Cortiñas, Carlos Chalmers University of TechnologySweden Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Matías ToroToro, Matías University of ChileChile Committee Member in Program Committee within the HOPE-track
Phil TrinderTrinder, Phil University of Glasgow Special Delivery: Programming with Mailbox Types Special Delivery: Programming with Mailbox Types PC Member in Program Committee within the Erlang-track
Ethel TshukuduTshukudu, Ethel University of Botswana What Happens When Students Switch (Functional) Languages (Experience Report)
Takeshi TsukadaTsukada, Takeshi Chiba UniversityJapan Committee Member in Program Committee within the ICFP Papers and Events-track
Serhii TupchiiTupchii, Serhii EMQ Technologies Mria: an eventually consistent Mnesia
Edwin TörökTörök, Edwin XenServer, Cloud Software GroupUnited Kingdom Targeted Static Analysis for OCaml C Stubs: Eliminating gremlins from the code
V José ValimValim, José Dashbit Invited Talk: A Type System for Elixir
Jasper Van der JeugtVan der Jeugt, Jasper SnykSwitzerland Committee Member in Program Committee within the Haskell-track
Peter Van RoyVan Roy, Peter Université catholique de LouvainBelgium PC Member in Program Committee within the Erlang-track
Hans VandierendonckVandierendonck, Hans Queen's University BelfastUnited Kingdom Committee Member in Program Committee within the FHPNC-track
Mahsa VarshosazVarshosaz, Mahsa IT University of Copenhagen, DenmarkDenmark Formal Specification and Testing for Reinforcement Learning Formal Specification and Testing for Reinforcement Learning
Niki VazouVazou, Niki IMDEA Software Institute Session Chair of Verification 2 (part of ICFP Papers and Events) Session Chair of Haskell: Demos (part of Haskell) Session Chair of Haskell: Keynote 1 (part of Haskell) Welcome PC Chair Report Co-chair in Program Committee within the Haskell-track Committee Member in Poster Committee within the ICFP Student Research Competition-track Committee Member in Program Committee within the ICFP Papers and Events-track
Ekaterina VerbitskaiaVerbitskaia, Ekaterina JetBrainsSerbia Semi-Automated Direction-Driven Functional Conversion Committee Member in Program Committee within the miniKanren-track
Marcos VieraViera, Marcos University of the Republic, Uruguay Committee Member in Program Committee within the ICFP Papers and Events-track
Mirko ViroliViroli, Mirko Alma Mater Studiorum - Università di Bologna PC Member in Program Committee within the Erlang-track
Michael VollmerVollmer, Michael University of KentUnited Kingdom Committee Member in Program Committee within the FHPNC-track
Dimitrios VytiniotisVytiniotis, Dimitrios DeepMindUnited Kingdom Committee Member in Program Committee within the FHPNC-track
W Andrew WagnerWagner, Andrew Northeastern University Semantic Encapsulation using Linking Types
Meng WangWang, Meng University of BristolUnited Kingdom Effect Handlers for Programmable Inference Reflecting on Random Generation Embedding by Unembedding Reflecting on Random Generation Embedding by Unembedding
Yisu Remy WangWang, Yisu Remy University of WashingtonUnited States Student Volunteer Co-Chair in Organizing Committee for ICFP 2023 Co-chair in Student Volunteers Committee within the ICFP Volunteers-track
Stefan WehrWehr, Stefan Offenburg University of Applied SciencesGermany Session Chair of FUNARCH Talks #1 (part of FUNARCH) A Software Architecture Based on Coarse-Grained Self-Adjusting Computations Invited Talk: Set-theoretic Types for Erlang Committee Member in Program Committee within the FUNARCH-track
Guannan WeiWei, Guannan Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Marius WeidnerWeidner, Marius University of Freiburg Towards Tagless Interpretation of Stratified System F (Extended Abstract)
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Dependently-typed Programming with Logical Equality Reflection Dependently-Typed Programming with Logical Equality Reflection
Shiwei WengWeng, Shiwei Johns Hopkins UniversityUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Sam WestrickWestrick, Sam Carnegie Mellon UniversityUnited States Session Chair of FHPNC Talk #2 (part of FHPNC) How to Thrive as a PhD student in PL Co-chair in Organizing Committee within the FHPNC-track
Leo WhiteWhite, Leo Jane Street Semi-explicit polymorphic parameters Safe and efficient generic functions with MacoCaml MacoCaml: Staging Composable and Compilable Macros MacoCaml: Staging Composable and Compilable Macros
Aurélie Kong Win ChangWin Chang, Aurélie Kong Univ. Grenoble Alpes, InriaFrance A semantics of Core Erlang with handling of signals
Daniel Winograd-CortWinograd-Cort, Daniel Luminous ComputingUnited States Committee Member in Program Committee within the FARM-track
Scott WlaschinWlaschin, Scott FPbridgeUnited Kingdom Committee Member in Program Committee within the FUNARCH-track
Cameron WongWong, Cameron LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
Andy WrightWright, Andy MIT Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
Tobias WrigstadWrigstad, Tobias Uppsala University, SwedenSweden PC Member in Program Committee within the Erlang-track
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Phases in Software Architecture The Evolution of Effects Modular Models of Monoids with Operations Embedding by Unembedding Embedding by Unembedding
Shiyou WuWu, Shiyou Duke University A Haskell Auto-Parallelizer for Distributed Computing
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark Formal Specification and Testing for Reinforcement Learning Formal Specification and Testing for Reinforcement Learning
X Li-yao XiaXia, Li-yao University of Edinburgh Session Chair of HIW: Session 1 (part of HIW) Deriving as a library (Lightning Talk) Committee Member in Program Committee within the HIW-track
Ningning XieXie, Ningning University of TorontoCanada Session Chair of Effects (part of ICFP Papers and Events) Session Chair of TyDe: Type-Driven Runtimes (part of TyDe) Infix-Extensible Record Types for Tabular Data Safe and efficient generic functions with MacoCaml Haskell for choice-based learning MacoCaml: Staging Composable and Compilable Macros MacoCaml: Staging Composable and Compilable Macros Committee Member in Program Committee within the TyDe-track
Yingjie XuXu, Yingjie Duke University A Haskell Auto-Parallelizer for Distributed Computing
Xu XueXue, Xu The University of Hong Kong Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Session Chair of Session 4 (part of OCaml) Safe and efficient generic functions with MacoCaml MacoCaml: Staging Composable and Compilable Macros MacoCaml: Staging Composable and Compilable Macros
Zhixuan YangYang, Zhixuan Imperial College LondonUnited Kingdom Modular Models of Monoids with Operations
Hailey YoungYoung, Hailey University of Pennsylvania Committee Member in Program Committee within the FARM-track
Jeffrey YoungYoung, Jeffrey Tweag Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design
Neringa YoungYoung, Neringa Lithuania Treasurer & Conference Manager in Organizing Committee for ICFP 2023
Fei YuYu, Fei Meta A Type System For Feature Engineering (Extended Abstract)
Charles YuanYuan, Charles Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Z Yannick ZakowskiZakowski, Yannick InriaFrance Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Vadim ZalivaZaliva, Vadim University of Cambridge, UKUnited States Accessibility Co-Chair in Organizing Committee for ICFP 2023
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Granite: Compositional Functional Logic Programming
Yujia ZhaiZhai, Yujia University of California RiversideUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Cheng ZhangZhang, Cheng Boston UniversityUnited States A Dependently Typed Language with Dynamic Equality
Junming ZhaoZhao, Junming Using MMTk Garbage Collection in GHC (Lightning Talk)
Amy ZhuZhu, Amy University of WashingtonUnited States Exploring Self-Embedded Knitting Programs with Twine
Beta ZilianiZiliani, Beta FAMAF, UNC and Manas.TechArgentina Committee Member in Program Committee within the ICFP Papers and Events-track
Florian ZulegerZuleger, Florian TU ViennaAustria Committee Member in Program Committee within the Haskell-track
É Gergő ÉrdiÉrdi, Gergő Committee Member in Program Committee within the HIW-track
Š Artjoms ŠinkarovsŠinkarovs, Artjoms Heriot-Watt University, UK Rank-Polymorphism for Shape-Guided Blocking

ICFP 2023 Contributors

Results (543)

Tracks

Workshops

Co-hosted Symposia