ICFP 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (516)

A Andreas AbelAbel, Andreas Gothenburg UniversitySweden POPLMark reloaded: Mechanizing proofs by logical relations A Unified View of Modalities in Type Systems Committee Member in Program Committee within the ICFP Program-track
Justus AdamAdam, Justus University of Kent, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Michael D. AdamsAdams, Michael D. University of MichiganUnited States Parsing with Zippers (Functional Pearl) Program Co-Chair in Organizing Committee within the Scheme-track Program Co-Chair in Program Committee within the Scheme-track
Alejandro AguirreAguirre, Alejandro IMDEA Software Institute and T.U. of Madrid (UPM) Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Danel AhmanAhman, Danel University of LjubljanaSlovenia SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs Committee Member in External Review Committee within the ICFP Program-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Managing your Research, your Advisor, your PhD
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-Madison, USA Committee Member in External Review Committee within the ICFP Program-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Integrating User-Centered Methods into Programming Language Design
Guillaume AllaisAllais, Guillaume University of St AndrewsUnited Kingdom Frex: indexing modulo equations with free extensions (Extended Abstract) POPLMark reloaded: Mechanizing proofs by logical relations
Gerard AllweinAllwein, Gerard U.S. Naval Research Laboratory Strongly Bounded Termination with Applications to Security and Hardware Synthesis
Nada AminAmin, Nada Harvard UniversityUnited States Session Chair of Afternoon Session (part of miniKanren) Functional Programming for COVID-19 Drug Repurposing
Christopher AnandAnand, Christopher Creating SVG graphics and Animations using Elm
Leif AndersenAndersen, Leif Northeastern University, USA Video Co-Chair in Organizing Committee for ICFP 2020
Cezar-Constantin AndriciAndrici, Cezar-Constantin Alexandru Ioan Cuza University of Iasi Gradual Enforcement of IO Trace Properties
Florian AngelettiAngeletti, Florian Inria Session Chair of Ecosystem (part of OCaml) High-level error messages for modules through diffing Committee Member in Program Committee within the OCaml-track
Zena M. AriolaAriola, Zena M. University of Oregon, USA Kinds are Calling Conventions
Stavros AronisAronis, Stavros Erlang Solutions, SwedenGreece PC Member in Program Committee within the Erlang-track
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in External Review Committee within the ICFP Program-track
Robert AtkeyAtkey, Robert University of Strathclyde Committee Member in Program Committee within the TyDe-track
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Carnegie Mellon University, USAUnited States Committee Member in Program Committee within the Haskell-track
B Christiaan BaaijBaaij, Christiaan QBayLogic B.V.Netherlands Committee Member in Program Committee within the HIW-track
Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming Committee Member in External Review Committee within the ICFP Program-track
Stephanie BalzerBalzer, Stephanie Carnegie Mellon University, USAUnited States Committee Member in External Review Committee within the ICFP Program-track
Brigitta BaranyaiBaranyai, Brigitta ELTE Eötvös Loránd UniversityHungary Supporting Secure Coding with RefactorErl
Langston BarrettBarrett, Langston Galois, Inc Predictable Macros for Hindley-Milner (Extended Abstract)
Jonathan BellBell, Jonathan Northeastern UniversityUnited States Virtualization Feedback
Péter BereczkyBereczky, Péter Eötvös Loránd UniversityHungary Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects
Daniil BerezunBerezun, Daniil JetBrains, Russia An Empirical Study of Partial Deduction for miniKanren
Jean-Philippe BernardyBernardy, Jean-Philippe University of Gothenburg, Sweden Composing Effects into Tasks and Workflows A Unified View of Modalities in Type Systems Committee Member in External Review Committee within the ICFP Program-track
Annette BieniusaBieniusa, Annette Technische Universität KaiserslauternGermany Session Chair of Session 3 (part of Erlang) Session Chair of Session 2 (part of Erlang) Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+ Opening Co-chair in Organizing Committee within the Erlang-track PC Member in Program Committee within the Erlang-track
Malgorzata BiernackaBiernacka, Malgorzata University of Wroclaw Committee Member in Program Committee within the HOPE-track
David BinderBinder, David University of Tübingen Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical Updating Immutable Code
Lars BirkedalBirkedal, Lars Aarhus University Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris
William BlairBlair, William Boston University Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract)
Sandrine BlazyBlazy, Sandrine Univ Rennes- IRISAFrance Committee Member in External Review Committee within the ICFP Program-track Committee Member in Program Committee within the TyDe-track
Judith BorghoutsBorghouts, Judith Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input Arrays
Dmitri BoulytchevBoulytchev, Dmitri St. Petersburg State University, St. Petersburg, Russia Session Chair of Morning Keynote (part of miniKanren) On Fair Relational Conjunction Certified Semantics for Disequality An Empirical Study of Partial Deduction for miniKanren Relational Synthesis for Pattern Matching PC Chair in Program Committee within the miniKanren-track
Frédéric BourBour, Frédéric TaridesFrance Nottui & Lwd: A friendly UI toolkit for the ML-programmer Volunteer in Organizing Committee within the OCaml-track
István BozóBozó, István Eötvös Loránd UniversityHungary Supporting Secure Coding with RefactorErl Transformations towards Clean Functional Code PC Member in Program Committee within the Erlang-track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of Tübingen, Germany Higher-order Programming with Effects and Handlers — without First-Class Functions Effect Handlers, Evidently Compiling Effect Handlers in Capability-Passing Style
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Frex: indexing modulo equations with free extensions (Extended Abstract) Committee Member in Program Committee within the ICFP Program-track
Joachim BreitnerBreitner, Joachim DFINITY FoundationGermany Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale
Michael BuchBuch, Michael Harvard University Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States mediKanren: A System for Bio-medical Reasoning dxo: A System for Relational Algebra and Differentiation
Manuel BärenzBärenz, Manuel sonnen eServices GmbHGermany Audio, Video & Web Live Coding in Haskell
C Jose CalderonCalderon, Jose Galois, Inc.United States Panel discussion: Making a career in PL (even in uncertain times) ICFP Triva
Benjamin CanouCanou, Benjamin Nomadic Labs Committee Member in External Review Committee within the ICFP Program-track
Richard CarlssonCarlsson, Richard KlarnaSweden PC Member in Program Committee within the Erlang-track
Niki CarrollCarroll, Niki George Mason University ShutdownPL: Keynote and Getting Started With Anti-racist Action
Chris CasinghinoCasinghino, Chris Draper Laboratory Session Chair of Keynote II (part of OCaml) Session Chair of Recitation (part of OCaml) Committee Member in Program Committee within the OCaml-track
Giuseppe CastagnaCastagna, Giuseppe CNRS - Université de Paris, FranceFrance Committee Member in External Review Committee within the ICFP Program-track
Laura M. CastroCastro, Laura M. University of A CoruñaSpain PC Member in Program Committee within the Erlang-track
Martin CeresaCeresa, Martin UNR - CIFASIS - CONICET Effectful Improvement Theory
Joris CeulemansCeulemans, Joris Vrije Universiteit BrusselBelgium Shallowly Embedding Type Theories as Presheaf Models in Agda (Extended Abstract)
Rohit ChadhaChadha, Rohit University of Missouri Strongly Bounded Termination with Applications to Security and Hardware Synthesis
Manuel ChakravartyChakravarty, Manuel Tweag I/O & IOHKNetherlands Committee Member in Program Committee within the Haskell-track
Christopher ChalmersChalmers, Christopher Myrtle.ai Circuit Notation Source Plugin
Byeong-Mo ChangChang, Byeong-Mo A theory of RPC calculi for client–server model
Stephen ChangChang, Stephen University of Massachusetts BostonUnited States Committee Member in Poster and Presentation Judges within the ICFP Student Research Competition-track Committee Member in Program Committee within the ICFP Student Research Competition-track
Arthur CharguéraudCharguéraud, Arthur InriaFrance Verification of OCaml programs using CFML Separation Logic for Sequential Programs (Functional Pearl)
Sarah E. ChasinsChasins, Sarah E. University of California, Berkeley Panel discussion: Making a career in PL (even in uncertain times)
Natalia ChechinaChechina, Natalia Bournemouth UniversityUnited Kingdom Clojerl: The Expressive Power of Clojure on the BEAM PC Member in Program Committee within the Erlang-track
Xiaohong ChenChen, Xiaohong University of Illinois at Urbana-ChampaignUnited States Using the K Framework to Formalize Functional Languages A General Approach to Define Binders Using Matching Logic
Zilin ChenChen, Zilin Data61, CSIRO and UNSWAustralia Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime Université de Montréal Committee Member in Program Committee within the Scheme-track
Artem ChirkovChirkov, Artem University of Toronto Mississauga A Relational Interpreter for Synthesizing JavaScript
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Committee Member in Virtualization Committee for ICFP 2020 Program Chair in Organizing Committee for ICFP 2020 Session Chair of Asia 1 (part of ICFP Program) Session Chair of Keynote (part of ICFP Program) Session Chair of New York 1 (part of ICFP Program) Award Presentations & Chair Report Committee Member in Selection Committee within the ICFP Tutorials-track Program Chair in Program Committee within the ICFP Program-track
Kwanghoon ChoiChoi, Kwanghoon A theory of RPC calculi for client–server model
Vikraman ChoudhuryChoudhury, Vikraman Indiana University & University of Cambridge Recovering Purity with Comonads and Capabilities
David Thrane ChristiansenChristiansen, David Thrane Galois, USAUnited States Predictable Macros for Hindley-Milner (Extended Abstract)
Jan ChristiansenChristiansen, Jan Flensburg University of Applied Sciences, Germany Committee Member in Program Committee within the Haskell-track
Ravi ChughChugh, Ravi University of Chicago Program Sketching with Live Bidirectional Evaluation
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia Session Chair of Women in CS Panel (part of ICFP Social Events) Women in CS Panel
Koen ClaessenClaessen, Koen Chalmers University of Technology, Sweden Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl) Towards Secure IoT Programming in Haskell
Michael CoblenzCoblenz, Michael Carnegie Mellon UniversityUnited States Integrating User-Centered Methods into Programming Language Design
Jesper CockxCockx, Jesper TU DelftNetherlands Committee Member in Poster and Presentation Judges within the ICFP Student Research Competition-track Committee Member in Program Committee within the ICFP Student Research Competition-track Committee Member in External Review Committee within the ICFP Program-track
Bruce CollieCollie, Bruce University of Edinburgh Retrofitting Symbolic Holes to LLVM IR (Extended Abstract)
Nick CollinsCollins, Nick University of Chicago Program Sketching with Live Bidirectional Evaluation
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Student Research Competition Chair in Organizing Committee for ICFP 2020 On Teaching Type Systems as Macros (Lightning Talk) Designing a Programming Environment Based on the Program Design Recipe (Lightning Talk) Award Presentations & Chair Report Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the ML-track Student Research Competition Chair in Poster and Presentation Judges within the ICFP Student Research Competition-track Student Research Competition Chair in Program Committee within the ICFP Student Research Competition-track Committee Member in External Review Committee within the ICFP Program-track Committee Member in Program Committee within the TyDe-track
Mistral ContrastinContrastin, Mistral University of Cambridge, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Flavio CorpaCorpa, Flavio 47 Degrees, SpainSpain Describing Microservices using Modern Haskell (Experience Report)
Duncan CouttsCoutts, Duncan Using STM for Modular Concurrency: An Industrial Experience Report on Software Transactional Memory
Enzo CranceCrance, Enzo Mitsubishi ElectricFrance Volunteer in Organizing Committee within the OCaml-track
Ioana CristescuCristescu, Ioana INRIA, France Irmin v2
Raphaëlle CrubilléCrubillé, Raphaëlle Committee Member in Program Committee within the HOPE-track
Ryan CulpepperCulpepper, Ryan Czech Technical UniversityCzech Republic Committee Member in Program Committee within the Scheme-track
Joseph W. CutlerCutler, Joseph W. Wesleyan University Denotational Recurrence Extraction for Amortized Analysis
Evan CzaplickiCzaplicki, Evan On Language Adoption
D Pierre-Evariste DagandDagand, Pierre-Evariste LIP6/CNRS France Session Chair of Paper Session 4 - Effects (part of Haskell) Committee Member in Program Committee within the Haskell-track
Nils Anders DanielssonDanielsson, Nils Anders University of Gothenburg, Chalmers University of Technology Practical Dependent Type Checking Using Twin Types Committee Member in Program Committee within the TyDe-track
Norman DannerDanner, Norman Wesleyan University Denotational Recurrence Extraction for Amortized Analysis
Olivier DanvyDanvy, Olivier Yale-NUS College and School of Computing, SingaporeSingapore Mind the Title
David DaraisDarais, David University of VermontUnited States Committee Member in Program Committee within the ICFP Program-track
Pierce DarraghDarragh, Pierce University of UtahUnited States Clotho: A Racket Library for Parametric Randomness Parsing with Zippers (Functional Pearl)
Eva DarulovaDarulova, Eva MPI-SWS, Germany Committee Member in Program Committee within the FHPNC-track
Kei DavisDavis, Kei Los Alamos National LaboratoryUnited States Committee Member in Program Committee within the FHPNC-track
Erik de Castro Lopode Castro Lopo, Erik IOHKAustralia Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Leonardo De MouraDe Moura, Leonardo Microsoft Research, n.n. Sealing Pointer-Based Optimizations Behind Pure Functions Committee Member in External Review Committee within the ICFP Program-track
Luis Eduardo de Souza Amorimde Souza Amorim, Luis Eduardo Delft University of Technology, NetherlandsNetherlands A Declarative Syntax Definition for OCaml
Kate DeplaixDeplaix, Kate OCaml Labs OCaml-CI : A Zero-Configuration CI
Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium Shallowly Embedding Type Theories as Presheaf Models in Agda (Extended Abstract)
Atul DhimanDhiman, Atul IIT Madras Retrofitting Parallelism onto OCaml
Alfredo Di NapoliDi Napoli, Alfredo Well-Typed LLP Liquid Haskell as a GHC Plugin
Larry DiehlDiehl, Larry SymbiontUnited States Committee Member in Program Committee within the TyDe-track
Laura DietzDietz, Laura University of New HampshireUnited States A Low-Latency Garbage Collector for GHC (Demo)
Stephen DolanDolan, Stephen University of Cambridge, UK Retrofitting Parallelism onto OCaml
Paul DownenDownen, Paul University of Oregon, USA Kinds are Calling Conventions Committee Member in Program Committee within the HOPE-track
Derek DreyerDreyer, Derek MPI-SWSGermany Author in Steering Committee for ICFP 2020 How To Write Papers So People Can Read Them
E Harley D. Eades IIIEades III, Harley D. Augusta UniversityUnited States Graded Modal Dependent Type Theory (Extended Abstract)
Satoshi EgiEgi, Satoshi Rakuten Institute of Technology, Rakuten, Inc. / The University of TokyoJapan Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching
Eric EideEide, Eric University of UtahUnited States Clotho: A Racket Library for Parametric Randomness
Richard A. EisenbergEisenberg, Richard A. Tweag I/OUnited States Session Chair of Asia 5 (part of ICFP Program) Session Chair of New York 5 (part of ICFP Program) Stitch: The Sound Type-Indexed Type Checker (Functional Pearl) Composing Effects into Tasks and Workflows Kinds are Calling Conventions Committee Member in Program Committee within the ICFP Program-track
Anton EkbladEkblad, Anton Chalmers University of TechnologySweden Committee Member in Program Committee within the Haskell-track
Frank EmrichEmrich, Frank University of Edinburgh, UK The Virtues of Semi-Explicit Polymorphism
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Committee Member in External Review Committee within the ICFP Program-track
Lindsay ErringtonErrington, Lindsay Noddle, LLC poco: An ML testbed for deductive synthesis tool design
F Juan FacorroFacorro, Juan Clojerl: The Expressive Power of Clojure on the BEAM
Shon FederFeder, Shon Informal Systems IncUnited States Volunteer in Organizing Committee within the OCaml-track
Marc FeeleyFeeley, Marc Université de MontréalCanada Running Scheme On Bare Metal (Experience Report)
Matthias FelleisenFelleisen, Matthias PLT @ Northeastern University Mentoring with Matthias Felleisen
Amy FeltyFelty, Amy University of OttawaCanada Committee Member in Program Committee within the TyDe-track
Craig FergusonFerguson, Craig Tarides Irmin v2 OCaml-CI : A Zero-Configuration CI
Carla FerreiraFerreira, Carla Universidade Nova Lisboa Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+
Robby FindlerFindler, Robby Northwestern University, USAUnited States Steering Committee Chair in Steering Committee for ICFP 2020
Kathleen FisherFisher, Kathleen Tufts University, USAUnited States Panel discussion: Making a career in PL (even in uncertain times)
Matthew FlattFlatt, Matthew University of Utah, USA Author in Steering Committee for ICFP 2020
Jonah FleishhackerFleishhacker, Jonah University of Chicago 21st Century Lisp in Academic Research and Pedagogy
Matthew FluetFluet, Matthew Rochester Institute of TechnologyUnited States Committee Member in Program Committee within the ICFP Program-track
Adam FoltzerFoltzer, Adam Fastly Committee Member in Program Committee within the miniKanren-track
Kenny FonerFoner, Kenny Galois How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond ShutdownPL: Keynote and Getting Started With Anti-racist Action
Nate FosterFoster, Nate Cornell UniversityUnited States Welcome Committee Member in Organizing Committee within the PLMW @ ICFP -track
Daniel P. FriedmanFriedman, Daniel P. Indiana University, USA λKanren: Higher-order Logic Programming with Shallow Embedding Some Novel miniKanren Synthesis Tasks
Aymeric FromherzFromherz, Aymeric Carnegie Mellon University SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Naoya FurudonoFurudono, Naoya Tokyo Institute of Technology On Teaching Type Systems as Macros (Lightning Talk)
Viktória FördősFördős, Viktória Cisco SystemsSweden Session Chair of Session 3 (part of Erlang) Session Chair of Session 1 (part of Erlang) Secure Design and Verification of Erlang Systems Opening Co-chair in Organizing Committee within the Erlang-track PC Member in Program Committee within the Erlang-track
G Ben GamariGamari, Ben Well-Typed LLPUnited States Closing GHC Status Update A Low-Latency Garbage Collector for GHC (Demo) Chair in Program Committee within the HIW-track
Akash GaonkarGaonkar, Akash ShutdownPL: Keynote and Getting Started With Anti-racist Action
Ronald GarciaGarcia, Ronald University of British Columbia Author in Steering Committee for ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan Tracking injectivity and nominality beyond abstraction Committee Member in Program Committee within the TyDe-track
Catherine GasnierGasnier, Catherine Committee Member in Program Committee within the OCaml-track
Francesco GavazzoGavazzo, Francesco Committee Member in Program Committee within the HOPE-track
Thomas GazagnaireGazagnaire, Thomas TaridesFrance Irmin v2
Thomas GenetGenet, Thomas IRISA, Univ RennesFrance Regular Language Type Inference with Term Rewriting
Kimball GermaneGermane, Kimball University of Utah Committee Member in Program Committee within the Scheme-track
Paolo G. GiarrussoGiarrusso, Paolo G. BedRock Systems Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris
Jean-Louis GiavittoGiavitto, Jean-Louis IRCAMFrance Program Chair in Organizing Committee within the FARM-track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Session Chair of Asia 3 (JFP talks) (part of ICFP Program) Session Chair of New York 3 (JFP talks) (part of ICFP Program) Committee Member in Program Committee within the FHPNC-track
Krzysztof GogolewskiGogolewski, Krzysztof Tweag I/O Implementation of linear types
Harrison GoldsteinGoldstein, Harrison University of PennsylvaniaUnited States AV Coordinator in Organizing Committee for ICFP 2020
Sergey GoncharovGoncharov, Sergey FAU Erlangen-Nürnberg, Lehrstuhl 8Germany Committee Member in Program Committee within the HOPE-track
April GonçalvesGonçalves, April Roskilde University, Denmark Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Andrew D. GordonGordon, Andrew D. Microsoft Research and University of EdinburghUnited Kingdom Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input Arrays
Gemma GordonGordon, Gemma University of Cambridge Co-chair in Organizing Committee within the OCaml-track
Sergei GorlatchGorlatch, Sergei University of Münster, Germany Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies
Ivan GotovchitsGotovchits, Ivan Carnegie Mellon UniversityUnited States Conference Chair in Organizing Committee within the OCaml-track Chair in Program Committee within the OCaml-track Committee Member in Program Committee within the ML-track
Sebastian GrafGraf, Sebastian Karlsruhe Institute of Technology Lower Your Guards: A Compositional Pattern-Match Coverage Checker
Christian Uldal GraulundGraulund, Christian Uldal IT University of CopenhagenDenmark Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming
Jeremiah GriffinGriffin, Jeremiah University of California, Riverside TLC: Temporal Logic of Distributed Components
Alena GriffithsGriffiths, Alena RGB Assurance Women in CS Panel
Rudi GrinbergGrinberg, Rudi OCaml Labs Committee Member in Program Committee within the OCaml-track
Zheng GuoGuo, Zheng University of California, San DiegoUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Samuel GélineauGélineau, Samuel SimSpaceCanada Predictable Macros for Hindley-Milner (Extended Abstract)
Matthias GüdemannGüdemann, Matthias University of Applied Sciences MunichGermany Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
H Jennifer HackettHackett, Jennifer University of Nottingham, UKUnited Kingdom Workshops Co-Chair in Organizing Committee for ICFP 2020 Co-chair in Selection Committee within the ICFP Tutorials-track Committee Member in External Review Committee within the ICFP Program-track
Jurriaan HageHage, Jurriaan Utrecht University, Netherlands Session Chair of Paper Session 5 - Types (part of Haskell) A Quick Look at Impredicativity Committee Member in Program Committee within the Haskell-track
Bastian HagedornHagedorn, Bastian University of Münster, GermanyGermany Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies
Makoto HamanaHamana, Makoto Gunma University, Japan Committee Member in Program Committee within the ICFP Program-track
Aliya HameerHameer, Aliya McGill University POPLMark reloaded: Mechanizing proofs by logical relations
Travis HanceHance, Travis Carnegie Mellon University Liquid Information Flow Control
Joseph HarrisonHarrison, Joseph University of Kent, UKUnited Kingdom API migration: compare transformed
William HarrisonHarrison, William Oak Ridge National Laboratory Strongly Bounded Termination with Applications to Security and Hardware Synthesis
Behnaz HassanshahiHassanshahi, Behnaz Oracle Labs, Australia Women in CS Panel
William G HatchHatch, William G University of Utah Clotho: A Racket Library for Parametric Randomness
Timothée HaudebourgHaudebourg, Timothée Univ Rennes, Inria, CNRS, IRISA Regular Language Type Inference with Term Rewriting
Kyle HeadleyHeadley, Kyle The University of Alabama at BirminghamUnited States Student Volunteer Co-Chair in Student Volunteers Committee within the ICFP Student Volunteering-track
Bastiaan HeerenHeeren, Bastiaan Open University of the Netherlands, Netherlands Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality
Sonja HeinzeHeinze, Sonja Volunteer in Organizing Committee within the OCaml-track
Jason HemannHemann, Jason Northeastern University, United StatesUnited States Session Chair of Afternoon Keynote (part of miniKanren) Some Novel miniKanren Synthesis Tasks General Chair in Program Committee within the miniKanren-track Publicity Chair in Organizing Committee within the Scheme-track
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark Committee Member in Program Committee within the ICFP Program-track
Troels HenriksenHenriksen, Troels University of Copenhagen, DenmarkDenmark Co-chair in Organizing Committee within the FHPNC-track Committee Member in External Review Committee within the ICFP Program-track
Martin HenzHenz, Martin National University of SingaporeSingapore SICP JS: Ketchup on Caviar?
Daniel HillerströmHillerström, Daniel The University of EdinburghUnited Kingdom Effects for Efficiency: Asymptotic Speedup with First-Class Control Effect Handlers, Evidently
Hans HoeglundHoeglund, Hans Tweag I/O Asterius: bringing Haskell to WebAssembly
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Raising Expectations: Automating Expected Cost Analysis with Types Liquid Resource Types Committee Member in Program Committee within the ICFP Program-track
Jaemin HongHong, Jaemin KAIST, South KoreaSouth Korea Student Volunteer Co-Chair in Organizing Committee for ICFP 2020
Rudi HornHorn, Rudi University of Edinburgh Relational Lenses as a Library (Demo)
Dániel HorpácsiHorpácsi, Dániel Eötvös Loránd UniversityHungary Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of Minnesota, Twin CitiesUnited States Committee Member in Program Committee within the TyDe-track
Jason Z.S. HuHu, Jason Z.S. McGill University Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Simon HudonHudon, Simon Carnegie Mellon University Sealing Pointer-Based Optimizations Behind Pure Functions
Graham HuttonHutton, Graham University of Nottingham, UKUnited Kingdom Committee Member in Program Committee within the Haskell-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Author in Steering Committee for ICFP 2020 Online Lecture Panel Signature restriction for polymorphic algebraic effects PC Member in Program Committee within the Erlang-track
Shachar ItzhakyItzhaky, Shachar Technion, IsraelIsrael Liquid Information Flow Control
Andrej IvaškovićIvašković, Andrej University of Cambridge, UKUnited Kingdom A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)
J Michal J. GajdaJ. Gajda, Michal Migamake Pte LtdPoland Best Practices in Code Generation
Guilhem JaberJaber, Guilhem Université de NantesFrance Kripke open relations and operational game semantics
Julian JabsJabs, Julian University of Tübingen Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical
Sadiq JafferJaffer, Sadiq Opsian and OCaml LabsUnited Kingdom Parallelising your OCaml Code with Multicore OCaml Retrofitting Parallelism onto OCaml
Michael B. JamesJames, Michael B. University of California, San DiegoUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Alan JeffreyJeffrey, Alan Mozilla ResearchUnited States Committee Member in Virtualization Committee for ICFP 2020 Industrial Relations Chair in Organizing Committee for ICFP 2020 Author in Steering Committee for ICFP 2020 Session Chair of Asia 2 (part of ICFP Program) Session Chair of New York 2 (part of ICFP Program) ShutdownPL: Keynote and Getting Started With Anti-racist Action Virtual Art Gallery
Chris JenkinsJenkins, Chris The University of Iowa Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille
Thomas P. JensenJensen, Thomas P. INRIA Rennes Stable Relations and Abstract Interpretation of Higher-Order Programs Regular Language Type Inference with Term Rewriting
Johan JeuringJeuring, Johan Open University of the Netherlands, Netherlands Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality
Ranjit JhalaJhala, Ranjit University of California at San Diego, USA Liquid Haskell as a GHC Plugin Mentoring with Ranjit Jhala Committee Member in Program Committee within the TyDe-track
Simon Peyton JonesJones, Simon Peyton Microsoft, UK Panel discussion: Making a career in PL (even in uncertain times) GHC Status Update Lower Your Guards: A Compositional Pattern-Match Coverage Checker Kinds are Calling Conventions Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input Arrays A Quick Look at Impredicativity SIGPLAN CARES SIGPLAN CARES Committee Member in Program Committee within the Haskell-track
Timothy M. JonesJones, Timothy M. University of Cambridge, UK Duplo: A Framework for OCaml Post-Link Optimisation
Jacques-Henri JourdanJourdan, Jacques-Henri Universersité Paris Saclay, CNRS, LRIFrance Cosmo: A Concurrent Separation Logic for Multicore OCaml Committee Member in Program Committee within the HOPE-track
João Isaías Ferreira dos Santos, Armando University of Minho, Portugal / INESC TEC, PortugalPortugal Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl)
David JustoJusto, David University of California, San DiegoUnited States ShutdownPL: Keynote and Getting Started With Anti-racist Action
K David M. KahnKahn, David M. Carnegie Mellon UniversityUnited States Raising Expectations: Automating Expected Cost Analysis with Types
Jan-Oliver KaiserKaiser, Jan-Oliver MPI-SWS Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2 (Extended Abstract)
Gowtham KakiKaki, Gowtham Purdue UniversityUnited States Committee Member in Program Committee within the ML-track
Yukiyoshi KameyamaKameyama, Yukiyoshi University of Tsukuba, JapanJapan Committee Member in Program Committee within the Scheme-track
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Frex: indexing modulo equations with free extensions (Extended Abstract) Co-chair in Organizing Committee within the HOPE-track
Sander KampsKamps, Sander Open University of the Netherlands, NetherlandsNetherlands Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality
Shakthi KannanKannan, Shakthi IIT MadrasIndia Volunteer in Organizing Committee within the OCaml-track
Georgios KarachaliasKarachalias, Georgios Tweag I/ONetherlands Asterius: bringing Haskell to WebAssembly Committee Member in Program Committee within the HIW-track
Jonas Kastberg HinrichsenKastberg Hinrichsen, Jonas IT University of CopenhagenDenmark Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Akira KawataKawata, Akira Kyoto University Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching
Andy KeepKeep, Andy Cisco Systems, Inc Committee Member in Program Committee within the Scheme-track
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Co-chair in Organizing Committee within the FHPNC-track Committee Member in External Review Committee within the ICFP Program-track
Patrik KellerKeller, Patrik University of Innsbruck LexiFi Runtime Types
Tom KellyKelly, Tom OCaml Labs Parallelising your OCaml Code with Multicore OCaml Retrofitting Parallelism onto OCaml
Delia KesnerKesner, Delia IRIF, France / University of Paris Diderot, France Committee Member in External Review Committee within the ICFP Program-track
Bohdan KhomtchoukKhomtchouk, Bohdan University of ChicagoUnited States 21st Century Lisp in Academic Research and Pedagogy
Oleg KiselyovKiselyov, Oleg Committee Member in Program Committee within the OCaml-track
Tristan KnothKnoth, Tristan University of California at San Diego, USA Liquid Resource Types
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia Sinica, Taiwan Committee Member in Poster and Presentation Judges within the ICFP Student Research Competition-track Committee Member in Program Committee within the ICFP Student Research Competition-track
Thomas KoehlerKoehler, Thomas University of Glasgow, United Kingdom Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies
Wen KokkeKokke, Wen University of EdinburghUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University, UK Committee Member in Program Committee within the miniKanren-track
James KoppelKoppel, James Massachusetts Institute of Technology, USA Building Multi-Language Tools with Cubix
Mayuko KoriKori, Mayuko The University of Tokyo Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching
Paulette KoronkevichKoronkevich, Paulette University of British Columbia ICFP Triva
Dmitrii KosarevKosarev, Dmitrii JetBrains Research, Saint Petersburg State UniversityRussia Relational Synthesis for Pattern Matching
Dmitrii KovanikovKovanikov, Dmitrii Standard CharteredUnited Kingdom Stan — Haskell Static Analyser
András KovácsKovács, András Eötvös Loránd University Elaboration with First-Class Implicit Function Types
Robbert KrebbersKrebbers, Robbert Delft University of TechnologyNetherlands Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris Committee Member in Program Committee within the ICFP Program-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States SIGPLAN CARES SIGPLAN CARES Committee Member in External Review Committee within the ICFP Program-track
Neel KrishnaswamiKrishnaswami, Neel Computer Laboratory, University of Cambridge Academic Career Planning During a Crisis Some Proverbs in Type Theory Recovering Purity with Comonads and Capabilities Committee Member in Program Committee within the ML-track
Robert KrookKrook, Robert Chalmers University of Technology, Sweden Towards Secure IoT Programming in Haskell
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States Accessibility Chair in Organizing Committee for ICFP 2020 Welcome Committee Member in Organizing Committee within the PLMW @ ICFP -track
L Christopher LamLam, Christopher Cornell University Semantics for a Simple Differentiable Language Using Distribution Theory
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Workshops Co-Chair in Organizing Committee for ICFP 2020 Untitled PL Card Game Co-chair in Selection Committee within the ICFP Tutorials-track
Victor LanvinLanvin, Victor IRIF, Université Paris Diderot, FranceFrance Student Volunteer Co-Chair in Organizing Committee for ICFP 2020 Student Volunteer Co-Chair in Student Volunteers Committee within the ICFP Student Volunteering-track
Marc LassonLasson, Marc LexiFi LexiFi Runtime Types
Lukas LazarekLazarek, Lukas Northwestern University Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Daan LeijenLeijen, Daan Microsoft Research, USAUnited States Effect Handlers in Haskell, Evidently Effect Handlers, Evidently Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the HOPE-track
Mark LemayLemay, Mark Boston University Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract)
Johannes LenfersLenfers, Johannes University of MünsterGermany Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies
Thomas LeonardLeonard, Thomas OCaml Labs OCaml-CI : A Zero-Configuration CI
julien lepillerlepiller, julien Yale University Programming with Petri Nets to Reason about Concurrency (Lightning Talk)
Mohsen LesaniLesani, Mohsen University of California, Riverside TLC: Temporal Logic of Distributed Components
Paul Blain LevyLevy, Paul Blain University of BirminghamUnited Kingdom Variants of call-by-push-value
Yao LiLi, Yao University of PennsylvaniaUnited States Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale
Romain LiautaudLiautaud, Romain Tarides Irmin v2
Dan LicataLicata, Dan Wesleyan UniversityUnited States Denotational Recurrence Extraction for Amortized Analysis Committee Member in Program Committee within the TyDe-track
Nandor LickerLicker, Nandor University of Cambridge Duplo: A Framework for OCaml Post-Link Optimisation
Sam LindleyLindley, Sam Heriot-Watt University, UK / The University of Edinburgh, UKUnited Kingdom The Virtues of Semi-Explicit Polymorphism Effects for Efficiency: Asymptotic Speedup with First-Class Control
Ben LippmeierLippmeier, Ben Ghost LocomotionAustralia Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2020 Co-chair in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Antonio LocascioLocascio, Antonio Universidad Nacional de Rosario Alef: A bidirectional effect system for algebraic effects.
John LongleyLongley, John The University of Edinburgh Effects for Efficiency: Asymptotic Speedup with First-Class Control
Crista LopesLopes, Crista University of California, IrvineUnited States Virtualization Feedback
James LowenthalLowenthal, James University of CambridgeUnited Kingdom Certified Optimisation of Stream Operations Using Heterogeneous Staging
Petr LozovLozov, Petr Sain Petersburg State University, SPbGU On Fair Relational Conjunction
Kuang-Chen LuLu, Kuang-Chen Indiana University BloomingtonUnited States λKanren: Higher-order Logic Programming with Shallow Embedding
Justin LubinLubin, Justin University of ChicagoUnited States Program Sketching with Live Bidirectional Evaluation ShutdownPL: Keynote and Getting Started With Anti-racist Action
Flynn LudlamLudlam, Flynn Volunteer in Organizing Committee within the OCaml-track
Jonathan LudlamLudlam, Jonathan University of Cambridge The final pieces of the OCaml documentation puzzle
Igor LukaninLukanin, Igor KonturRussia Programming Contest Organizer in Organizing Committee for ICFP 2020 Programming Contest Report
Georgy LukyanovLukyanov, Georgy Newcastle University, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Žiga LukšičLukšič, Žiga Local algebraic effect theories
Víctor López JuanLópez Juan, Víctor Chalmers University of Technology Practical Dependent Type Checking Using Twin Types
Andres LöhLöh, Andres Well-Typed LLP Liquid Haskell as a GHC Plugin Staged Sums of Products
M Tran MaMa, Tran Ghost Locomotion Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Weixi MaMa, Weixi Indiana University Session Chair of Afternoon Session (part of miniKanren) λKanren: Higher-order Logic Programming with Shallow Embedding
Anil MadhavapeddyMadhavapeddy, Anil OCaml LabsUnited Kingdom OCaml-CI : A Zero-Configuration CI The OCaml Platform Parallelising your OCaml Code with Multicore OCaml Retrofitting Parallelism onto OCaml Co-chair in Organizing Committee within the OCaml-track
José Pedro MagalhãesMagalhães, José Pedro Session Chair of Paper Session 1 - Software Engineering (part of Haskell) Committee Member in Program Committee within the Haskell-track
Marco MaggesiMaggesi, Marco Università di Firenze Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System
Geoffrey MainlandMainland, Geoffrey Drexel UniversityUnited States Committee Member in Program Committee within the ICFP Program-track
Oleksandr ManzyukManzyuk, Oleksandr Perturbation confusion in forward automatic differentiation of higher-order functions
Koar MarntirosianMarntirosian, Koar KU LeuvenBelgium Committee Member in Program Committee within the HIW-track
Clare MartinMartin, Clare United Kingdom Committee Member in Program Committee within the Haskell-track
Olivier MartinotMartinot, Olivier Université de Paris Quantified Applicatives – API design for type-inference constraints
Guido MartínezMartínez, Guido CIFASIS-CONICET, ArgentinaArgentina SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan On Teaching Type Systems as Macros (Lightning Talk) Designing a Programming Environment Based on the Program Design Recipe (Lightning Talk)
Kazutaka MatsudaMatsuda, Kazutaka Tohoku University, JapanJapan Sparcl: A Language for Partially-Invertible Computation
Matt McCutchenMcCutchen, Matt United States Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input Arrays
Colin McDonaldMcDonald, Colin University of Notre Dame Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille
Trevor L. McDonellMcDonell, Trevor L. Utrecht UniversityNetherlands Committee Member in Program Committee within the FHPNC-track
Tim McGilchristMcGilchrist, Tim Digital Asset GmbHAustralia Volunteer in Organizing Committee within the OCaml-track
James McKinnaMcKinna, James University of Edinburgh PC Co-Chair in Organizing Committee within the TyDe-track PC Co-Chair in Program Committee within the TyDe-track
Francesco MeccaMecca, Francesco University of Turin Translation validation of a pattern-matching compiler
Christopher MeiklejohnMeiklejohn, Christopher Carnegie Mellon UniversityUnited States Composing and Decomposing Op-Based CRDTs with Semidirect Products
Darius MercadierMercadier, Darius Sorbonne Universités —UPMC Univ Paris 06 Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Denis MerigouxMerigoux, Denis INRIAFrance SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Mira MeziniMezini, Mira Technische Universität DarmstadtGermany Award Presentations & Chair Report
Jan MidtgaardMidtgaard, Jan University of Southern DenmarkDenmark A Simple State-Machine Framework for Property-Based Testing in OCaml Committee Member in Program Committee within the miniKanren-track Committee Member in External Review Committee within the ICFP Program-track
Matthew MightMight, Matthew University of Alabama at Birmingham \| Harvard Medical SchoolUnited States The Pill is in The Proof: Saving Lives with Logic A Relational Interpreter for Synthesizing JavaScript mediKanren: A System for Bio-medical Reasoning
Heather MillerMiller, Heather Carnegie Mellon University Composing and Decomposing Op-Based CRDTs with Semidirect Products
Agustín MistaMista, Agustín Chalmers University of TechnologySweden Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Andrey MokhovMokhov, Andrey Jane StreetUnited Kingdom Session Chair of Paper Session 3 - Datastructures (part of Haskell) Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the HIW-track Committee Member in External Review Committee within the ICFP Program-track
Alberto MomiglianoMomigliano, Alberto Università degli Studi di Milano POPLMark reloaded: Mechanizing proofs by logical relations
Sebastien MondetMondet, Sebastien TQ Tezos OCaml Under The Hood: SmartPy Volunteer in Organizing Committee within the OCaml-track
Benoît MontaguMontagu, Benoît InriaFrance Stable Relations and Abstract Interpretation of Higher-Order Programs
Francesco MontanariMontanari, Francesco Universidad Autónoma de Madrid Scheme for scientific computing
Benjamin MoonMoon, Benjamin School of Computing, University of KentUnited Kingdom Graded Modal Dependent Type Theory (Extended Abstract)
J. Garrett MorrisMorris, J. Garrett University of Kansas, USAUnited States Committee Member in External Review Committee within the ICFP Program-track
Markus MottlMottl, Markus UnaffiliatedUnited States AD-OCaml: Algorithmic Differentiation for OCaml
Shin-Cheng MuMu, Shin-Cheng Academia Sinica, Taiwan Committee Member in Program Committee within the Haskell-track
Stefan K. MullerMuller, Stefan K. Carnegie Mellon University, USA Committee Member in External Review Committee within the ICFP Program-track
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume Towards better systems programming in OCaml with out-of-heap allocation (Informed Position)
Philip MunksgaardMunksgaard, Philip DIKU, University of CopenhagenDenmark Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Agata MurawskaMurawska, Agata University of CopenhagenDenmark Committee Member in Program Committee within the HOPE-track
Andrzej MurawskiMurawski, Andrzej University of OxfordUnited Kingdom Kripke open relations and operational game semantics
Koko MuroyaMuroya, Koko RIMS, Kyoto University, JP Committee Member in Program Committee within the ML-track
Alan MycroftMycroft, Alan University of Cambridge, UK A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology, SwedenSweden Committee Member in Program Committee within the ICFP Program-track
Glen MévelMével, Glen Inria, Université Paris-Saclay, CNRS, Laboratoire de recherche en informatique Cosmo: A Concurrent Separation Logic for Multicore OCaml
Rasmus Ejlers MøgelbergMøgelberg, Rasmus Ejlers IT University of CopenhagenDenmark Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming Committee Member in External Review Committee within the ICFP Program-track
N Joseph P. NearNear, Joseph P. University of Vermont Session Chair of Morning Session (part of miniKanren) Committee Member in Program Committee within the miniKanren-track
Adolfo NetoNeto, Adolfo Federal University of Technology - ParanáBrazil PC Member in Program Committee within the Erlang-track
Rishiyur NikhilNikhil, Rishiyur Bluespec, Inc.United States Designing Hardware Systems and Accelerators with Open-Source Bluespec Haskell
Vladimir NikishkinNikishkin, Vladimir UnaffiliatedChina Experience Report on Solving the Problem Set of SICP completely.
Yuki NishidaNishida, Yuki Kyoto University Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Massimo NocentiniNocentini, Massimo Università di Firenze Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System
Pablo NogueiraNogueira, Pablo ESNE University School of Design, Innovation and TechnologySpain The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus
Junya NoseNose, Junya Tokyo Institute of Technology Designing a Programming Environment Based on the Program Design Recipe (Lightning Talk)
Greg NtousakisNtousakis, Greg TU CreteGreece Library-Oriented Dynamic Analysis with Lya
Jose Nuno OliveiraNuno Oliveira, Jose University of Minho, Portugal / INESC TEC, PortugalPortugal Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl)
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of Edinburgh Retrofitting Symbolic Holes to LLVM IR (Extended Abstract)
Hiromi OgawaOgawa, Hiromi University of Tsukuba Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching
Atsushi OhoriOhori, Atsushi Tohoku University, Japan Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the ICFP Program-track
Cyrus OmarOmar, Cyrus University of MichiganUnited States Program Sketching with Live Bidirectional Evaluation Committee Member in Poster and Presentation Judges within the ICFP Student Research Competition-track Committee Member in Program Committee within the ICFP Student Research Competition-track Committee Member in External Review Committee within the ICFP Program-track PC Co-Chair in Organizing Committee within the TyDe-track PC Co-Chair in Program Committee within the TyDe-track
Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Graded Modal Dependent Type Theory (Extended Abstract) Committee Member in External Review Committee within the ICFP Program-track
Klaus OstermannOstermann, Klaus University of Tübingen, GermanyGermany Compiling Effect Handlers in Capability-Passing Style
P Julien PagèsPagès, Julien Université de MontréalCanada Committee Member in Program Committee within the Scheme-track
Zachary PalmerPalmer, Zachary Swarthmore CollegeUnited States Higher-Order Demand-Driven Symbolic Evaluation
Jens PalsbergPalsberg, Jens University of California, Los Angeles Author in Steering Committee for ICFP 2020 Award Presentations & Chair Report
Zhiyi PanPan, Zhiyi University of Michigan Type Hole Inference
Nikolaos PapaspyrouPapaspyrou, Nikolaos National Technical University of AthensGreece Committee Member in Program Committee within the Haskell-track
Sudha ParimalaParimala, Sudha IIT Madras Parallelising your OCaml Code with Multicore OCaml Retrofitting Parallelism onto OCaml Volunteer in Organizing Committee within the OCaml-track
Theodore ParkPark, Theodore Swarthmore and Hopkins Higher-Order Demand-Driven Symbolic Evaluation
Lionel ParreauxParreaux, Lionel EPFLSwitzerland The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl)
Yves ParèsParès, Yves Tweag I/O, France Composing Effects into Tasks and Workflows
Clément PascuttoPascutto, Clément Tarides Irmin v2
Rutvi PatelPatel, Rutvi Creating SVG graphics and Animations using Elm
Michael PattonPatton, Michael University of Alabama at Birmingham mediKanren: A System for Bio-medical Reasoning
Barak A. PearlmutterPearlmutter, Barak A. Maynooth UniversityIreland Perturbation confusion in forward automatic differentiation of higher-order functions
Ivan PerezPerez, Ivan NIA / NASA Formal Methods Committee Member in External Review Committee within the ICFP Program-track
Álvaro García PerezPerez, Álvaro García IMDEA Software Institute The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus
Saverio PeruginiPerugini, Saverio University of Dayton Emerging languages: An alternative approach to teaching programming languages
Matthew PickeringPickering, Matthew University of Bristol, UKUnited Kingdom Staged Sums of Products Staged Selective Parser Combinators Committee Member in Program Committee within the HIW-track
Brigitte PientkaPientka, Brigitte McGill University POPLMark reloaded: Mechanizing proofs by logical relations Committee Member in External Review Committee within the ICFP Program-track
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Committee Member in Virtualization Committee for ICFP 2020 Author in Steering Committee for ICFP 2020 Panel discussion: Making a career in PL (even in uncertain times) How to Use Clowdr at ICFP Clowdr Training Sessions Virtualization Feedback
Frank PiessensPiessens, Frank KU Leuven Committee Member in Program Committee within the ICFP Program-track
Nadia PolikarpovaPolikarpova, Nadia University of California, San DiegoUnited States Constraint Solvers for the Working PL Researcher Liquid Resource Types Liquid Information Flow Control Committee Member in Program Committee within the ICFP Program-track
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Online Lecture Panel
François PottierPottier, François Inria, FranceFrance Author in Steering Committee for ICFP 2020 Cosmo: A Concurrent Separation Logic for Multicore OCaml
Boldizsár PoórPoór, Boldizsár Eötvös Loránd UniversityHungary Transformations towards Clean Functional Code
Matija PretnarPretnar, Matija University of Ljubljana, SloveniaSlovenia Local algebraic effect theories
Kai-Oliver ProttPrott, Kai-Oliver CAU KielGermany A GHC-Plugin to Compile Effectful Languages
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the ICFP Program-track
Juan Pedro Bolívar PuentePuente, Juan Pedro Bolívar Independent Consultant, Sinusoidal EngineeringGermany Committee Member in External Review Committee within the ICFP Program-track
Q Xueying QinQin, Xueying University of Glasgow, United Kingdom Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies
Donya QuickQuick, Donya Stevens Institute of TechnologyUnited States FARM Performance Performance Chair in Organizing Committee within the FARM-track
R Gabriel RadanneRadanne, Gabriel InriaFrance High-level error messages for modules through diffing The final pieces of the OCaml documentation puzzle Kindly Bent to Free Us Committee Member in Program Committee within the ML-track
Alexey RadulRadul, Alexey Perturbation confusion in forward automatic differentiation of higher-order functions Committee Member in Program Committee within the Scheme-track
Norman RamseyRamsey, Norman Tufts UniversityUnited States Committee Member in Program Committee within the Haskell-track Committee Member in External Review Committee within the ICFP Program-track
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs
Adam ReynoldsReynolds, Adam University of California, San Diego Liquid Resource Types
Thomas ReynoldsReynolds, Thomas University of Missouri Strongly Bounded Termination with Applications to Security and Hardware Synthesis
Tom RidgeRidge, Tom University of Leicester, UK The ImpFS filesystem Volunteer in Organizing Committee within the OCaml-track
Talia RingerRinger, Talia University of WashingtonUnited States Mentoring Chair in Organizing Committee for ICFP 2020 Welcome Organizer in Organizing Committee within the ICFP Mentoring-track Committee Member in Organizing Committee within the PLMW @ ICFP -track
Nick RiouxRioux, Nick University of Pennsylvania Computation Focusing
Exequiel RivasRivas, Exequiel Inria Paris Session Chair of Paper Session 2 - Animations and Demonstrations (part of Haskell) Committee Member in Program Committee within the Haskell-track
Christine RizkallahRizkallah, Christine UNSW SydneyAustralia Committee Member in External Review Committee within the ICFP Program-track
Veronika RomashkinaRomashkina, Veronika NoneAzerbaijan Stan — Haskell Static Analyser
Tiark RompfRompf, Tiark Purdue UniversityUnited States Committee Member in Program Committee within the FHPNC-track Committee Member in External Review Committee within the ICFP Program-track
Gregory RosenblattRosenblatt, Gregory University of Alabama at Birmingham, USACanada Session Chair of Morning Session (part of miniKanren) A Relational Interpreter for Synthesizing JavaScript mediKanren: A System for Bio-medical Reasoning Committee Member in Program Committee within the miniKanren-track
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany Author in Steering Committee for ICFP 2020 Committee Member in Program Committee within the OCaml-track
Arjen RouvoetRouvoet, Arjen Delft University of TechnologyNetherlands Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Reuben RoweRowe, Reuben University College LondonUnited Kingdom API migration: compare transformed
Dmitry RozplokhasRozplokhas, Dmitry Higher School of Economics Certified Semantics for Disequality
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States Using the K Framework to Formalize Functional Languages A General Approach to Define Binders Using Matching Logic
David RushRush, David Perturbation confusion in forward automatic differentiation of higher-order functions
Alejandro RussoRusso, Alejandro Chalmers University of Technology, SwedenArgentina Towards Secure IoT Programming in Haskell
Claudio RussoRusso, Claudio Dfinity Committee Member in Program Committee within the ML-track
Matthew RyanRyan, Matthew O(1) Labs Types in amber
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Committee Member in Virtualization Committee for ICFP 2020 Author in Steering Committee for ICFP 2020 Session Chair of Asia 6 (part of ICFP Program) Session Chair of New York 6 (part of ICFP Program) Women in CS Panel Online Lecture Panel Award Presentations & Chair Report
S Hannes SaffrichSaffrich, Hannes University of Freiburg Kindly Bent to Free Us
Anmol SahooSahoo, Anmol IIT Madras Retrofitting Parallelism onto OCaml
Baptiste SaleilSaleil, Baptiste IBM CanadaCanada Program Co-Chair in Organizing Committee within the Scheme-track Program Co-Chair in Program Committee within the Scheme-track
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Committee Member in External Review Committee within the ICFP Program-track
Alex Sanchez-SternSanchez-Stern, Alex University of California, San DiegoUnited States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Advait SarkarSarkar, Advait Microsoft Research and University of CambridgeUnited Kingdom Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input Arrays
John SarracinoSarracino, John University of California, San Diego Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Suneel sarswatsarswat, Suneel TIFR Certified double sided auction mechanisms
Annabel SatinSatin, Annabel P.C.K. Conference Manager in Organizing Committee for ICFP 2020
Christopher SchankulaSchankula, Christopher Creating SVG graphics and Animations using Elm
Gabriel SchererScherer, Gabriel INRIA SaclayFrance Translation validation of a pattern-matching compiler Quantified Applicatives – API design for type-inference constraints
Raoul SchorerSchorer, Raoul Geneva University HospitalsSwitzerland MicroKanren in J: an Embedding of the Relational Paradigm in an Array Language with Rank-Polymorphic Unification
Tom SchrijversSchrijvers, Tom KU Leuven Session Chair of Keynote (part of Haskell) PC Chair Report Chair in Program Committee within the Haskell-track Committee Member in External Review Committee within the ICFP Program-track
Philipp SchusterSchuster, Philipp University of Tübingen, Germany Higher-order Programming with Effects and Handlers — without First-Class Functions Updating Immutable Code Effect Handlers, Evidently Compiling Effect Handlers in Capability-Passing Style
Steven SchäferSchäfer, Steven Google, AarhusDenmark POPLMark reloaded: Mechanizing proofs by logical relations
Ryan ScottScott, Ryan Galois, Inc.United States Lower Your Guards: A Compositional Pattern-Match Coverage Checker Committee Member in Program Committee within the HIW-track
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Signature restriction for polymorphic algebraic effects Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Daniel SelsamSelsam, Daniel Microsoft Research Sealing Pointer-Based Optimizations Behind Pure Functions
Ilya SergeySergey, Ilya Yale-NUS College and National University of SingaporeSingapore Online Lecture Panel Committee Member in Program Committee within the miniKanren-track
Marcello SeriSeri, Marcello Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen Session Chair of Applications (part of OCaml) Volunteer in Organizing Committee within the OCaml-track Committee Member in Program Committee within the OCaml-track
Alejandro SerranoSerrano, Alejandro 47 Degrees, SpainNetherlands Describing Microservices using Modern Haskell (Experience Report) A Quick Look at Impredicativity
Narges ShadabShadab, Narges University of California, Riverside TLC: Temporal Logic of Distributed Components
Chung-chieh ShanShan, Chung-chieh Indiana University, USA Session Chair of Keynote (part of ICFP Program) Committee Member in External Review Committee within the ICFP Program-track
Cheng ShaoShao, Cheng Tweag I/O Asterius: bringing Haskell to WebAssembly
Mary SheeranSheeran, Mary Committee Member in Steering Committee for ICFP 2020 W@ICFP Committee Member in Program Committee within the FHPNC-track
Hannes SiebenhandlSiebenhandl, Hannes None Multiple Home Units
Filip SieczkowskiSieczkowski, Filip University of WrocławPoland Co-chair in Organizing Committee within the HOPE-track
Alexandra SilvaSilva, Alexandra University College LondonUnited Kingdom SIGPLAN CARES SIGPLAN CARES
Jeffrey Mark SiskindSiskind, Jeffrey Mark School of Electrical and Computer Engineering, Purdue UniversityUnited States Perturbation confusion in forward automatic differentiation of higher-order functions
KC SivaramakrishnanSivaramakrishnan, KC IIT MadrasIndia Parallelising your OCaml Code with Multicore OCaml Retrofitting Parallelism onto OCaml Committee Member in Program Committee within the ICFP Program-track
Magnus SkjegstadSkjegstad, Magnus Tarides and OCaml LabsNorway OCaml-CI : A Zero-Configuration CI
Ingo SkupinSkupin, Ingo University of Tübingen Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical
Scott F. SmithSmith, Scott F. The Johns Hopkins University Higher-Order Demand-Driven Symbolic Evaluation
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of Technology, USA Liquid Information Flow Control
Mallku Ernesto Soldevila RaffaSoldevila Raffa, Mallku Ernesto FAMAF, UNC / CONICETArgentina Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Matthew SottileSottile, Matthew Noddle, LLC poco: An ML testbed for deductive synthesis tool design
Stephan SpahnSpahn, Stephan The University of Iowa Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille
Antal Spector-ZabuskySpector-Zabusky, Antal University of Pennsylvania Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale
Michael SperberSperber, Michael Active Group GmbHGermany Functional Software Architecture Teaching Functional Programming
Arnaud SpiwackSpiwack, Arnaud Tweag I/OFrance Implementation of linear types
Priya SrikumarSrikumar, Priya Cornell UniversityUnited States ShutdownPL: Keynote and Getting Started With Anti-racist Action
Vincent St-AmourSt-Amour, Vincent Northwestern University, USAUnited States Committee Member in External Review Committee within the ICFP Program-track
Kathrin StarkStark, Kathrin Princeton University, USAUnited States POPLMark reloaded: Mechanizing proofs by logical relations
Paul StecklerSteckler, Paul O(1) Labs Types in amber
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States Mentoring with Guy Steele
Julie SteeleSteele, Julie Georgetown Day SchoolUnited States dxo: A System for Relational Algebra and Differentiation
Deian StefanStefan, Deian University of California at San Diego, USA Liquid Information Flow Control
Leo StefanescoStefanesco, Leo IRIF, University Paris Diderot & CNRSFrance Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Michel SteuwerSteuwer, Michel The University of EdinburghUnited Kingdom Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies Committee Member in Program Committee within the FHPNC-track
Quentin StiévenartStiévenart, Quentin Vrije Universiteit Brussel, BelgiumBelgium Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Jan StolarekStolarek, Jan University of Edinburgh, UK The Virtues of Semi-Explicit Polymorphism
David A. StuartStuart, David A. None Scripted Signal Functions
Aaron StumpStump, Aaron The University of Iowa, USAUnited States Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille Committee Member in External Review Committee within the ICFP Program-track
Martin SulzmannSulzmann, Martin Karlsruhe University of Applied Sciences, Germany Committee Member in Program Committee within the Haskell-track
Hans SvenssonSvensson, Hans Quviq ABSweden PC Member in Program Committee within the Erlang-track
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands Heterogeneous binary random-access lists Committee Member in Program Committee within the TyDe-track
T Nicolas TabareauTabareau, Nicolas InriaFrance Committee Member in External Review Committee within the ICFP Program-track
Audrey TangTang, Audrey Referential transparency for pandemic resilience
Ross TateTate, Ross Cornell UniversityUnited States Committee Member in External Review Committee within the ICFP Program-track
Hanneli TavanteTavante, Hanneli McGill University Student Volunteer Co-Chair in Organizing Committee for ICFP 2020 Student Volunteer Co-Chair in Student Volunteers Committee within the ICFP Student Volunteering-track
Matúš TejiščákTejiščák, Matúš University of St Andrews A dependently typed calculus with pattern matching and erasure inference
Peter ThiemannThiemann, Peter University of Freiburg, Germany Kindly Bent to Free Us
Simon ThompsonThompson, Simon University of KentUnited Kingdom API migration: compare transformed Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects
Amin TimanyTimany, Amin Aarhus UniversityDenmark Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris
Ignacio TiraboschiTiraboschi, Ignacio None Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2 (Extended Abstract)
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Publicity Chair in Organizing Committee for ICFP 2020 Author in Steering Committee for ICFP 2020
Daniel TornabeneTornabene, Daniel Volunteer in Organizing Committee within the OCaml-track
Melinda TothToth, Melinda Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.Hungary Supporting Secure Coding with RefactorErl Transformations towards Clean Functional Code
Phil TrinderTrinder, Phil University of Glasgow PC Member in Program Committee within the Erlang-track
Takeshi TsukadaTsukada, Takeshi Chiba University, JapanJapan Signature restriction for polymorphic algebraic effects
Kanae TsushimaTsushima, Kanae National Institute of Informatics, JapanJapan Committee Member in Program Committee within the miniKanren-track
Edwin TörökTörök, Edwin CitrixUnited Kingdom Committee Member in Program Committee within the OCaml-track
U Tarmo UustaluUustalu, Tarmo Reykjavik University, Tallinn University of TechnologyIceland Merging coeffect production into effect handling
V Nachiappan ValliappanValliappan, Nachiappan Chalmers University of Technology, Sweden Towards Secure IoT Programming in Haskell Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Birthe van den Bergvan den Berg, Birthe KU LeuvenBelgium Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Jasper Van der JeugtVan der Jeugt, Jasper FugueSwitzerland Untitled PL Card Game
David Van HornVan Horn, David University of Maryland, USAUnited States Basic Mechanics of Operational Semantics
Peter Van RoyVan Roy, Peter Université catholique de LouvainBelgium Living on the Edge with Erlang
Thomas Van StrydonckVan Strydonck, Thomas KULeuven Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Alexander VandenbrouckeVandenbroucke, Alexander KU Leuven, BelgiumBelgium Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Steven VaroumasVaroumas, Steven University of KentUnited Kingdom API migration: compare transformed
Nikos VasilakisVasilakis, Nikos MIT CSAIL, USAGreece Library-Oriented Dynamic Analysis with Lya
Jeff VaughanVaughan, Jeff GoogleUnited States Panel discussion: Making a career in PL (even in uncertain times)
Niki VazouVazou, Niki IMDEA Software Institute Committee Member in Virtualization Committee for ICFP 2020 Liquid Haskell as a GHC Plugin Untitled PL Card Game
Niccolò VeltriVeltri, Niccolò IT University of CopenhagenDenmark Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Ekaterina VerbitskaiaVerbitskaia, Ekaterina JetBrainsRussia An Empirical Study of Partial Deduction for miniKanren
Evan Vigil-McClanahanVigil-McClanahan, Evan United States PC Member in Program Committee within the Erlang-track
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands Executing Declarative Language Definitions A Declarative Syntax Definition for OCaml
Niels VoorneveldVoorneveld, Niels Tallinn University of TechnologyEstonia Merging coeffect production into effect handling
Dimitrios VytiniotisVytiniotis, Dimitrios DeepMindUnited Kingdom A Quick Look at Impredicativity Committee Member in External Review Committee within the ICFP Program-track
W David WalkerWalker, David Princeton University, USA LGBTQ Meetup SIGPLAN CARES SIGPLAN CARES
Di WangWang, Di Carnegie Mellon UniversityUnited States Raising Expectations: Automating Expected Cost Analysis with Types Liquid Resource Types
Meng WangWang, Meng University of Bristol, UKUnited Kingdom Sparcl: A Language for Partially-Invertible Computation
Yuting WangWang, Yuting John Hopcroft Center for Computer Science - Shanghai Jiao Tong UniversityChina Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Matthew WeaverWeaver, Matthew Princeton UniversityUnited States LGBTQ Meetup
Guannan WeiWei, Guannan Purdue University Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Matthew WeidnerWeidner, Matthew Carnegie Mellon University Composing and Decomposing Op-Based CRDTs with Semidirect Products
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Committee Member in Virtualization Committee for ICFP 2020 General Chair in Organizing Committee for ICFP 2020 Author in Steering Committee for ICFP 2020 Session Chair of Awards & Reports (part of ICFP Program) Session Chair of Asia 4 (part of ICFP Program) Session Chair of ICFP Programming Contest (part of ICFP Program) Session Chair of New York 4 (part of ICFP Program) Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale Conference closing Information Desk Award Presentations & Chair Report Committee Member in Selection Committee within the ICFP Tutorials-track
Shiwei WengWeng, Shiwei The Johns Hopkins University Higher-Order Demand-Driven Symbolic Evaluation Volunteer in Organizing Committee within the OCaml-track
Leo WhiteWhite, Leo Jane Street The final pieces of the OCaml documentation puzzle Retrofitting Parallelism onto OCaml Committee Member in Program Committee within the OCaml-track Chair in Program Committee within the ML-track Committee Member in Organizing Committee within the ML-track
John WiegleyWiegley, John DFINITYUnited States Committee Member in External Review Committee within the ICFP Program-track
Jamie WillisWillis, Jamie Imperial College London Staged Selective Parser Combinators
Andy WingoWingo, Andy Igalia, S.L. Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Daniel Winograd-CortWinograd-Cort, Daniel Target CorpUnited States General Chair in Organizing Committee within the FARM-track
Tobias WrigstadWrigstad, Tobias Uppsala University, Sweden SICP JS: Ketchup on Caviar?
Nicolas WuWu, Nicolas Imperial College London, UKUnited Kingdom Staged Sums of Products Staged Selective Parser Combinators
Sharon WuWu, Sharon Creating SVG graphics and Animations using Elm
X Ningning XieXie, Ningning Microsoft Research, USAChina Effect Handlers in Haskell, Evidently Effect Handlers, Evidently
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Frex: indexing modulo equations with free extensions (Extended Abstract) Committee Member in Program Committee within the ML-track
Jean YangYang, Jean Carnegie Mellon University Liquid Information Flow Control
Larry YaoYao, Larry Creating SVG graphics and Animations using Elm
Xizhe YinYin, Xizhe Univsersity of California, Riverside TLC: Temporal Logic of Distributed Components
Brent YorgeyYorgey, Brent Hendrix CollegeUnited States Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2020 Co-chair in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Greta YorshYorsh, Greta Jane Street Session Chair of Experience (part of OCaml) Committee Member in Program Committee within the OCaml-track
Shu-Hung YouYou, Shu-Hung Northwestern University, USATaiwan Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Yongwei YuanYuan, Yongwei University of Michigan Pattern Matching with Typed Holes
Samuel YvonYvon, Samuel Running Scheme On Bare Metal (Experience Report)
Z Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Computation Focusing
Peter ZellerZeller, Peter TU KaiserslauternGermany Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+
Sarah ZennouZennou, Sarah AirbusFrance Committee Member in Program Committee within the OCaml-track
Cheng ZhangZhang, Cheng Boston University Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract)
Lisa ZhangZhang, Lisa University of Toronto MississaugaCanada A Relational Interpreter for Synthesizing JavaScript
Noam ZilbersteinZilberstein, Noam Facebook, USAUnited States Eliminating Bugs with Dependent Haskell (Experience Report)
Beta ZilianiZiliani, Beta FAMAF, UNC and CONICETArgentina Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2 (Extended Abstract) Committee Member in External Review Committee within the ICFP Program-track
Alan ZimmermanZimmerman, Alan South Africa Exactprint in GHC

ICFP 2020 Contributors

Results (516)

Tracks

Workshops

Co-hosted Symposiums