ICFP 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (529)

A Mohammad-Ali A'RÂBIA'RÂBI, Mohammad-Ali A Linear Temporal Logic with Heartbeat
Andreas AbelAbel, Andreas Gothenburg UniversitySweden Leibniz equality is isomorphic to Martin-Löf identity, parametrically (JFP Presentation)
Ashish AgarwalAgarwal, Ashish Session Chair of Session 5 (part of OCaml) Committee Member in Organizing Committee within the OCaml-track
Andrea AgostiniAgostini, Andrea Conservatory of Turin Committee Member in Program Committee within the FARM-track
Marten AgrenAgren, Marten Standard Chartered Bank Haskell reinterpreted – large-scale real-world experience with the Mu compiler in Financial Markets
Alejandro AguirreAguirre, Alejandro Aarhus UniversityDenmark Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
Danel AhmanAhman, Danel University of LjubljanaSlovenia Higher-Order Asynchronous Effects Committee Member in Program Committee within the ML-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Managing Your Research, Your Advisor, Your Ph.D.
Clément AllainAllain, Clément Inria Isomorphisms are back! (short talk)
Aaron AllenAllen, Aaron Lightning Talk: Pinned Warnings
Nada AminAmin, Nada Harvard UniversityUnited States Adventures in extending miniKanren Prolog-Style Meta-Programming miniKanren Prototypes: Object-Orientation, Functionally
Kosorukov AnatoliiAnatolii, Kosorukov Russia Lightning Talk: Using Regular Expressions in Erlang
Leif AndersenAndersen, Leif Northeastern University Video Co-Chair in Organizing Committee for ICFP 2021
Danil AnnenkovAnnenkov, Danil Concordium Blockchain Research Center, Aarhus UniversityDenmark Code Extraction from Coq to ML-like languages
Andrew W. AppelAppel, Andrew W. Princeton UniversityUnited States Deriving Efficient Program Transformations from Rewrite Rules
Andrew W. AppelAppel, Andrew W. Princeton Compositional Optimizations for CertiCoq
Zena M. AriolaAriola, Zena M. University of Oregon, USA University of Oregon, USA in Steering Committee for ICFP 2021 Committee Member in Program Committee within the ICFP Research Papers-track
Stavros AronisAronis, Stavros Erlang Solutions, SwedenGreece Welcome Organization Co-chair in Program Committee within the Erlang-track Organization Co-chair in Organizing Committee within the Erlang-track
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in Program Committee within the TyDe-track
Robert AtkeyAtkey, Robert University of Strathclyde Session Chair of Compiler & Language Correctness (part of ML) Committee Member in Program Committee within the ML-track
Duncan Paul AttardAttard, Duncan Paul University of MaltaMalta Graft: General Purpose Raft Consensus in Elixir
Martin AvanziniAvanzini, Martin Inria On Continuation-Passing Transformations and Expected Cost Analysis
B Anton BachinBachin, Anton United States Committee Member in Program Committee within the HOPE-track
Toby BaileyBailey, Toby University of Warwick Chesskell: A Two-Player Game at the Type Level
Michael BallantyneBallantyne, Michael Northeastern University Session Chair of Session B (part of miniKanren) Committee Member in Program Committee within the miniKanren-track
Stephanie BalzerBalzer, Stephanie Carnegie Mellon University, USAUnited States Committee Member in Program Committee within the ICFP Research Papers-track
Gilles BartheBarthe, Gilles MPI-SP; IMDEA Software InstituteGermany On Continuation-Passing Transformations and Expected Cost Analysis Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
Andrej BauerBauer, Andrej University of LjubljanaSlovenia Committee Member in Steering Committee for ICFP 2021
Calvin BeckBeck, Calvin University of PennsylvaniaUnited States Modular, Compositional, and Executable Formal Semantics for LLVM IR
Allister BeharryBeharry, Allister NoneTrinidad and Tobago Sylvester: Unified, typed, notation for symbolic mathematics and proofs (short talk)
Clara Benac EarleBenac Earle, Clara Universidad Politécnica de MadridSpain Makina: A New QuickCheck State Machine Library PC Member in Program Committee within the Erlang-track
Brujo BenavidesBenavides, Brujo Erlang Ecosystem FoundationSpain Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty
Beatrice BerardBerard, Beatrice LIP6, Sorbonne UniversitéFrance Committee Member in Program Committee within the FARM-track
Jean-Philippe BernardyBernardy, Jean-Philippe University of Gothenburg, Sweden Linear Haskell, Today and Tomorrow Evaluating Linear Functions to Symmetric Monoidal Categories Committee Member in Program Committee within the TyDe-track
Paaras BhandariBhandari, Paaras University of Maryland, College ParkUnited States Property-Based Testing for OCaml through Coq
Annette BieniusaBieniusa, Annette Technische Universität KaiserslauternGermany Bidirectional Typing for Erlang Welcome Organization Co-chair in Program Committee within the Erlang-track Organization Co-chair in Organizing Committee within the Erlang-track
Eli BinghamBingham, Eli Broad Institute Tensor Partial Evaluation Committee Member in Program Committee within the HOPE-track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Theorems for Free from Separation Logic Specifications Client-Server Sessions in Linear Logic
Thomas BlancBlanc, Thomas OCamlPro Digodoc and Docs
Laura BocchiBocchi, Laura University of KentUnited Kingdom PC Member in Program Committee within the Erlang-track
Mathieu BoespflugBoespflug, Mathieu Tweag I/OFrance Why Functional Programming with Linear Types Matters
Aleksander Boruch-GruszeckiBoruch-Gruszecki, Aleksander EPFL Representing Monads with Capabilities Higher-order Programming with Effects and Handlers — with First-Class Functions
Roger BosmanBosman, Roger Mechanizing an elaboration algorithm for the Hindley-Damas-Milner system
Gert-Jan BottuBottu, Gert-Jan KU LeuvenBelgium Seeking Stability by being Lazy and Shallow: Lazy and shallow instantiation is user friendly
Mehdi BouazizBouaziz, Mehdi Nomadic Labs ParisFrance Committee Member in Program Committee within the OCaml-track
Raja BoujbelBoujbel, Raja OCamlProFrance Session Chair of Session 4 (part of OCaml) Committee Member in Organizing Committee within the OCaml-track
Dmitri BoulytchevBoulytchev, Dmitri Saint Petersburg State University / JetBrains ResearchRussia A Complexity Study for Interleaving Search
Frédéric BourBour, Frédéric TaridesFrance Committee Member in Program Committee within the ML-track PC Chair in Program Committee within the OCaml-track Committee Member in Organizing Committee within the OCaml-track
Peter BraamBraam, Peter University of OxfordUnited Kingdom Persistent Software Transactional Memory in Haskell
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel EPFL Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract) Representing Monads with Capabilities Higher-order Programming with Effects and Handlers — with First-Class Functions
Edwin BradyBrady, Edwin University of St Andrews, UKUnited Kingdom Committee Member in Program Committee within the Haskell-track
Jean BressonBresson, Jean AbletonGermany Committee Member in Program Committee within the FARM-track
André BrinkmannBrinkmann, André Johannes Gutenberg U MainzGermany Persistent Software Transactional Memory in Haskell
David BrumleyBrumley, David Carnegie Mellon University Binary Analysis Platform (BAP). Using Universal Algebra and Tagless-Final Style for Developing Representation-Agnostic Frameworks
Lily BryantBryant, Lily University of British ColumbiaCanada Committee Member in Virtualization Committee for ICFP 2021 Student Volunteer Co-Chair in Organizing Committee for ICFP 2021 Student Volunteer Co-Chair in Student Volunteers Committee within the ICFP Student Volunteers-track
Niels BunkenburgBunkenburg, Niels University of Kiel, GermanyGermany Haskell⁻¹: Automatic Function Inversion in Haskell
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States Session Chair of Session A (part of miniKanren) Prolog-Style Meta-Programming miniKanren metaKanren: Towards a Metacircular Relational Interpreter Co-chair in Organizing Committee within the Scheme-track Committee Member in Program Committee within the Scheme-track
Marc-André BélangerBélanger, Marc-André Université de MontréalCanada A lightweight approach for accessing Python modules from Gambit Scheme (Lightning Talk)
C Luís CairesCaires, Luís Universidade Nova de Lisboa and NOVA LINCSPortugal Propositions-as-Types and Shared State
Jose CalderonCalderon, Jose Galois, Inc.United States Welcome and Opening Remarks Co-chair in Organizing Committee within the PLMW @ ICFP-track
Sam CaldwellCaldwell, Sam Northeastern UniversityUnited States Typed dataspace actors (JFP Presentation)
Niki CarrollCarroll, Niki George Mason University ShutdownPL
Simon CastellanCastellan, Simon INRIA Committee Member in Program Committee within the OCaml-track
Laura M. CastroCastro, Laura M. University of A CoruñaSpain Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty
Juliette ChabassierChabassier, Juliette InriaFrance MidifilePerformer: a case study for chronologies
Manuel ChakravartyChakravarty, Manuel Tweag & IOHKNetherlands Translation Certification for Smart Contracts (Extended Abstract)
Nicolas ChataingChataing, Nicolas ENS ParisFrance Unfolding ML datatype declarations without loops Catala: A Programming Language for the Law
Liang-Ting ChenChen, Liang-Ting Academia SinicaTaiwan Committee Member in Program Committee within the TyDe-track
Yanjun ChenChen, Yanjun University of MichiganUnited States An Interactive Stepper for Expression with Holes
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Massachusetts Institute of Technology in Steering Committee for ICFP 2021 Skipping the Binder Bureaucracy with Mixed Embeddings in a Semantics Course (Functional Pearl) Ask Me Anything on Coq with Adam Chlipala
Ravi ChughChugh, Ravi University of Chicago Fun, Funky, Functional: The Pursuit of Better User Interfaces for Programming
Benjamin ChungChung, Benjamin Northeastern University Committee Member in Virtualization Committee for ICFP 2021 Video Co-Chair in Organizing Committee for ICFP 2021
Matteo CiminiCimini, Matteo University of Massachusetts at Lowell, USAUnited States Committee Member in Program Committee within the ICFP Research Papers-track
Koen ClaessenClaessen, Koen Chalmers University of Technology, Sweden Committee Member in Program Committee within the Haskell-track
Jesper CockxCockx, Jesper TU DelftNetherlands Leibniz equality is isomorphic to Martin-Löf identity, parametrically (JFP Presentation)
Liron CohenCohen, Liron Ben-Gurion University of the NegevIsrael Committee Member in Program Committee within the HOPE-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Session Chair of Session 1 (part of OCaml) Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract) Design with Blocks, Code in Text (Lightning Talk) First-class Names for Effect Handlers Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the ICFP Research Papers-track Committee Member in Program Committee within the OCaml-track Committee Member in Organizing Committee within the OCaml-track Committee Member in Program Committee within the Scheme-track
Andreea CosteaCostea, Andreea School of Computing, National University Of SingaporeSingapore Committee Member in Program Committee within the ICFP Student Research Competition-track
John CowanCowan, John R7RS Editor Large Scheme: 'Tis Seven Years Since (Invited Talk)
D Matthew L. DaggittDaggitt, Matthew L. Heriot-Watt University Actions You Can Handle: Dependent Types for AI Plans
Ugo Dal LagoDal Lago, Ugo University of Bologna, Italy / Inria, FranceItaly Computational and Contextual Program Differences: Reasoning About Non-equivalent Effectful Programs in an Higher-Order Scenario On Continuation-Passing Transformations and Expected Cost Analysis
Hoang-Hai DangDang, Hoang-Hai MPI-SWSGermany GhostCell: Separating Permissions from Data in Rust
Olivier DanvyDanvy, Olivier Yale-NUS College and School of Computing, SingaporeSingapore Committee Member in Program Committee within the Scheme-track
Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom Co-Contextual Typing Inference for the Linear π-Calculus in Agda (Extended Abstract) Deadlock-Free Session Types in Linear Haskell Committee Member in Program Committee within the TyDe-track
Eva DarulovaDarulova, Eva MPI-SWSGermany Committee Member in Program Committee within the FHPNC-track
Faustin DateDate, Faustin Lightning Talk: GSOL: A Confluence Checker for Haskell Rewrite Rules
Kei DavisDavis, Kei Los Alamos National LaboratoryUnited States Committee Member in Program Committee within the FHPNC-track
Luis Eduardo Bueso de Barriode Barrio, Luis Eduardo Bueso Universidad Politécnica de MadridSpain Makina: A New QuickCheck State Machine Library
Steven de Oliveirade Oliveira, Steven OCamlPro Love: a readable language interpreted by a blockchain
Edsko de Vriesde Vries, Edsko Well-Typed LLPNetherlands Session Chair of Applications and Closing (part of HIW) Avoiding quadratic GHC core code size
David DeclerckDeclerck, David OCamlPro Love: a readable language interpreted by a blockchain
Enguerrand DecorneDecorne, Enguerrand Tarides Adapting the OCaml ecosystem for Multicore OCaml
Kate DeplaixDeplaix, Kate OCaml Labs Committee Member in Program Committee within the OCaml-track
Sam DerbyshireDerbyshire, Sam Tweag A new interface for GHC typechecker plugins and type-family rewriting
Myriam Desainte-CatherineDesainte-Catherine, Myriam LaBRIFrance MidifilePerformer: a case study for chronologies
Dorian DesblancsDesblancs, Dorian École normale supérieure Paris-SaclayFrance The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms
Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium Leibniz equality is isomorphic to Martin-Löf identity, parametrically (JFP Presentation) Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the HIW-track
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States How to Evaluate Blame for Gradual Types
Thomas Dinsdale-YoungDinsdale-Young, Thomas ConcordiumUnited Kingdom Theorems for Free from Separation Logic Specifications
Evan DonahueDonahue, Evan University of Tokyo Guarded Fresh Goals: Dependency-Directed Introduction of Fresh Logic Variables
Derek DreyerDreyer, Derek MPI-SWSGermany MPI-SWS in Steering Committee for ICFP 2021 How to Write Papers So People Can Read Them GhostCell: Separating Permissions from Data in Rust
Christophe DubachDubach, Christophe McGill UniversityCanada Generating High Performance Code for Irregular Data Structures using Dependent Types Committee Member in Program Committee within the FHPNC-track
Guillaume DubocDuboc, Guillaume ENS LyonFrance An Existential Crisis Resolved: Type Inference for First-Class Existential Types
Iain DuncanDuncan, Iain University of VictoriaCanada Scheduling Musical Events in Max/MSP with Scheme For Max
Fred DushinDushin, Fred Lightning Talk: AtomVM: A flyweight BEAM for microcontrollers
David Kristjanson DuvenaudDuvenaud, David Kristjanson University of TorontoCanada Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Yotam DvirDvir, Yotam Tel Aviv University A Monad for Shared-State Concurrency
Tim DwyerDwyer, Tim Monash University Interactive Haskell Type Inference Exploration (Extended Abstract)
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 Committee Member in Program Committee within the ICFP Research Papers-track
Lukas EibensteinerEibensteiner, Lukas TU WienAustria Temporal-Scope Grammars for Polyphonic Music Generation
Richard A. EisenbergEisenberg, Richard A. TweagUnited States Seeking Stability by being Lazy and Shallow: Lazy and shallow instantiation is user friendly Adventures in GHC compile times Generalization is hard, but somebody's got to do it An Existential Crisis Resolved: Type Inference for First-Class Existential Types Committee Member in Program Committee within the ML-track
Conal ElliottElliott, Conal n.n.United States Symbolic and Automatic Differentiation of Languages
Martin ElsmanElsman, Martin University of Copenhagen, DenmarkDenmark Session Chair of Semantics & Verification (part of ML) Committee Member in Program Committee within the ML-track
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Persistent Software Transactional Memory in Haskell
Martín EscardóEscardó, Martín University of BirminghamUnited Kingdom Committee Member in Program Committee within the TyDe-track
F Claudia FaggianFaggian, Claudia Université de Paris & CNRS Computational calculus: bridging reduction and evaluation
Marc FeeleyFeeley, Marc Université de MontréalCanada A lightweight approach for accessing Python modules from Gambit Scheme (Lightning Talk)
Molly Q FeldmanFeldman, Molly Q Oberlin CollegeUnited States Committee Member in Program Committee within the miniKanren-track
Matthias FelleisenFelleisen, Matthias Northeastern UniversityUnited States Typed dataspace actors (JFP Presentation) How to Evaluate Blame for Gradual Types
Xinyu FengFeng, Xinyu Nanjing UniversityChina SIGPLAN CARES
Craig FergusonFerguson, Craig Tarides Experiences with Effects
José Miguél FernandezFernandez, José Miguél ZKM Performance: Homotopy
Patrick FerrisFerris, Patrick OCaml LabsUnited Kingdom Experiences with Effects
Andrzej FilinskiFilinski, Andrzej DIKU, University of Copenhagen Proof-directed program transformation: A functional account of efficient regular expression matching (JFP Presentation)
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Committee Member in Steering Committee for ICFP 2021
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Graft: General Purpose Raft Consensus in Elixir
Lars-Åke FredlundFredlund, Lars-Åke Universidad Politécnica de MadridSpain Makina: A New QuickCheck State Machine Library
Daniel P. FriedmanFriedman, Daniel P. Indiana University, USA A New Higher-order Unification Algorithm for λKanren
Aymeric FromherzFromherz, Aymeric Carnegie Mellon UniversityUnited States Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
Roy FrostigFrostig, Roy Google Research Parallelism-preserving automatic differentiation for second-order array languages
Qiancheng FuFu, Qiancheng Boston University Gradual Correctness: a Dynamically Bidirectional Full-Spectrum Dependent Type Theory (Extended Abstract)
Shuai FuFu, Shuai Monash UniversityAustralia Interactive Haskell Type Inference Exploration (Extended Abstract)
Jun FuruseFuruse, Jun DaiLambdaJapan Committee Member in Program Committee within the OCaml-track
Viktória FördősFördős, Viktória Cisco SystemsSweden What Are the Critical Security Flaws in My System?
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
Michael GaleGale, Michael University of Warwick, UKUnited Kingdom Chesskell: A Two-Player Game at the Type Level Graded Monads and Type-Level Programming for Dependence Analysis Committee Member in Program Committee within the FARM-track
Emilio Jesús Gallego AriasGallego Arias, Emilio Jesús INRIAFrance The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms
Ronald GarciaGarcia, Ronald University of British Columbia Committee Member in Virtualization Committee for ICFP 2021 University of British Columbia in Steering Committee for ICFP 2021 Program Chair in Organizing Committee for ICFP 2021 "I don't get it!" Panel Committee Member in Selection Committee within the ICFP Tutorials-track Program Chair in Program Committee within the ICFP Research Papers-track
Deepak GargGarg, Deepak MPI-SWSGermany Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
Tony Garnock-JonesGarnock-Jones, Tony Northeastern University, USA Typed dataspace actors (JFP Presentation)
Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan Formalizing OCaml GADT typing in Coq
Benedict R. GasterGaster, Benedict R. University of the West of England Committee Member in Program Committee within the FARM-track
Francesco GavazzoGavazzo, Francesco University of Bologna & INRIA Sophia Antipolis Computational and Contextual Program Differences: Reasoning About Non-equivalent Effectful Programs in an Higher-Order Scenario
Thomas GazagnaireGazagnaire, Thomas TaridesFrance Session Chair of Session 3 (part of OCaml) Committee Member in Organizing Committee within the OCaml-track
Kimball GermaneGermane, Kimball Brigham Young UniversityUnited States Newly-Single and Loving It: Improving Higher-Order Must-Alias Analysis with Heap Fragments
Louis GesbertGesbert, Louis OCamlPro Digodoc and Docs
Nick GiannarakisGiannarakis, Nick University of Wisconsin-MadisonUnited States ProbNV: Probabilistic Verification of Network Control Planes
Paolo G. GiarrussoGiarrusso, Paolo G. Delft University of Technology A Theory of Higher-Order Subtyping with Type Intervals
Jean-Louis GiavittoGiavitto, Jean-Louis IRCAMFrance Program Chair in Organizing Committee within the FARM-track Committee Member in Program Committee within the FARM-track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Department of Computer Science, University of Oxford in Steering Committee for ICFP 2021 How to design co-programs (JFP Presentation) Committee Member in Program Committee within the FHPNC-track
Sydney GibsonGibson, Sydney Carnegie Mellon UniversityUnited States Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
Andy GillGill, Andy University of Kansas, USA Committee Member in Program Committee within the Haskell-track
Thomas GilrayGilray, Thomas University of Alabama at BirminghamUnited States So You Want To Analyze Scheme Programs With Datalog?
Joris GiovannangeliGiovannangeli, Joris Ahrefs Research Committee Member in Program Committee within the OCaml-track
Matthías Páll GissurarsonGissurarson, Matthías Páll Chalmers University of Technology, SwedenSweden The Dynamic Haskell Plugin for GHC
Elena GlassmanGlassman, Elena Harvard UniversityUnited States Building PL-Powered Systems for Humans
Arthur GlecklerGleckler, Arthur SRFI EditorUnited States Committee Member in Program Committee within the Scheme-track
Panicz GodekGodek, Panicz Poland GRASP: A GRAphical Scheme Programming environment (Lightning Talk)
Aviral GoelGoel, Aviral Northeastern University Committee Member in PLTea Organizers within the ICFP PLTea-track
Harrison GoldsteinGoldstein, Harrison University of PennsylvaniaUnited States Ungenerators
Laure GonnordGonnord, Laure University of Lyon & LIP, FranceFrance Isomorphisms are back! (short talk)
Kiran GopinathanGopinathan, Kiran National University of SingaporeSingapore GopCaml: A Structural Editor for OCaml Certifying the Synthesis of Heap-Manipulating Programs
Andrew D. GordonGordon, Andrew D. Microsoft Research and University of EdinburghUnited Kingdom "I don't get it!" Panel Committee Member in Program Committee within the ICFP Research Papers-track
Ivan GotovchitsGotovchits, Ivan Carnegie Mellon UniversityUnited States Binary Analysis Platform (BAP). Using Universal Algebra and Tagless-Final Style for Developing Representation-Agnostic Frameworks
Ben GreenmanGreenman, Ben Brown UniversityUnited States How to Evaluate Blame for Gradual Types Committee Member in Program Committee within the ICFP Research Papers-track
Rudi GrinbergGrinberg, Rudi OCaml Labs Session Chair of Session 6 (part of OCaml) Committee Member in Organizing Committee within the OCaml-track
Mariano GuerraGuerra, Mariano InstadeqGermany PC Member in Program Committee within the Erlang-track
Giulio GuerrieriGuerrieri, Giulio University of BathUnited Kingdom Computational calculus: bridging reduction and evaluation
Arjun GuhaGuha, Arjun Northeastern UniversityUnited States Committee Member in Program Committee within the ICFP Research Papers-track
Armaël GuéneauGuéneau, Armaël Aarhus University Theorems for Free from Separation Logic Specifications
H Jurriaan HageHage, Jurriaan Utrecht University, Netherlands Session Chair of Keynote 2 (part of Haskell) Session Chair of Keynote 1 (part of Haskell) Chair Report This is not really a talk, but should ensure the two talks before it are 30 min. long Conference Chair in Program Committee within the Haskell-track Committee Member in Program Committee within the ICFP Research Papers-track
Makoto HamanaHamana, Makoto Gunma University, Japan Lightning Talk: GSOL: A Confluence Checker for Haskell Rewrite Rules
Shivam HandaHanda, Shivam Massachusetts Institute of TechnologyUnited States An Order-Aware Dataflow Model for Parallel Unix Pipelines
Robert HarperHarper, Robert Carnegie Mellon University, USAUnited States A metalanguage for multi-phase modularity
William G HatchHatch, William G University of Utah Committee Member in Program Committee within the Scheme-track
Jean HauryHaury, Jean ScrimeFrance MidifilePerformer: a case study for chronologies
Willem HeijltjesHeijltjes, Willem University of Bath The Functional Machine Calculus
Sonja HeinzeHeinze, Sonja Committee Member in Organizing Committee within the OCaml-track
Troels HenriksenHenriksen, Troels University of Copenhagen, DenmarkDenmark Welcome to FHPNC 2021 Co-chair in Organizing Committee within the FHPNC-track
Kihong HeoHeo, Kihong KAISTSouth Korea Session Chair of Ask Me Anything (part of ICFP Social Events) Committee Member in Program Committee within the OCaml-track
Mohamed HernoufHernouf, Mohamed OCamlPro Digodoc and Docs
Ángel HerranzHerranz, Ángel Universidad Politécnica de MadridSpain Makina: A New QuickCheck State Machine Library
Hugo HeuzardHeuzard, Hugo Jane Street Europe Committee Member in Program Committee within the OCaml-track
Michael HicksHicks, Michael University of Maryland at College Park Session Chair of Ask Me Anything (part of ICFP Social Events) Increasing the Impact of PL Research
Alasdair HillHill, Alasdair Heriot-Watt University Actions You Can Handle: Dependent Types for AI Plans
Daniel HillerströmHillerström, Daniel The University of EdinburghUnited Kingdom Composing UNIX with Effect Handlers: A Case Study in Effect Handler Oriented Programming
Andrew K. HirschHirsch, Andrew K. Max Planck Institute for Software SystemsGermany Committee Member in Program Committee within the ICFP Student Research Competition-track
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Automatic Amortized Resource Analysis with the Quantum Physicist’s Method
Jaemin HongHong, Jaemin KAISTSouth Korea Committee Member in Virtualization Committee for ICFP 2021 Student Volunteer Co-Chair in Organizing Committee for ICFP 2021 Student Volunteer Co-Chair in Student Volunteers Committee within the ICFP Student Volunteers-track
Hongwei XiHongwei Xi Boston University Gradual Correctness: a Dynamically Bidirectional Full-Spectrum Dependent Type Theory (Extended Abstract)
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of Minnesota, Twin CitiesUnited States Committee Member in Program Committee within the ICFP Research Papers-track
Farzin HoushmandHoushmand, Farzin University of California at RiversideUnited States Grafs: Declarative Graph Analytics
Zhenjiang HuHu, Zhenjiang Peking University Committee Member in Program Committee within the Haskell-track
Xuejing HuangHuang, Xuejing The University of Hong KongChina Distributing Intersection and Union Types with Splits and Duality (Functional Pearl)
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea Session Chair of Ask Me Anything (part of ICFP Social Events)
Graham HuttonHutton, Graham University of NottinghamUnited Kingdom Calculating Dependently-Typed Compilers (Functional Pearl)
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Is Space-Efficient Polymorphic Gradual Typing Possible? Committee Member in Program Committee within the miniKanren-track
Danko IlikIlik, Danko Siemens Mobility Demo Paper : Coqlex, an approach to generate verified lexers
Martin IlčíkIlčík, Martin TU WienAustria Temporal-Scope Grammars for Polyphonic Music Generation
Keigo ImaiImai, Keigo Gifu UniversityJapan Verifying Multiparty Communication Protocols using ML Type Systems
Rizo IsrofIsrof, Rizo Tarides Continuous Benchmarking for Ocaml Projects
J Guilhem JaberJaber, Guilhem University of NantesFrance Theorems for Free from Separation Logic Specifications
Sadiq JafferJaffer, Sadiq Opsian and OCaml LabsUnited Kingdom Adapting the OCaml ecosystem for Multicore OCaml Experiences with Effects
Suresh JagannathanJagannathan, Suresh Purdue University Committee Member in Program Committee within the ICFP Research Papers-track
Alan JeffreyJeffrey, Alan RobloxUnited States Committee Member in Virtualization Committee for ICFP 2021 Industrial Relations Chair in Organizing Committee for ICFP 2021 ShutdownPL
Ranjit JhalaJhala, Ranjit University of California at San Diego Securing Web-Applications with A Refinement Typed ORM
Ranjit JhalaJhala, Ranjit University of California at San Diego; Amazon Web ServicesUnited States Committee Member in Program Committee within the Haskell-track
Ende JinJin, Ende Universal Quantification and Implication in miniKanren
Kazuhiro JoJo, Kazuhiro Faculty of Design, Kyushu UniversityJapan mimium: a self-extensible programming language for sound and music
Patricia JohannJohann, Patricia Appalachian State University "I don't get it!" Panel Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the TyDe-track Committee Member in Program Committee within the ICFP Research Papers-track
Daniel D. JohnsonJohnson, Daniel D. Google ResearchCanada Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Matthew J. JohnsonJohnson, Matthew J. Google ResearchUnited States Parallelism-preserving automatic differentiation for second-order array languages Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Timothy M. JonesJones, Timothy M. University of Cambridge, UKUnited Kingdom From 2n+1 to n
Bharathi Ramana JoshiJoshi, Bharathi Ramana IIIT Hyderabad metaKanren: Towards a Metacircular Relational Interpreter
Jacques-Henri JourdanJourdan, Jacques-Henri Universersité Paris Saclay, CNRS, LRIFrance Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model
Pierre JouvelotJouvelot, Pierre MINES ParisTech, PSL UniversityFrance The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms
Ralf JungJung, Ralf MPI-SWSGermany GhostCell: Separating Permissions from Data in Rust Ask Me Anything on Rust with Ralf Jung Committee Member in Program Committee within the ICFP Research Papers-track
David JustoJusto, David MicrosoftUnited States ShutdownPL
K David M. KahnKahn, David M. Carnegie Mellon UniversityUnited States Automatic Amortized Resource Analysis with the Quantum Physicist’s Method
Sébastien KalbuschKalbusch, Sébastien Université Catholique de LouvainBelgium The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRiSP on an IoT Network
Konstantinos KallasKallas, Konstantinos University of PennsylvaniaUnited States An Order-Aware Dataflow Model for Parallel Unix Pipelines
Adharsh KamathKamath, Adharsh National Institute of Technology Karnataka, Surathkal, IndiaIndia Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs Committee Member in PLTea Organizers within the ICFP PLTea-track
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Committee Member in Program Committee within the Haskell-track
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Session Chair of Inference + Short talks (part of ML) A Monad for Shared-State Concurrency Committee Member in Program Committee within the ML-track Co-chair in Program Committee within the HOPE-track
Jeehoon KangKang, Jeehoon KAISTSouth Korea Session Chair of Ask Me Anything (part of ICFP Social Events) Committee Member in Program Committee within the HOPE-track
Georgios KarachaliasKarachalias, Georgios Tweag Committee Member in Program Committee within the Haskell-track
Shin-ya KatsumataKatsumata, Shin-ya National Institute of InformaticsJapan Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
Alex KavvosKavvos, Alex University of BristolUnited Kingdom Client-Server Sessions in Linear Logic
Finnbar KeatingKeating, Finnbar University of WarwickUnited Kingdom Graded Monads and Type-Level Programming for Dependence Analysis
Andy KeepKeep, Andy Facebook Reality Labs Committee Member in Program Committee within the miniKanren-track
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Welcome to FHPNC 2021 Translation Certification for Smart Contracts (Extended Abstract) Co-chair in Organizing Committee within the FHPNC-track
Tom KellyKelly, Tom OCaml Labs Adapting the OCaml ecosystem for Multicore OCaml Experiences with Effects
Oisín KidneyKidney, Oisín Imperial College LondonUnited Kingdom Algebras for Weighted Search
Oleg KiselyovKiselyov, Oleg Co-chair in Program Committee within the HOPE-track
Alex KnauthKnauth, Alex Mutual Knowledge Systems, Inc.United States Prototypes: Object-Orientation, Functionally
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan Session Chair of Session I (part of TyDe) Session Chair of Keynote (part of TyDe) Program Co-Chair in Program Committee within the TyDe-track
Naoki KobayashiKobayashi, Naoki University of Tokyo, JapanJapan Committee Member in Program Committee within the ML-track
Wen KokkeKokke, Wen University of Edinburgh Integrating Agda with SMT-LIB – An incomplete list of pits I fell in Deadlock-Free Session Types in Linear Haskell
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University, UK Actions You Can Handle: Dependent Types for AI Plans Committee Member in Program Committee within the ICFP Research Papers-track
Chaitanya S. KoparkarKoparkar, Chaitanya S. Indiana UniversityUnited States Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
James KoppelKoppel, James Massachusetts Institute of Technology, USA Dynamic Scope + Laziness = Counterfactuals
Paulette KoronkevichKoronkevich, Paulette University of British Columbia Committee Member in PLTea Organizers within the ICFP PLTea-track
Dmitrii KosarevKosarev, Dmitrii JetBrains Research, Saint Petersburg State UniversityRussia Committee Member in Program Committee within the miniKanren-track
Vasileios KoutavasKoutavas, Vasileios Trinity College Dublin Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques
Lucas KramerKramer, Lucas Google Generics for Hardware: Adding Haskell-inspired Generics to Bluespec
Nicolas KrauterKrauter, Nicolas Johannes Gutenberg University MainzGermany Persistent Software Transactional Memory in Haskell
Jacco KrijnenKrijnen, Jacco Utrecht University Translation Certification for Smart Contracts (Extended Abstract)
Neel KrishnaswamiKrishnaswami, Neel Computer Laboratory, University of Cambridge Committee Member in Program Committee within the TyDe-track
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands PC Member in Program Committee within the Erlang-track
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
Rose KunkelKunkel, Rose University of California, San Diego Securing Web-Applications with A Refinement Typed ORM
Lindsey KuperKuper, Lindsey University of California at Santa Cruz Accessibility Co-Chair in Organizing Committee for ICFP 2021 Welcome and Opening Remarks Co-chair in Organizing Committee within the PLMW @ ICFP-track
L Ralf LaemmelLaemmel, Ralf Facebook London Committee Member in Program Committee within the Haskell-track
Ori LahavLahav, Ori Tel Aviv University A Monad for Shared-State Concurrency
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Committee Member in Virtualization Committee for ICFP 2021 Workshops Co-Chair in Organizing Committee for ICFP 2021 Property-Based Testing for OCaml through Coq Co-chair in Selection Committee within the ICFP Tutorials-track Committee Member in Program Committee within the ICFP Research Papers-track
Alex LangLang, Alex Programming Contest Co-Organizer in Organizing Committee for ICFP 2021 Programming Contest Report
Marcel LanzLanz, Marcel eigr.io – MemberSwitzerland Lightning Talk: eigr.io — A Serverless Runtime on the BEAM
Lukas LazarekLazarek, Lukas Northwestern University How to Evaluate Blame for Gradual Types
Matthew Alan Le BrunLe Brun, Matthew Alan University of MaltaMalta Graft: General Purpose Raft Consensus in Elixir
Fabrice Le FessantLe Fessant, Fabrice OCamlPro Digodoc and Docs Opam-bin: Binary Packages with Opam
Daniel LeeLee, Daniel An Existential Crisis Resolved: Type Inference for First-Class Existential Types
Edward LeeLee, Edward University of WaterlooCanada Higher-order Programming with Effects and Handlers — with First-Class Functions
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea Session Chair of Ask Me Anything (part of ICFP Social Events)
Nico LehmannLehmann, Nico University of California, San Diego Securing Web-Applications with A Refinement Typed ORM
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Session Chair of Tools (part of HIW) First-class Names for Effect Handlers Generalized Evidence Passing for Effect Handlers Programming with Effect Handlers and FBIP in Koka Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the HIW-track
Mark LemayLemay, Mark Boston University Gradual Correctness: a Dynamically Bidirectional Full-Spectrum Dependent Type Theory (Extended Abstract)
John LeoLeo, John Halfaya ResearchUnited States Performance: Logical Soundness
Thomas LeonardLeonard, Thomas OCaml Labs Experiences with Effects
Xavier LeroyLeroy, Xavier Collège de FranceFrance 25 years of OCaml
Mohsen LesaniLesani, Mohsen University of California at RiversideUnited States Grafs: Declarative Graph Analytics
Stéphane LetzLetz, Stéphane Committee Member in Program Committee within the FARM-track
Hazel LevineLevine, Hazel Indiana UniversityUnited States Graphite: A Library for Data Visualization (Lightning Talk)
Di Long LiLi, Di Long The Australian National University Wibbily Wobbly Timey Camly
John M. LiLi, John M. Princeton UniversityUnited States Deriving Efficient Program Transformations from Rewrite Rules Compositional Optimizations for CertiCoq
Yao LiLi, Yao University of PennsylvaniaUnited States Reasoning about the Garden of Forking Paths
Nandor LickerLicker, Nandor University of Cambridge From 2n+1 to n
Yu-Yang LinLin, Yu-Yang Trinity College Dublin Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques
Sam LindleyLindley, Sam The University of Edinburgh, UKUnited Kingdom Handler calculus Practical Normalization by Evaluation for EDSLs
Ben LippmeierLippmeier, Ben Ghost LocomotionAustralia Committee Member in Program Committee within the Haskell-track
Hans-Wolfgang LoidlLoidl, Hans-Wolfgang Heriot-Watt University, UK Improving GHC Haskell NUMA Profiling Committee Member in Program Committee within the FHPNC-track
Justin LubinLubin, Justin University of California, BerkeleyUnited States ShutdownPL
Jonathan LudlamLudlam, Jonathan University of Cambridge A Multiverse of Glorious Documentation
Andres LöhLöh, Andres Well-Typed LLP Session Chair of Types and GHC 2 (part of HIW) Avoiding quadratic GHC core code size Committee Member in Program Committee within the HIW-track
M Jeffrey M. YoungM. Young, Jeffrey Tweag Adventures in GHC compile times
Weixi MaMa, Weixi A New Higher-order Unification Algorithm for λKanren
John MacCallumMacCallum, John HfMT Hamburg (Hochschule für Musik und Theater)Germany Performance Chair in Organizing Committee within the FARM-track Committee Member in Program Committee within the FARM-track
Ruairidh MacgregorMacgregor, Ruairidh University of Glasgow Improving GHC Haskell NUMA Profiling
Dougal MaclaurinMaclaurin, Dougal Google ResearchUnited States Parallelism-preserving automatic differentiation for second-order array languages Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge, UKUnited Kingdom Session Chair of Keynote (part of OCaml) Experiences with Effects Committee Member in Organizing Committee within the OCaml-track
José Pedro MagalhãesMagalhães, José Pedro Standard Chartered BankUnited Kingdom Ask Me Anything on Academic Move with José Pedro Magalhães
Mehrdad MalekiMaleki, Mehrdad Mastercard LabsIreland Adding AD to Scheme by Differentiating the Interpreter
Julio MariñoMariño, Julio Universidad Politécnica de MadridSpain Makina: A New QuickCheck State Machine Library
Simon MarlowMarlow, Simon Facebook Facebook in Steering Committee for ICFP 2021 Industrial Relations Co-Chair in Organizing Committee for ICFP 2021
Chris MartensMartens, Chris North Carolina State UniversityUnited States Relational Content Generation
Olivier MartinotMartinot, Olivier INRIA Frozen inference constraints for type-directed disambiguation
Guido MartínezMartínez, Guido CIFASIS-CONICET, ArgentinaArgentina Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract) Design with Blocks, Code in Text (Lightning Talk)
Rudy MatelaMatela, Rudy UnaffiliatedBrazil Express: applications of dynamically typed Haskell expressions
Kazutaka MatsudaMatsuda, Kazutaka Tohoku University, JapanJapan Committee Member in Program Committee within the ICFP Research Papers-track
Tomoya MatsuuraMatsuura, Tomoya Kyushu UniversityJapan mimium: a self-extensible programming language for sound and music
Laurent MazareMazare, Laurent Jane Street OCaml and Python: Getting the Best of Both Worlds
Jay McCarthyMcCarthy, Jay University of Massachusetts Lowell Newly-Single and Loving It: Improving Higher-Order Must-Alias Analysis with Heap Fragments
Dylan McDermottMcDermott, Dylan Reykjavik UniversityIceland Interaction laws of monads and comonads
Trevor L. McDonellMcDonell, Trevor L. Utrecht UniversityNetherlands Reverse Automatic Differentiation for Accelerate (Extended Abstract) Committee Member in Program Committee within the FHPNC-track
Tim McGilchristMcGilchrist, Tim TaridesAustralia Session Chair of Session 2 (part of OCaml) Committee Member in Organizing Committee within the OCaml-track
Simão Melo de SousaMelo de Sousa, Simão NOVA LINCS & Universidade da Beira Interior, Portugal Deductive Verification of Realistic OCaml Code
Denis MerigouxMerigoux, Denis INRIAFrance Catala: A Programming Language for the Law Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States So You Want To Analyze Scheme Programs With Datalog?
Matthew MightMight, Matthew University of Alabama at Birmingham \| Harvard Medical SchoolUnited States Universal Quantification and Implication in miniKanren
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Committee Member in Program Committee within the TyDe-track
Mikkel MiloMilo, Mikkel Concordium Blockchain Research Center, Aarhus University Code Extraction from Coq to ML-like languages
Anders MiltnerMiltner, Anders The University of Texas at Austin, Texas, USAUnited States Student Research Competition Chair in Organizing Committee for ICFP 2021 Student Research Competition Chair in Program Committee within the ICFP Student Research Competition-track
Agustín MistaMista, Agustín Chalmers University of TechnologySweden The Dynamic Haskell Plugin for GHC
Neil MitchellMitchell, Neil Facebook Committee Member in Program Committee within the Haskell-track
Benoît MontaguMontagu, Benoît InriaFrance Session Chair of Language & Library Design (part of ML) Committee Member in Program Committee within the ML-track
Akimasa MorihataMorihata, Akimasa University of TokyoJapan Committee Member in Program Committee within the ICFP Research Papers-track
Julie MoronukiMoronuki, Julie Typeclass ConsultingUnited States Committee Member in Program Committee within the HIW-track
Shin-Cheng MuMu, Shin-Cheng Academia Sinica, TaiwanTaiwan Committee Member in Steering Committee for ICFP 2021
Stefan K. MullerMuller, Stefan K. Illinois Institute of TechnologyUnited States Committee Member in Program Committee within the ICFP Research Papers-track
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume InriaFrance Probabilistic resource limits, or: Programming with interrupts in OCaml
Glen MévelMével, Glen Inria; University of Paris-Saclay; CNRS; ENS Paris-Saclay; LMFFrance Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model
N Vaivaswatha NagarajNagaraj, Vaivaswatha Zilliqa ResearchIndia Committee Member in Program Committee within the OCaml-track
Keiko NakataNakata, Keiko SAP Innovation Center PotsdamGermany Committee Member in Program Committee within the TyDe-track
Ravi NanavatiNanavati, Ravi Generics for Hardware: Adding Haskell-inspired Generics to Bluespec
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain Contextual Modal Types for Algebraic Effects and Handlers
Adolfo NetoNeto, Adolfo Federal University of Technology - ParanáBrazil Lightning Talk: Experience teaching Erlang/Elixir on YouTube
Max S. NewNew, Max S. Northeastern University Committee Member in Program Committee within the ICFP Research Papers-track
Ryan R. NewtonNewton, Ryan R. FacebookUnited States Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
Rumyana NeykovaNeykova, Rumyana Brunel University London Verifying Multiparty Communication Protocols using ML Type Systems PC Member in Program Committee within the Erlang-track
Minh NguyenNguyen, Minh University of BristolUnited Kingdom Composable, Modular Probabilistic Models
Rachit NigamNigam, Rachit Cornell University, USA Committee Member in PLTea Organizers within the ICFP PLTea-track
Kazuki NiimiNiimi, Kazuki Tokyo Institute of Technology Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract)
Rishiyur NikhilNikhil, Rishiyur Bluespec Committee Member in Program Committee within the ICFP Research Papers-track
Junya NoseNose, Junya Tokyo Institute of Technology Design with Blocks, Code in Text (Lightning Talk)
O Liam O'ConnorO'Connor, Liam University of EdinburghUnited Kingdom Committee Member in Program Committee within the ICFP Student Research Competition-track
Michael O'ConnorO'Connor, Michael Jane Street Safe Protocol Updates via Propositional Logic
Fritz ObermeyerObermeyer, Fritz Broad Institute of MIT and Harvard Tensor Partial Evaluation
Martin OderskyOdersky, Martin EPFL Representing Monads with Capabilities
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Committee Member in Program Committee within the OCaml-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina Distributing Intersection and Union Types with Splits and Duality (Functional Pearl)
Cyrus OmarOmar, Cyrus University of MichiganUnited States Committee Member in Program Committee within the ICFP Research Papers-track
Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Session Chair of Session III (part of TyDe) Session Chair of Session II (part of TyDe) Formalising Algebraic Effects with Non-Recoverable Failure Program Co-Chair in Program Committee within the TyDe-track
Yerdos OrdabayevOrdabayev, Yerdos Brandeis University Tensor Partial Evaluation
Nicolas OsborneOsborne, Nicolas Tarides Leveraging Formal Specifications to Generate Fuzzing Suites
Wendlasida OuedraogoOuedraogo, Wendlasida Siemens Mobility & Inria Saclay Demo Paper : Coqlex, an approach to generate verified lexers
Shota OzakiOzaki, Shota Is Space-Efficient Polymorphic Gradual Typing Possible?
P Sumit PadhiyarPadhiyar, Sumit Indian Institue Of Technology, MadrasIndia Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs
Yoann PadioleauPadioleau, Yoann Return to Corp Semgrep, a fast, lightweight, polyglot, static analysis tool to find bugs
Zoe ParaskevopoulouParaskevopoulou, Zoe Northeastern UniversityUnited States Workshops Co-Chair in Organizing Committee for ICFP 2021 Compositional Optimizations for CertiCoq Co-chair in Selection Committee within the ICFP Tutorials-track
Alberto PardoPardo, Alberto Universidad de la Republica, Uruguay Committee Member in Program Committee within the Haskell-track
Sudha ParimalaParimala, Sudha Segfault SystemsIndia Adapting the OCaml ecosystem for Multicore OCaml
Lionel ParreauxParreaux, Lionel HKUSTSwitzerland Committee Member in Program Committee within the ICFP Student Research Competition-track
Clément PascuttoPascutto, Clément Tarides, Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMFFrance Leveraging Formal Specifications to Generate Fuzzing Suites
Adam PaszkePaszke, Adam Google ResearchPoland Parallelism-preserving automatic differentiation for second-order array languages Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Barak A. PearlmutterPearlmutter, Barak A. Maynooth UniversityIreland Adding AD to Scheme by Differentiating the Interpreter Committee Member in Program Committee within the Scheme-track
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and Technology Cameleer: a Deductive Verification Tool for OCaml Deductive Verification of Realistic OCaml Code
Mário PereiraPereira, Mário LRI - Université Paris-Sud Deductive Verification of OCaml Programs in Cameleer
Phoenix PerryPerry, Phoenix Keynote
Ronald P. A. PetrickPetrick, Ronald P. A. Heriot-Watt University Actions You Can Handle: Dependent Types for AI Plans
Simon Peyton JonesPeyton Jones, Simon Microsoft, UK GHC Status update SIGPLAN CARES
Du PhanPhan, Du UIUC Tensor Partial Evaluation
Mitchell PickardPickard, Mitchell University of NottinghamUnited Kingdom Calculating Dependently-Typed Compilers (Functional Pearl)
Brigitte PientkaPientka, Brigitte McGill University Introduction to Mechanized Metatheory Committee Member in Program Committee within the ICFP Research Papers-track
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Ask Me Anything on Climate Change with Benjamin Pierce
Carlos PintoPinto, Carlos NOVA LINCS & Universidade da Beira Interior, Portugal Deductive Verification of Realistic OCaml Code
Federico PizzutiPizzuti, Federico University of Edinburgh Generating High Performance Code for Irregular Data Structures using Dependent Types
Lucas PluvinagePluvinage, Lucas TaridesFrance A Multiverse of Glorious Documentation
Marin PobelPobel, Marin Université de BordeauxFrance MidifilePerformer: a case study for chronologies
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Securing Web-Applications with A Refinement Typed ORM Certifying the Synthesis of Heap-Manipulating Programs
François PottierPottier, François Inria, FranceFrance Committee Member in Steering Committee for ICFP 2021
Matija PretnarPretnar, Matija University of Ljubljana, SloveniaSlovenia Higher-Order Asynchronous Effects
Kai-Oliver ProttPrott, Kai-Oliver University of Kiel, GermanyGermany Haskell⁻¹: Automatic Function Inversion in Haskell
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Catala: A Programming Language for the Law PC Chair in Organizing Committee within the ML-track Committee Member in Program Committee within the OCaml-track
Hashan PunchihewaPunchihewa, Hashan Imperial College London Safe Mutation with Algebraic Effects
George PîrleaPîrlea, George National University of Singapore, SingaporeSingapore Certifying the Synthesis of Heap-Manipulating Programs
Q Xuanrui QiQi, Xuanrui Nagoya UniversityJapan Formalizing OCaml GADT typing in Coq
Zesen QianQian, Zesen Aarhus UniversityDenmark Client-Server Sessions in Linear Logic
R Patrick RaafRaaf, Patrick Johannes Gutenberg University MainzGermany Persistent Software Transactional Memory in Haskell
Gabriel RadanneRadanne, Gabriel InriaFrance Isomorphisms are back! (short talk) Wibbily Wobbly Timey Camly
Janez RadeščekRadešček, Janez University of Ljubljana Higher-Order Asynchronous Effects
Alexey RadulRadul, Alexey Google Research Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Jonathan Ragan-KelleyRagan-Kelley, Jonathan MIT CSAILUnited States Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Mike RaineyRainey, Mike Carnegie Mellon UniversityUnited States Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
Tahina RamananandroRamananandro, Tahina Microsoft ResearchUnited States Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
Norman RamseyRamsey, Norman Tufts UniversityUnited States "I don't get it!" Panel Committee Member in Program Committee within the ICFP Research Papers-track
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
António RavaraRavara, António Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCSPortugal Cameleer: a Deductive Verification Tool for OCaml
Sylvain RibsteinRibstein, Sylvain Université Paris 7 DiderotFrance The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms
François-René RideauRideau, François-René Mutual Knowledge Systems, Inc.United States Prototypes: Object-Orientation, Functionally
Kenji RikitakeRikitake, Kenji Kenji Rikitake Professional Engineer's Office PC Member in Program Committee within the Erlang-track
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States An Order-Aware Dataflow Model for Parallel Unix Pipelines
Talia RingerRinger, Talia University of Illinois at Urbana-ChampaignUnited States Ask Me Anything on Mentoring with Talia Ringer
Exequiel RivasRivas, Exequiel Interaction laws of monads and comonads
Christine RizkallahRizkallah, Christine The University of MelbourneAustralia Committee Member in Program Committee within the ICFP Research Papers-track
Matthew RobertsRoberts, Matthew Macquarie UniversityAustralia Committee Member in Program Committee within the Haskell-track
Pedro RochaRocha, Pedro Nova University of LisbonPortugal Propositions-as-Types and Shared State
Tiark RompfRompf, Tiark Purdue UniversityUnited States Prolog-Style Meta-Programming miniKanren
Gregory RosenblattRosenblatt, Gregory University of Alabama at Birmingham, USACanada Session Chair of Afternoon Keynote and Session C (part of miniKanren) Universal Quantification and Implication in miniKanren Co-chair in Organizing Committee within the miniKanren-track
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany Dfinity Stiftung in Steering Committee for ICFP 2021 Committee Member in Program Committee within the HOPE-track
Cristina RosuRosu, Cristina Jane Street Committee Member in Program Committee within the OCaml-track
Dmitry RozplokhasRozplokhas, Dmitry A Complexity Study for Interleaving Search
Alejandro RussoRusso, Alejandro Chalmers University of Technology, SwedenArgentina Practical Normalization by Evaluation for EDSLs
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Committee Member in Virtualization Committee for ICFP 2021 KAIST in Steering Committee for ICFP 2021 General Chair in Organizing Committee for ICFP 2021 Session Chair of Awards & Reports (part of ICFP Research Papers) Award Presentations & Chair Report Committee Member in Selection Committee within the ICFP Tutorials-track
Wojciech RóżowskiRóżowski, Wojciech University of SouthamptonUnited Kingdom Formally verified derivation of an executable and terminating CEK machine from call-by-value λp̂-calculus
S Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala University, SwedenSweden Fifteen Years of Successfully Dialyzing Erlang and Elixir Code (Keynote)
Reza SalkordehSalkordeh, Reza Johannes Gutenberg-Universität MainzGermany Persistent Software Transactional Memory in Haskell
Lucas SandreSandre, Lucas University of Toronto Mississauga Relational Floating-Point Arithmetic
Mark SantolucitoSantolucito, Mark Barnard College, Columbia University, USAUnited States Human-in-the-loop Program Synthesis for Live Coding
Tetsuya SatoSato, Tetsuya Tokyo Institute of TechnologyJapan Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
Gabriel SchererScherer, Gabriel INRIA SaclayFrance Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2021 Unfolding ML datatype declarations without loops Frozen inference constraints for type-directed disambiguation
Philipp SchusterSchuster, Philipp University of Tübingen Higher-order Programming with Effects and Handlers — with First-Class Functions
Jeffrey A. ScofieldScofield, Jeffrey A. Psellos Committee Member in Program Committee within the OCaml-track
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Is Space-Efficient Polymorphic Gradual Typing Possible? CPS Transformation with Affine Types for Call-By-Value Implicit Polymorphism Committee Member in Program Committee within the ICFP Research Papers-track
Ilya SergeySergey, Ilya National University of SingaporeSingapore National University of Singapore in Steering Committee for ICFP 2021 Certifying the Synthesis of Heap-Manipulating Programs
Bernard SerpetteSerpette, Bernard InriaFrance MidifilePerformer: a case study for chronologies
Manuel SerranoSerrano, Manuel Inria, France Of JavaScript AOT Compilation Performance
Gargi SharmaSharma, Gargi Tarides Continuous Benchmarking for Ocaml Projects
Mary SheeranSheeran, Mary Chalmers Chalmers in Steering Committee for ICFP 2021 Committee Member in Program Committee within the FHPNC-track
Olin ShiversShivers, Olin Northeastern University, USA Co-chair in Organizing Committee within the Scheme-track Committee Member in Program Committee within the Scheme-track
Alexandra SilvaSilva, Alexandra University College LondonUnited Kingdom ProbNV: Probabilistic Verification of Network Control Planes SIGPLAN CARES
Davis SilvermanSilverman, Davis Syracuse University, USAUnited States So You Want To Analyze Scheme Programs With Datalog?
Jeffrey Mark SiskindSiskind, Jeffrey Mark Elmore Family School of Electrical and Computer Engineering, Purdue UniversityUnited States Adding AD to Scheme by Differentiating the Interpreter Scheme as a framework for Deep Learning (Invited Talk)
KC SivaramakrishnanSivaramakrishnan, KC IIT MadrasIndia Adapting the OCaml ecosystem for Multicore OCaml Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs Experiences with Effects Committee Member in Program Committee within the TyDe-track
Magnus SkjegstadSkjegstad, Magnus Tarides and OCaml LabsNorway Continuous Benchmarking for Ocaml Projects
Tom SmedingSmeding, Tom Utrecht UniversityNetherlands Reverse Automatic Differentiation for Accelerate (Extended Abstract)
Chris SmithSmith, Chris United States Testing Haskell with Mocks
Kristina SojakovaSojakova, Kristina INRIA ParisFrance Committee Member in Program Committee within the ML-track
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of Technology Dynamic Scope + Laziness = Counterfactuals
Duncan SparrellSparrell, Duncan sFractal ConsultingUnited States Lightning Talk: QuadBlockQuiz – Supply Chain Edition
Michael SperberSperber, Michael Active Group GmbHGermany Teaching Functional Programming Functional Software Architecture Publicity Chair in Organizing Committee within the FARM-track
Bas SpittersSpitters, Bas Aarhus UniversityDenmark Code Extraction from Coq to ML-like languages
Arnaud SpiwackSpiwack, Arnaud TweagFrance Evaluating Linear Functions to Symmetric Monoidal Categories
Kathrin StarkStark, Kathrin Princeton University, USAUnited States Accessibility Co-Chair in Organizing Committee for ICFP 2021 Committee Member in Program Committee within the HOPE-track
Deian StefanStefan, Deian University of California at San Diego, USA Securing Web-Applications with A Refinement Typed ORM
Jonathan SterlingSterling, Jonathan Carnegie Mellon University A metalanguage for multi-phase modularity
Michel SteuwerSteuwer, Michel University of EdinburghUnited Kingdom Generating High Performance Code for Irregular Data Structures using Dependent Types Committee Member in Program Committee within the FHPNC-track
Lutz StrassburgerStrassburger, Lutz Inria Saclay & LIX, Ecole Polytechnique Demo Paper : Coqlex, an approach to generate verified lexers
Peer StritzingerStritzinger, Peer Peer Stritzinger GmbH Lightning Talk: The debugging tool that comes with Erlang/OTP I just learned exists after many years of using Erlang
Peter J. StuckeyStuckey, Peter J. Monash University Interactive Haskell Type Inference Exploration (Extended Abstract)
Sandro StuckiStucki, Sandro Chalmers \| University of GothenburgSweden A Theory of Higher-Order Subtyping with Type Intervals
Eijiro SumiiSumii, Eijiro Tohoku UniversityJapan Committee Member in Program Committee within the ICFP Research Papers-track
Yihao SunSun, Yihao Syracuse UniversityUnited States So You Want To Analyze Scheme Programs With Datalog?
Gerald Jay SussmanSussman, Gerald Jay MITUnited States Layering: The Architecture of Programs (Invited Talk)
Kasper SvendsenSvendsen, Kasper Uber Theorems for Free from Separation Logic Specifications
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Microsoft Research in Steering Committee for ICFP 2021 Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
Andrzej SwatowskiSwatowski, Andrzej University of WarsawPoland Compilation of a functional shading language to a SPIR-V intermediate representation
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands Translation Certification for Smart Contracts (Extended Abstract)
Rebecca SwordsSwords, Rebecca UnaffiliatedUnited States Committee Member in Program Committee within the miniKanren-track
Don SymeSyme, Don Microsoft Keynote: Narratives and Lessons from The Early History of F# Committee Member in Program Committee within the ML-track
T Hanneli TavanteTavante, Hanneli McGill University Committee Member in Virtualization Committee for ICFP 2021 Student Volunteer Co-Chair in Organizing Committee for ICFP 2021 Session Chair of Ask Me Anything (part of ICFP Social Events) A Data-centered User Study for jsCoq (short talk) Student Volunteer Co-Chair in Student Volunteers Committee within the ICFP Student Volunteers-track
Zenna TavaresTavares, Zenna Massachusetts Institute of Technology Dynamic Scope + Laziness = Counterfactuals
Finn TeegenTeegen, Finn University of Kiel, GermanyGermany Haskell⁻¹: Automatic Function Inversion in Haskell
Simon ThompsonThompson, Simon IOHK, University of Kent, and ELTEUnited Kingdom Committee Member in Program Committee within the HOPE-track PC Member in Program Committee within the Erlang-track
Amin TimanyTimany, Amin Aarhus UniversityDenmark Leibniz equality is isomorphic to Martin-Löf identity, parametrically (JFP Presentation) Committee Member in Program Committee within the ICFP Research Papers-track
Ben L. TitzerTitzer, Ben L. Independent ConsultantUnited States Ask Me Anything on V8 JS Engine with Ben Titzer and Toon Verwaest
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University Publicity Chair in Organizing Committee for ICFP 2021 Graphite: A Library for Data Visualization (Lightning Talk)
Ryohei TokudaTokuda, Ryohei Idein Committee Member in Program Committee within the OCaml-track
Dann ToliverToliver, Dann TRIECanada Committee Member in Program Committee within the miniKanren-track
Timotej TomandlTomandl, Timotej University of Kent Formalising Algebraic Effects with Non-Recoverable Failure
Matías ToroToro, Matías University of Chile Committee Member in Program Committee within the ML-track
Riccardo TregliaTreglia, Riccardo Università di Torino Computational calculus: bridging reduction and evaluation
Phil TrinderTrinder, Phil University of Glasgow Improving GHC Haskell NUMA Profiling
Takeshi TsukadaTsukada, Takeshi Chiba University, JapanJapan CPS Transformation with Affine Types for Call-By-Value Implicit Polymorphism
Aaron TuronTuron, Aaron MPI-SWS Emotional Machines
Aleksey TyurinTyurin, Aleksey SPbSU Distilling Sparse Linear Algebra
Nikos TzevelekosTzevelekos, Nikos Queen Mary University of LondonUnited Kingdom Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques Theorems for Free from Separation Logic Specifications
Melinda TóthTóth, Melinda Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.Hungary PC Member in Program Committee within the Erlang-track
U Katsuhiro UenoUeno, Katsuhiro Tohoku UniversityJapan Committee Member in Program Committee within the ML-track
Tarmo UustaluUustalu, Tarmo Reykjavik UniversityIceland Interaction laws of monads and comonads
V Nithin Vadukkumchery RajendrakumarVadukkumchery Rajendrakumar, Nithin TU KaiserslauternGermany Bidirectional Typing for Erlang
Nachiappan ValliappanValliappan, Nachiappan Chalmers University of Technology, Sweden Practical Normalization by Evaluation for EDSLs
Jasper Van der JeugtVan der Jeugt, Jasper FugueSwitzerland Programming Contest Co-Organizer in Organizing Committee for ICFP 2021 Programming Contest Report
Peter Van RoyVan Roy, Peter Université catholique de LouvainBelgium The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRiSP on an IoT Network PC Member in Program Committee within the Erlang-track
Nikos VasilakisVasilakis, Nikos Massachusetts Institute of TechnologyUnited States An Order-Aware Dataflow Model for Parallel Unix Pipelines
Emiddio VasquezVasquez, Emiddio Performance: Can One Hear the Shape of a Marble Drum?
Niki VazouVazou, Niki IMDEA Software Institute Securing Web-Applications with A Refinement Typed ORM
Vincent VerpotenVerpoten, Vincent Université Catholique de LouvainBelgium The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRiSP on an IoT Network
Toon VerwaestVerwaest, Toon GoogleGermany Ask Me Anything on V8 JS Engine with Ben Titzer and Toon Verwaest
Andre VidelaVidela, Andre University Of Strathclyde Optics for Generic Declarative Server APIs (Extended Abstract)
Janis VoigtländerVoigtländer, Janis University of Duisburg-Essen Committee Member in Program Committee within the Haskell-track
Michael VollmerVollmer, Michael University of KentUnited Kingdom Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
Erik von Brömssenvon Brömssen, Erik Chalmers University of Technology Computing Persistent Homology in Futhark
Keval VoraVora, Keval Simon Fraser UniversityCanada Grafs: Declarative Graph Analytics
Dimitrios VytiniotisVytiniotis, Dimitrios DeepMindUnited Kingdom Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Matthijs VákárVákár, Matthijs Utrecht University Reverse Automatic Differentiation for Accelerate (Extended Abstract)
W Philip WadlerWadler, Philip University of Edinburgh Leibniz equality is isomorphic to Martin-Löf identity, parametrically (JFP Presentation)
David WalkerWalker, David Princeton UniversityUnited States ProbNV: Probabilistic Verification of Network Control Planes
Mitchell WandWand, Mitchell Northeastern University, USA Committee Member in Program Committee within the ICFP Research Papers-track
Yasunari WatanabeWatanabe, Yasunari Yale-NUS College; National University of SingaporeSingapore Certifying the Synthesis of Heap-Manipulating Programs
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States University of Pennsylvania in Steering Committee for ICFP 2021 An Existential Crisis Resolved: Type Inference for First-Class Existential Types Reasoning about the Garden of Forking Paths SIGPLAN CARES Committee Member in Program Committee within the TyDe-track
John WiegleyWiegley, John DFINITYUnited States Committee Member in Program Committee within the HIW-track
Jamie WillisWillis, Jamie Imperial College London Design Patterns for Parser Combinators (Functional Pearl)
Douglas WilsonWilson, Douglas Well Typed Improvements to GHC's parallel garbage collector
Michael WimmerWimmer, Michael TU WienAustria Temporal-Scope Grammars for Polyphonic Music Generation
Kjell WinbladWinblad, Kjell EricssonSweden PC Member in Program Committee within the Erlang-track
Andy WingoWingo, Andy Igalia, S.L. Committee Member in Program Committee within the Scheme-track
Daniel Winograd-CortWinograd-Cort, Daniel Luminous ComputingUnited States General Chair in Organizing Committee within the FARM-track
Scott WlaschinWlaschin, Scott None Experience Report: Domain Modeling with F# (short talk)
James WoodWood, James University of Strathclyde Committee Member in Program Committee within the TyDe-track
HongChang WuWu, HongChang OCaml at Bloomberg
Nicolas WuWu, Nicolas Imperial College London, UKUnited Kingdom Design Patterns for Parser Combinators (Functional Pearl) Safe Mutation with Algebraic Effects Reasoning about Effect Interaction by Fusion Algebras for Weighted Search Committee Member in Program Committee within the Haskell-track
X Li-yao XiaXia, Li-yao University of PennsylvaniaUnited States Reasoning about the Garden of Forking Paths
Ningning XieXie, Ningning University of TorontoCanada Session Chair of Keynote (part of HIW) Session Chair of GHC 1 (part of HIW) First-class Names for Effect Handlers Closing Generalized Evidence Passing for Effect Handlers Programming with Effect Handlers and FBIP in Koka Program Chair in Program Committee within the HIW-track
Jason XuXu, Jason Automated Modernization of Fortran Code at Bloomberg
Y Susumu YamazakiYamazaki, Susumu Univ. of KitakyushuJapan Lightning Talk: Expected Application of BeamAsm
Edward Z. YangYang, Edward Z. FacebookUnited States Committee Member in Program Committee within the HIW-track
Zhixuan YangYang, Zhixuan Imperial College LondonUnited Kingdom Reasoning about Effect Interaction by Fusion
Joshua YanovskiYanovski, Joshua MPI-SWSGermany GhostCell: Separating Permissions from Data in Rust
Irene YoonYoon, Irene University of PennsylvaniaUnited States Modular, Compositional, and Executable Formal Semantics for LLVM IR
Brent YorgeyYorgey, Brent Hendrix CollegeUnited States Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2021
Nobuko YoshidaYoshida, Nobuko Imperial College London Verifying Multiparty Communication Protocols using ML Type Systems
Shoji YuenYuen, Shoji Nagoya University Verifying Multiparty Communication Protocols using ML Type Systems
Artem YurchenkoYurchenko, Artem Automatic concurrency with free applicatives/monads, side effects supported
Z Ilya ZaichukZaichuk, Ilya Taras Shevchenko National University of KyivUkraine Modular, Compositional, and Executable Formal Semantics for LLVM IR
Malaika ZaidiZaidi, Malaika University of Toronto MississaugaCanada Relational Floating-Point Arithmetic
Yannick ZakowskiZakowski, Yannick InriaFrance Modular, Compositional, and Executable Formal Semantics for LLVM IR
Uma ZalakainZalakain, Uma University of Glasgow Co-Contextual Typing Inference for the Linear π-Calculus in Agda (Extended Abstract)
Vadim ZalivaZaliva, Vadim University of Cambridge, UKUnited States Modular, Compositional, and Executable Formal Semantics for LLVM IR
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States "I don't get it!" Panel Modular, Compositional, and Executable Formal Semantics for LLVM IR Committee Member in Program Committee within the ICFP Research Papers-track
Lisa ZhangZhang, Lisa University of Toronto MississaugaCanada Session Chair of Morning Keynote (part of miniKanren) Relational Floating-Point Arithmetic Universal Quantification and Implication in miniKanren Co-chair in Organizing Committee within the miniKanren-track
Tesla ZhangZhang, Tesla The Pennsylvania State University A Simpler Encoding of Indexed Types
Xin ZhangZhang, Xin Peking UniversityChina Dynamic Scope + Laziness = Counterfactuals
Beta ZilianiZiliani, Beta FAMAF, UNC and CONICETArgentina Committee Member in Program Committee within the TyDe-track
Alan ZimmermanZimmerman, Alan South Africa Exact Print Annotations in GHC
Daming ZouZou, Daming ETH ZurichSwitzerland Committee Member in Program Committee within the ICFP Student Research Competition-track
Nikita ZyuzinZyuzin, Nikita IMDEA Software InstituteSpain Contextual Modal Types for Algebraic Effects and Handlers
Å Cons T ÅhsÅhs, Cons T Cisco Sweden ABSweden PC Member in Program Committee within the Erlang-track
Ç Ezgi ÇiçekÇiçek, Ezgi Facebook London Committee Member in Program Committee within the ML-track

ICFP 2021 Contributors

Results (529)

Tracks

Workshops

Co-hosted Symposia