ICFP 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (516)

Andreas Abel Gothenburg University Sweden Author of A Unified View of Modalities in Type Systems within the ICFP Program-track in ICFP 2020 Author of POPLMark reloaded: Mechanizing proofs by logical relations within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the ICFP Program-track
Michael D. Adams University of Michigan United States Author of Parsing with Zippers (Functional Pearl) within the ICFP Program-track in ICFP 2020 Program Co-Chair in Organizing Committee within the Scheme-track Program Co-Chair in Program Committee within the Scheme-track
Justus Adam University of Kent, UK United Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Alejandro Aguirre IMDEA Software Institute and T.U. of Madrid (UPM) Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Danel Ahman University of Ljubljana Slovenia Author of SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs within the ICFP Program-track in ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
Amal Ahmed Northeastern University, USA United States Speaker of Managing your Research, your Advisor, your PhD within the PLMW @ ICFP 2020-track in PLMW @ ICFP 2020
Aws Albarghouthi University of Wisconsin-Madison, USA Committee Member in External Review Committee within the ICFP Program-track
Jonathan Aldrich Carnegie Mellon University United States Presenter of Integrating User-Centered Methods into Programming Language Design within the Tutorials-track in ICFP 2020
Guillaume Allais University of St Andrews United Kingdom Author of Frex: indexing modulo equations with free extensions (Extended Abstract) within the TyDe 2020-track in TyDe 2020 Author of POPLMark reloaded: Mechanizing proofs by logical relations within the ICFP Program-track in ICFP 2020
Gerard Allwein U.S. Naval Research Laboratory Author of Strongly Bounded Termination with Applications to Security and Hardware Synthesis within the TyDe 2020-track in TyDe 2020
Nada Amin Harvard University United States Session Chair of Afternoon Session (part of miniKanren) Speaker of Functional Programming for COVID-19 Drug Repurposing within the PLMW @ ICFP 2020-track in PLMW @ ICFP 2020
Christopher Anand Presenter of Creating SVG graphics and Animations using Elm within the Tutorials-track in ICFP 2020
Leif Andersen Northeastern University, USA Video Co-Chair in Organizing Committee for ICFP 2020
Cezar-Constantin Andrici Alexandru Ioan Cuza University of Iasi Author of Gradual Enforcement of IO Trace Properties within the Student Research Competition-track in ICFP 2020
Florian Angeletti Inria Session Chair of Ecosystem (part of OCaml) Author of High-level error messages for modules through diffing within the ML 2020-track in ML 2020 Committee Member in Program Committee within the OCaml-track
Zena M. Ariola University of Oregon, USA Author of Kinds are Calling Conventions within the ICFP Program-track in ICFP 2020
Stavros Aronis Erlang Solutions, Sweden Greece PC Member in Program Committee within the Erlang-track
Kenichi Asai Ochanomizu University Japan Committee Member in External Review Committee within the ICFP Program-track
Robert Atkey University of Strathclyde Committee Member in Program Committee within the TyDe-track
Arthur Azevedo de Amorim Carnegie Mellon University, USA United States Committee Member in Program Committee within the Haskell-track
Christiaan Baaij QBayLogic B.V. Netherlands Committee Member in Program Committee within the HIW-track
Patrick Bahr IT University of Copenhagen Denmark Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming within the HOPE 2020-track in HOPE 2020 Committee Member in External Review Committee within the ICFP Program-track
Stephanie Balzer Carnegie Mellon University, USA United States Committee Member in External Review Committee within the ICFP Program-track
Brigitta Baranyai ELTE Eötvös Loránd University Hungary Author of Supporting Secure Coding with RefactorErl within the Erlang 2020-track in Erlang 2020
Langston Barrett Galois, Inc Author of Predictable Macros for Hindley-Milner (Extended Abstract) within the TyDe 2020-track in TyDe 2020
Jonathan Bell Northeastern University United States Organizer of Virtualization Feedback within the Social Events-track in ICFP 2020
Péter Bereczky Eötvös Loránd University Hungary Author of Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects within the Erlang 2020-track in Erlang 2020
Daniil Berezun JetBrains, Russia Author of An Empirical Study of Partial Deduction for miniKanren within the miniKanren 2020-track in miniKanren 2020
Jean-Philippe Bernardy University of Gothenburg, Sweden Author of Composing Effects into Tasks and Workflows within the Haskell 2020-track in Haskell 2020 Author of A Unified View of Modalities in Type Systems within the ICFP Program-track in ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
Annette Bieniusa Technische Universität Kaiserslautern Germany Session Chair of Session 3 (part of Erlang) Session Chair of Session 2 (part of Erlang) Author of Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+ within the Erlang 2020-track in Erlang 2020 Author of Opening within the Erlang 2020-track in Erlang 2020 Co-chair in Organizing Committee within the Erlang-track PC Member in Program Committee within the Erlang-track
Malgorzata Biernacka University of Wroclaw Committee Member in Program Committee within the HOPE-track
David Binder University of Tübingen Author of Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical within the HOPE 2020-track in HOPE 2020 Author of Updating Immutable Code within the HIW 2020-track in HIW 2020
Lars Birkedal Aarhus University Author of Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris within the ICFP Program-track in ICFP 2020
William Blair Boston University Author of Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract) within the TyDe 2020-track in TyDe 2020
Sandrine Blazy Univ Rennes- IRISA France Committee Member in External Review Committee within the ICFP Program-track Committee Member in Program Committee within the TyDe-track
Judith Borghouts Author of Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input Arrays within the ICFP Program-track in ICFP 2020
Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia Session Chair of Morning Keynote (part of miniKanren) Author of Certified Semantics for Disequality within the miniKanren 2020-track in miniKanren 2020 Author of An Empirical Study of Partial Deduction for miniKanren within the miniKanren 2020-track in miniKanren 2020 Author of Relational Synthesis for Pattern Matching within the miniKanren 2020-track in miniKanren 2020 Author of On Fair Relational Conjunction within the miniKanren 2020-track in miniKanren 2020 PC Chair in Program Committee within the miniKanren-track
Frédéric Bour Tarides France Author of Nottui & Lwd: A friendly UI toolkit for the ML-programmer within the ML 2020-track in ML 2020 Volunteer in Organizing Committee within the OCaml-track
István Bozó Eötvös Loránd University Hungary Author of Supporting Secure Coding with RefactorErl within the Erlang 2020-track in Erlang 2020 Author of Transformations towards Clean Functional Code within the Erlang 2020-track in Erlang 2020 PC Member in Program Committee within the Erlang-track
Jonathan Immanuel Brachthäuser University of Tübingen, Germany Author of Higher-order Programming with Effects and Handlers — without First-Class Functions within the HOPE 2020-track in HOPE 2020 Author of Compiling Effect Handlers in Capability-Passing Style within the ICFP Program-track in ICFP 2020 Author of Effect Handlers, Evidently within the ICFP Program-track in ICFP 2020
Edwin Brady University of St. Andrews, UK United Kingdom Author of Frex: indexing modulo equations with free extensions (Extended Abstract) within the TyDe 2020-track in TyDe 2020 Committee Member in Program Committee within the ICFP Program-track
Joachim Breitner DFINITY Foundation Germany Author of Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale within the HIW 2020-track in HIW 2020
Michael Buch Harvard University Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
William E. Byrd University of Alabama at Birmingham, USA United States Author of mediKanren: A System for Bio-medical Reasoning within the miniKanren 2020-track in miniKanren 2020 Author of dxo: A System for Relational Algebra and Differentiation within the miniKanren 2020-track in miniKanren 2020
Manuel Bärenz sonnen eServices GmbH Germany Presenter of Audio, Video & Web Live Coding in Haskell within the Tutorials-track in ICFP 2020
Jose Calderon Galois, Inc. United States Panelist of Panel discussion: Making a career in PL (even in uncertain times) within the PLMW @ ICFP 2020-track in PLMW @ ICFP 2020 Organizer of ICFP Triva within the Social Events-track in ICFP 2020
Benjamin Canou Nomadic Labs Committee Member in External Review Committee within the ICFP Program-track
Richard Carlsson Klarna Sweden PC Member in Program Committee within the Erlang-track
Niki Carroll George Mason University Organizer of ShutdownPL: Keynote and Getting Started With Anti-racist Action within the Social Events-track in ICFP 2020
Chris Casinghino 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 Castagna CNRS - Université de Paris, France France Committee Member in External Review Committee within the ICFP Program-track
Laura M. Castro University of A Coruña Spain PC Member in Program Committee within the Erlang-track
Martin Ceresa UNR - CIFASIS - CONICET Author of Effectful Improvement Theory within the HOPE 2020-track in HOPE 2020
Joris Ceulemans Vrije Universiteit Brussel Belgium Author of Shallowly Embedding Type Theories as Presheaf Models in Agda (Extended Abstract) within the TyDe 2020-track in TyDe 2020
Rohit Chadha University of Missouri Author of Strongly Bounded Termination with Applications to Security and Hardware Synthesis within the TyDe 2020-track in TyDe 2020
Manuel Chakravarty Tweag I/O & IOHK Netherlands Committee Member in Program Committee within the Haskell-track
Christopher Chalmers Myrtle.ai Author of Circuit Notation Source Plugin within the HIW 2020-track in HIW 2020
Byeong-Mo Chang Author of A theory of RPC calculi for client–server model within the ICFP Program-track in ICFP 2020
Stephen Chang University of Massachusetts Boston United 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éraud Inria France Author of Verification of OCaml programs using CFML within the ML 2020-track in ML 2020 Author of Separation Logic for Sequential Programs (Functional Pearl) within the ICFP Program-track in ICFP 2020
Sarah E. Chasins University of California, Berkeley Panelist of Panel discussion: Making a career in PL (even in uncertain times) within the PLMW @ ICFP 2020-track in PLMW @ ICFP 2020
Natalia Chechina Bournemouth University United Kingdom Author of Clojerl: The Expressive Power of Clojure on the BEAM within the Erlang 2020-track in Erlang 2020 PC Member in Program Committee within the Erlang-track
Xiaohong Chen University of Illinois at Urbana-Champaign United States Author of A General Approach to Define Binders Using Matching Logic within the ICFP Program-track in ICFP 2020 Presenter of Using the K Framework to Formalize Functional Languages within the Tutorials-track in ICFP 2020
Zilin Chen Data61, CSIRO and UNSW Australia Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Maxime Chevalier-Boisvert Université de Montréal Committee Member in Program Committee within the Scheme-track
Artem Chirkov University of Toronto Mississauga Author of A Relational Interpreter for Synthesizing JavaScript within the miniKanren 2020-track in miniKanren 2020
Adam Chlipala Massachusetts Institute of Technology United 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) Program Chair of Award Presentations & Chair Report within the ICFP Program-track in ICFP 2020 Committee Member in Selection Committee within the ICFP Tutorials-track Program Chair in Program Committee within the ICFP Program-track
Kwanghoon Choi Author of A theory of RPC calculi for client–server model within the ICFP Program-track in ICFP 2020
Vikraman Choudhury Indiana University & University of Cambridge Author of Recovering Purity with Comonads and Capabilities within the ICFP Program-track in ICFP 2020
David Thrane Christiansen Galois, USA United States Author of Predictable Macros for Hindley-Milner (Extended Abstract) within the TyDe 2020-track in TyDe 2020
Jan Christiansen Flensburg University of Applied Sciences, Germany Committee Member in Program Committee within the Haskell-track
Ravi Chugh University of Chicago Author of Program Sketching with Live Bidirectional Evaluation within the ICFP Program-track in ICFP 2020
Cristina Cifuentes Oracle Labs Australia Session Chair of Women in CS Panel (part of ICFP Social Events) Panelist of Women in CS Panel within the Social Events-track in ICFP 2020
Koen Claessen Chalmers University of Technology, Sweden Author of Towards Secure IoT Programming in Haskell within the Haskell 2020-track in Haskell 2020 Author of Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl) within the Haskell 2020-track in Haskell 2020
Michael Coblenz Carnegie Mellon University United States Author of Integrating User-Centered Methods into Programming Language Design within the Tutorials-track in ICFP 2020
Jesper Cockx TU Delft Netherlands 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 Collie University of Edinburgh Author of Retrofitting Symbolic Holes to LLVM IR (Extended Abstract) within the TyDe 2020-track in TyDe 2020
Nick Collins University of Chicago Author of Program Sketching with Live Bidirectional Evaluation within the ICFP Program-track in ICFP 2020
Youyou Cong Tokyo Institute of Technology Japan Student Research Competition Chair in Organizing Committee for ICFP 2020 Author of Designing a Programming Environment Based on the Program Design Recipe (Lightning Talk) within the Scheme 2020-track in Scheme 2020 Author of On Teaching Type Systems as Macros (Lightning Talk) within the Scheme 2020-track in Scheme 2020 Student Research Competition Chair of Award Presentations & Chair Report within the ICFP Program-track in ICFP 2020 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 Contrastin University of Cambridge, UK United Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Flavio Corpa 47 Degrees, Spain Spain Author of Describing Microservices using Modern Haskell (Experience Report) within the Haskell 2020-track in Haskell 2020
Duncan Coutts Keynote Speaker of Using STM for Modular Concurrency: An Industrial Experience Report on Software Transactional Memory within the Haskell 2020-track in Haskell 2020
Enzo Crance Mitsubishi Electric France Volunteer in Organizing Committee within the OCaml-track
Ioana Cristescu INRIA, France Author of Irmin v2 within the OCaml 2020-track in OCaml 2020
Raphaëlle Crubillé Committee Member in Program Committee within the HOPE-track
Ryan Culpepper Czech Technical University Czech Republic Committee Member in Program Committee within the Scheme-track
Joseph W. Cutler Wesleyan University Author of Denotational Recurrence Extraction for Amortized Analysis within the ICFP Program-track in ICFP 2020
Evan Czaplicki Keynote Speaker of On Language Adoption within the ICFP Program-track in ICFP 2020
Pierre-Evariste Dagand LIP6/CNRS France Session Chair of Paper Session 4 - Effects (part of Haskell) Committee Member in Program Committee within the Haskell-track
Nils Anders Danielsson University of Gothenburg, Chalmers University of Technology Author of Practical Dependent Type Checking Using Twin Types within the TyDe 2020-track in TyDe 2020 Committee Member in Program Committee within the TyDe-track
Norman Danner Wesleyan University Author of Denotational Recurrence Extraction for Amortized Analysis within the ICFP Program-track in ICFP 2020
Olivier Danvy Yale-NUS College and School of Computing, Singapore Singapore Author of Mind the Title within the Social Events-track in ICFP 2020
David Darais University of Vermont United States Committee Member in Program Committee within the ICFP Program-track
Pierce Darragh University of Utah United States Author of Clotho: A Racket Library for Parametric Randomness within the Scheme 2020-track in Scheme 2020 Author of Parsing with Zippers (Functional Pearl) within the ICFP Program-track in ICFP 2020
Eva Darulova MPI-SWS, Germany Committee Member in Program Committee within the FHPNC-track
Kei Davis Los Alamos National Laboratory United States Committee Member in Program Committee within the FHPNC-track
Leonardo De Moura Microsoft Research, n.n. Author of Sealing Pointer-Based Optimizations Behind Pure Functions within the ICFP Program-track in ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
Kate Deplaix OCaml Labs Author of OCaml-CI : A Zero-Configuration CI within the OCaml 2020-track in OCaml 2020
Dominique Devriese Vrije Universiteit Brussel Belgium Author of Shallowly Embedding Type Theories as Presheaf Models in Agda (Extended Abstract) within the TyDe 2020-track in TyDe 2020
Atul Dhiman IIT Madras Author of Retrofitting Parallelism onto OCaml within the ICFP Program-track in ICFP 2020
Alfredo Di Napoli Well-Typed LLP Author of Liquid Haskell as a GHC Plugin within the HIW 2020-track in HIW 2020
Larry Diehl Symbiont United States Committee Member in Program Committee within the TyDe-track
Laura Dietz University of New Hampshire United States Author of A Low-Latency Garbage Collector for GHC (Demo) within the Haskell 2020-track in Haskell 2020
Stephen Dolan University of Cambridge, UK Author of Retrofitting Parallelism onto OCaml within the ICFP Program-track in ICFP 2020
Paul Downen University of Oregon, USA Author of Kinds are Calling Conventions within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the HOPE-track
Derek Dreyer MPI-SWS Germany Author in Steering Committee for ICFP 2020 Speaker of How To Write Papers So People Can Read Them within the PLMW @ ICFP 2020-track in PLMW @ ICFP 2020
Harley D. Eades III Augusta University United States Author of Graded Modal Dependent Type Theory (Extended Abstract) within the TyDe 2020-track in TyDe 2020
Satoshi Egi Rakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo Japan Author of Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching within the HIW 2020-track in HIW 2020
Eric Eide University of Utah United States Author of Clotho: A Racket Library for Parametric Randomness within the Scheme 2020-track in Scheme 2020
Richard A. Eisenberg Tweag I/O United States Session Chair of Asia 5 (part of ICFP Program) Session Chair of New York 5 (part of ICFP Program) Author of Stitch: The Sound Type-Indexed Type Checker (Functional Pearl) within the Haskell 2020-track in Haskell 2020 Author of Composing Effects into Tasks and Workflows within the Haskell 2020-track in Haskell 2020 Author of Kinds are Calling Conventions within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the ICFP Program-track
Anton Ekblad Chalmers University of Technology Sweden Committee Member in Program Committee within the Haskell-track
Frank Emrich University of Edinburgh, UK Author of The Virtues of Semi-Explicit Polymorphism within the ML 2020-track in ML 2020
Sebastian Erdweg JGU Mainz Germany Committee Member in External Review Committee within the ICFP Program-track
Lindsay Errington Noddle, LLC Author of poco: An ML testbed for deductive synthesis tool design within the ML 2020-track in ML 2020
Juan Facorro Author of Clojerl: The Expressive Power of Clojure on the BEAM within the Erlang 2020-track in Erlang 2020
Shon Feder Informal Systems Inc United States Volunteer in Organizing Committee within the OCaml-track
Marc Feeley Université de Montréal Canada Author of Running Scheme On Bare Metal (Experience Report) within the Scheme 2020-track in Scheme 2020
Matthias Felleisen PLT @ Northeastern University Author of Mentoring with Matthias Felleisen within the Social Events-track in ICFP 2020
Amy Felty University of Ottawa Canada Committee Member in Program Committee within the TyDe-track
Craig Ferguson Tarides Author of Irmin v2 within the OCaml 2020-track in OCaml 2020 Author of OCaml-CI : A Zero-Configuration CI within the OCaml 2020-track in OCaml 2020
Carla Ferreira Universidade Nova Lisboa Author of Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+ within the Erlang 2020-track in Erlang 2020
Robby Findler Northwestern University, USA United States Steering Committee Chair in Steering Committee for ICFP 2020
Kathleen Fisher Tufts University, USA United States Panelist of Panel discussion: Making a career in PL (even in uncertain times) within the PLMW @ ICFP 2020-track in PLMW @ ICFP 2020
Matthew Flatt University of Utah, USA Author in Steering Committee for ICFP 2020
Jonah Fleishhacker University of Chicago Keynote Speaker of 21st Century Lisp in Academic Research and Pedagogy within the Scheme 2020-track in Scheme 2020
Matthew Fluet Rochester Institute of Technology United States Committee Member in Program Committee within the ICFP Program-track
Adam Foltzer Fastly Committee Member in Program Committee within the miniKanren-track
Kenny Foner Galois Speaker of How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond within the PLMW @ ICFP 2020-track in PLMW @ ICFP 2020 Organizer of ShutdownPL: Keynote and Getting Started With Anti-racist Action within the Social Events-track in ICFP 2020
Nate Foster Cornell University United States Organizer of Welcome within the PLMW @ ICFP 2020-track in PLMW @ ICFP 2020 Committee Member in Organizing Committee within the PLMW @ ICFP -track
Daniel P. Friedman Indiana University, USA Author of λKanren: Higher-order Logic Programming with Shallow Embedding within the miniKanren 2020-track in miniKanren 2020 Author of Some Novel miniKanren Synthesis Tasks within the miniKanren 2020-track in miniKanren 2020
Aymeric Fromherz Carnegie Mellon University Author of SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs within the ICFP Program-track in ICFP 2020 Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Naoya Furudono Tokyo Institute of Technology Author of On Teaching Type Systems as Macros (Lightning Talk) within the Scheme 2020-track in Scheme 2020
Viktória Fördős Cisco Systems Sweden Session Chair of Session 3 (part of Erlang) Session Chair of Session 1 (part of Erlang) Author of Secure Design and Verification of Erlang Systems within the Erlang 2020-track in Erlang 2020 Author of Opening within the Erlang 2020-track in Erlang 2020 Co-chair in Organizing Committee within the Erlang-track PC Member in Program Committee within the Erlang-track
Ben Gamari Well-Typed LLP United States Author of Closing within the HIW 2020-track in HIW 2020 Author of GHC Status Update within the HIW 2020-track in HIW 2020 Author of A Low-Latency Garbage Collector for GHC (Demo) within the Haskell 2020-track in Haskell 2020 Chair in Program Committee within the HIW-track
Akash Gaonkar Organizer of ShutdownPL: Keynote and Getting Started With Anti-racist Action within the Social Events-track in ICFP 2020
Ronald Garcia University of British Columbia Author in Steering Committee for ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
Jacques Garrigue Nagoya University Japan Author of Tracking injectivity and nominality beyond abstraction within the ML 2020-track in ML 2020 Committee Member in Program Committee within the TyDe-track
Catherine Gasnier Committee Member in Program Committee within the OCaml-track
Francesco Gavazzo Committee Member in Program Committee within the HOPE-track
Thomas Gazagnaire Tarides France Author of Irmin v2 within the OCaml 2020-track in OCaml 2020
Thomas Genet IRISA, Univ Rennes France Author of Regular Language Type Inference with Term Rewriting within the ICFP Program-track in ICFP 2020
Kimball Germane University of Utah Committee Member in Program Committee within the Scheme-track
Paolo G. Giarrusso BedRock Systems Author of Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris within the ICFP Program-track in ICFP 2020
Jean-Louis Giavitto IRCAM France Program Chair in Organizing Committee within the FARM-track
Jeremy Gibbons Department of Computer Science, University of Oxford United 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 Gogolewski Tweag I/O Author of Implementation of linear types within the HIW 2020-track in HIW 2020
Harrison Goldstein University of Pennsylvania United States AV Coordinator in Organizing Committee for ICFP 2020
Sergey Goncharov FAU Erlangen-Nürnberg, Lehrstuhl 8 Germany Committee Member in Program Committee within the HOPE-track
April Gonçalves Roskilde University, Denmark Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Gemma Gordon University of Cambridge Co-chair in Organizing Committee within the OCaml-track
Andrew D. Gordon Microsoft Research and University of Edinburgh United Kingdom Author of Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input Arrays within the ICFP Program-track in ICFP 2020
Sergei Gorlatch University of Münster, Germany Author of Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies within the ICFP Program-track in ICFP 2020
Ivan Gotovchits Carnegie Mellon University United 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 Graf Karlsruhe Institute of Technology Author of Lower Your Guards: A Compositional Pattern-Match Coverage Checker within the ICFP Program-track in ICFP 2020
Christian Uldal Graulund IT University of Copenhagen Denmark Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming within the HOPE 2020-track in HOPE 2020
Jeremiah Griffin University of California, Riverside Author of TLC: Temporal Logic of Distributed Components within the ICFP Program-track in ICFP 2020
Alena Griffiths RGB Assurance Panelist of Women in CS Panel within the Social Events-track in ICFP 2020
Rudi Grinberg OCaml Labs Committee Member in Program Committee within the OCaml-track
Zheng Guo University of California, San Diego United States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Samuel Gélineau SimSpace Canada Author of Predictable Macros for Hindley-Milner (Extended Abstract) within the TyDe 2020-track in TyDe 2020
Matthias Güdemann University of Applied Sciences Munich Germany Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Jennifer Hackett University of Nottingham, UK United 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
Bastian Hagedorn University of Münster, Germany Germany Author of Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies within the ICFP Program-track in ICFP 2020
Jurriaan Hage Utrecht University, Netherlands Session Chair of Paper Session 5 - Types (part of Haskell) Author of A Quick Look at Impredicativity within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the Haskell-track
Makoto Hamana Gunma University, Japan Committee Member in Program Committee within the ICFP Program-track
Aliya Hameer McGill University Author of POPLMark reloaded: Mechanizing proofs by logical relations within the ICFP Program-track in ICFP 2020
Travis Hance Carnegie Mellon University Author of Liquid Information Flow Control within the ICFP Program-track in ICFP 2020
William Harrison Oak Ridge National Laboratory Author of Strongly Bounded Termination with Applications to Security and Hardware Synthesis within the TyDe 2020-track in TyDe 2020
Joseph Harrison University of Kent, UK United Kingdom Author of API migration: compare transformed within the OCaml 2020-track in OCaml 2020
Behnaz Hassanshahi Oracle Labs, Australia Panel Moderator of Women in CS Panel within the Social Events-track in ICFP 2020
William G Hatch University of Utah Author of Clotho: A Racket Library for Parametric Randomness within the Scheme 2020-track in Scheme 2020
Timothée Haudebourg Univ Rennes, Inria, CNRS, IRISA Author of Regular Language Type Inference with Term Rewriting within the ICFP Program-track in ICFP 2020
Kyle Headley The University of Alabama at Birmingham United States Student Volunteer Co-Chair in Student Volunteers Committee within the ICFP Student Volunteering-track
Bastiaan Heeren Open University of the Netherlands, Netherlands Author of Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality within the Haskell 2020-track in Haskell 2020
Sonja Heinze Volunteer in Organizing Committee within the OCaml-track
Jason Hemann Northeastern University, United States United States Session Chair of Afternoon Keynote (part of miniKanren) Author of Some Novel miniKanren Synthesis Tasks within the miniKanren 2020-track in miniKanren 2020 General Chair in Program Committee within the miniKanren-track Publicity Chair in Organizing Committee within the Scheme-track
Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital Denmark Committee Member in Program Committee within the ICFP Program-track
Troels Henriksen University of Copenhagen, Denmark Denmark Co-chair in Organizing Committee within the FHPNC-track Committee Member in External Review Committee within the ICFP Program-track
Martin Henz National University of Singapore Singapore Keynote Speaker of SICP JS: Ketchup on Caviar? within the Scheme 2020-track in Scheme 2020
Daniel Hillerström The University of Edinburgh United Kingdom Author of Effects for Efficiency: Asymptotic Speedup with First-Class Control within the ICFP Program-track in ICFP 2020 Author of Effect Handlers, Evidently within the ICFP Program-track in ICFP 2020
Hans Hoeglund Tweag I/O Author of Asterius: bringing Haskell to WebAssembly within the HIW 2020-track in HIW 2020
Jan Hoffmann Carnegie Mellon University United States Author of Liquid Resource Types within the ICFP Program-track in ICFP 2020 Author of Raising Expectations: Automating Expected Cost Analysis with Types within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the ICFP Program-track
Jaemin Hong KAIST, South Korea South Korea Student Volunteer Co-Chair in Organizing Committee for ICFP 2020
Rudi Horn University of Edinburgh Author of Relational Lenses as a Library (Demo) within the Haskell 2020-track in Haskell 2020
Dániel Horpácsi Eötvös Loránd University Hungary Author of Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects within the Erlang 2020-track in Erlang 2020
Kuen-Bang Hou (Favonia) University of Minnesota, Twin Cities United States Committee Member in Program Committee within the TyDe-track
Simon Hudon Carnegie Mellon University Author of Sealing Pointer-Based Optimizations Behind Pure Functions within the ICFP Program-track in ICFP 2020
Graham Hutton University of Nottingham, UK United Kingdom Committee Member in Program Committee within the Haskell-track
Jason Z.S. Hu McGill University Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Atsushi Igarashi Kyoto University, Japan Japan Author in Steering Committee for ICFP 2020 Author of Signature restriction for polymorphic algebraic effects within the ICFP Program-track in ICFP 2020 Author of Online Lecture Panel within the Social Events-track in ICFP 2020 PC Member in Program Committee within the Erlang-track
Shachar Itzhaky Technion, Israel Israel Author of Liquid Information Flow Control within the ICFP Program-track in ICFP 2020
Andrej Ivašković University of Cambridge, UK United Kingdom Author of A Graded Monad for Deadlock-Free Concurrency (Functional Pearl) within the Haskell 2020-track in Haskell 2020
Michal J. Gajda Migamake Pte Ltd Poland Presenter of Best Practices in Code Generation within the Tutorials-track in ICFP 2020
Guilhem Jaber Université de Nantes France Author of Kripke open relations and operational game semantics within the HOPE 2020-track in HOPE 2020
Julian Jabs University of Tübingen Author of Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical within the HOPE 2020-track in HOPE 2020
Sadiq Jaffer Opsian and OCaml Labs United Kingdom Author of Parallelising your OCaml Code with Multicore OCaml within the OCaml 2020-track in OCaml 2020 Author of Retrofitting Parallelism onto OCaml within the ICFP Program-track in ICFP 2020
Michael James University of California, San Diego United States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Alan Jeffrey Mozilla Research United 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) Organizer of ShutdownPL: Keynote and Getting Started With Anti-racist Action within the Social Events-track in ICFP 2020 Author of Virtual Art Gallery within the Social Events-track in ICFP 2020
Chris Jenkins The University of Iowa Author of Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille within the ICFP Program-track in ICFP 2020
Thomas P. Jensen INRIA Rennes Author of Regular Language Type Inference with Term Rewriting within the ICFP Program-track in ICFP 2020 Author of Stable Relations and Abstract Interpretation of Higher-Order Programs within the ICFP Program-track in ICFP 2020
Johan Jeuring Open University of the Netherlands, Netherlands Author of Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality within the Haskell 2020-track in Haskell 2020
Ranjit Jhala University of California at San Diego, USA Author of Liquid Haskell as a GHC Plugin within the HIW 2020-track in HIW 2020 Author of Mentoring with Ranjit Jhala within the Social Events-track in ICFP 2020 Committee Member in Program Committee within the TyDe-track
Timothy M. Jones University of Cambridge, UK Author of Duplo: A Framework for OCaml Post-Link Optimisation within the ICFP Program-track in ICFP 2020
Simon Peyton Jones Microsoft, UK Panel Moderator of Panel discussion: Making a career in PL (even in uncertain times) within the PLMW @ ICFP 2020-track in PLMW @ ICFP 2020 Author of GHC Status Update within the HIW 2020-track in HIW 2020 Author of Lower Your Guards: A Compositional Pattern-Match Coverage Checker within the ICFP Program-track in ICFP 2020 Author of A Quick Look at Impredicativity within the ICFP Program-track in ICFP 2020 Author of Kinds are Calling Conventions within the ICFP Program-track in ICFP 2020 Author of SIGPLAN CARES within the Social Events-track in ICFP 2020 Author of SIGPLAN CARES within the Social Events-track in ICFP 2020 Author of Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input Arrays within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the Haskell-track
Jacques-Henri Jourdan Universersité Paris Saclay, CNRS, LRI France Author of Cosmo: A Concurrent Separation Logic for Multicore OCaml within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the HOPE-track
Armando João Isaías Ferreira dos Santos University of Minho, Portugal / INESC TEC, Portugal Portugal Author of Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl) within the Haskell 2020-track in Haskell 2020
David Justo University of California, San Diego United States Organizer of ShutdownPL: Keynote and Getting Started With Anti-racist Action within the Social Events-track in ICFP 2020
David M. Kahn Carnegie Mellon University United States Author of Raising Expectations: Automating Expected Cost Analysis with Types within the ICFP Program-track in ICFP 2020
Jan-Oliver Kaiser MPI-SWS Author of Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2 (Extended Abstract) within the TyDe 2020-track in TyDe 2020
Gowtham Kaki Purdue University United States Committee Member in Program Committee within the ML-track
Yukiyoshi Kameyama University of Tsukuba, Japan Japan Committee Member in Program Committee within the Scheme-track
Ohad Kammar University of Edinburgh United Kingdom Author of Frex: indexing modulo equations with free extensions (Extended Abstract) within the TyDe 2020-track in TyDe 2020 Co-chair in Organizing Committee within the HOPE-track
Sander Kamps Open University of the Netherlands, Netherlands Netherlands Author of Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality within the Haskell 2020-track in Haskell 2020
Shakthi Kannan IIT Madras India Volunteer in Organizing Committee within the OCaml-track
Georgios Karachalias Tweag I/O Netherlands Author of Asterius: bringing Haskell to WebAssembly within the HIW 2020-track in HIW 2020 Committee Member in Program Committee within the HIW-track
Jonas Kastberg Hinrichsen IT University of Copenhagen Denmark Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Akira Kawata Kyoto University Author of Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching within the HIW 2020-track in HIW 2020
Andy Keep Cisco Systems, Inc Committee Member in Program Committee within the Scheme-track
Patrik Keller University of Innsbruck Author of LexiFi Runtime Types within the OCaml 2020-track in OCaml 2020
Gabriele Keller Utrecht University Netherlands Co-chair in Organizing Committee within the FHPNC-track Committee Member in External Review Committee within the ICFP Program-track
Tom Kelly OCaml Labs Author of Parallelising your OCaml Code with Multicore OCaml within the OCaml 2020-track in OCaml 2020 Author of Retrofitting Parallelism onto OCaml within the ICFP Program-track in ICFP 2020
Delia Kesner IRIF, France / University of Paris Diderot, France Committee Member in External Review Committee within the ICFP Program-track
Bohdan Khomtchouk University of Chicago United States Keynote Speaker of 21st Century Lisp in Academic Research and Pedagogy within the Scheme 2020-track in Scheme 2020
Oleg Kiselyov Committee Member in Program Committee within the OCaml-track
Tristan Knoth University of California at San Diego, USA Author of Liquid Resource Types within the ICFP Program-track in ICFP 2020
Thomas Koehler University of Glasgow, United Kingdom Author of Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies within the ICFP Program-track in ICFP 2020
Wen Kokke University of Edinburgh United Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Ekaterina Komendantskaya Heriot-Watt University, UK Committee Member in Program Committee within the miniKanren-track
James Koppel Massachusetts Institute of Technology, USA Presenter of Building Multi-Language Tools with Cubix within the Tutorials-track in ICFP 2020
Mayuko Kori The University of Tokyo Author of Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching within the HIW 2020-track in HIW 2020
Paulette Koronkevich University of British Columbia Organizer of ICFP Triva within the Social Events-track in ICFP 2020
Dmitrii Kosarev JetBrains Research, Saint Petersburg State University Russia Author of Relational Synthesis for Pattern Matching within the miniKanren 2020-track in miniKanren 2020
Dmitrii Kovanikov Standard Chartered United Kingdom Author of Stan — Haskell Static Analyser within the HIW 2020-track in HIW 2020
András Kovács Eötvös Loránd University Author of Elaboration with First-Class Implicit Function Types within the ICFP Program-track in ICFP 2020
Hsiang-Shang ‘Josh’ Ko 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
Robbert Krebbers Delft University of Technology Netherlands Author of Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the ICFP Program-track
Shriram Krishnamurthi Brown University, United States Author of SIGPLAN CARES within the Social Events-track in ICFP 2020 Author of SIGPLAN CARES within the Social Events-track in ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
Neel Krishnaswami Computer Laboratory, University of Cambridge Author of Recovering Purity with Comonads and Capabilities within the ICFP Program-track in ICFP 2020 Author of Academic Career Planning During a Crisis within the Social Events-track in ICFP 2020 Author of Some Proverbs in Type Theory within the Social Events-track in ICFP 2020 Committee Member in Program Committee within the ML-track
Robert Krook Chalmers University of Technology, Sweden Author of Towards Secure IoT Programming in Haskell within the Haskell 2020-track in Haskell 2020
Lindsey Kuper University of California, Santa Cruz United States Accessibility Chair in Organizing Committee for ICFP 2020 Organizer of Welcome within the PLMW @ ICFP 2020-track in PLMW @ ICFP 2020 Committee Member in Organizing Committee within the PLMW @ ICFP -track
Leonidas Lampropoulos University of Maryland, College Park Greece Workshops Co-Chair in Organizing Committee for ICFP 2020 Author of Untitled PL Card Game within the Social Events-track in ICFP 2020 Co-chair in Selection Committee within the ICFP Tutorials-track
Christopher Lam Cornell University Author of Semantics for a Simple Differentiable Language Using Distribution Theory within the Student Research Competition-track in ICFP 2020
Victor Lanvin IRIF, Université Paris Diderot, France France 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 Lasson LexiFi Author of LexiFi Runtime Types within the OCaml 2020-track in OCaml 2020
Lukas Lazarek Northwestern University Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Daan Leijen Microsoft Research, USA United States Author of Effect Handlers in Haskell, Evidently within the Haskell 2020-track in Haskell 2020 Author of Effect Handlers, Evidently within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the HOPE-track
Mark Lemay Boston University Author of Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract) within the TyDe 2020-track in TyDe 2020
Johannes Lenfers University of Münster Germany Author of Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies within the ICFP Program-track in ICFP 2020
Thomas Leonard OCaml Labs Author of OCaml-CI : A Zero-Configuration CI within the OCaml 2020-track in OCaml 2020
Mohsen Lesani University of California, Riverside Author of TLC: Temporal Logic of Distributed Components within the ICFP Program-track in ICFP 2020
Paul Blain Levy University of Birmingham United Kingdom Invited Speaker of Variants of call-by-push-value within the HOPE 2020-track in HOPE 2020
Romain Liautaud Tarides Author of Irmin v2 within the OCaml 2020-track in OCaml 2020
Dan Licata Wesleyan University United States Author of Denotational Recurrence Extraction for Amortized Analysis within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the TyDe-track
Nandor Licker University of Cambridge Author of Duplo: A Framework for OCaml Post-Link Optimisation within the ICFP Program-track in ICFP 2020
Sam Lindley Heriot-Watt University, UK / The University of Edinburgh, UK United Kingdom Author of The Virtues of Semi-Explicit Polymorphism within the ML 2020-track in ML 2020 Author of Effects for Efficiency: Asymptotic Speedup with First-Class Control within the ICFP Program-track in ICFP 2020
Ben Lippmeier Ghost Locomotion Australia Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2020 Co-chair in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Yao Li University of Pennsylvania United States Author of Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale within the HIW 2020-track in HIW 2020
Antonio Locascio Universidad Nacional de Rosario Author of Alef: A bidirectional effect system for algebraic effects. within the HOPE 2020-track in HOPE 2020
John Longley The University of Edinburgh Author of Effects for Efficiency: Asymptotic Speedup with First-Class Control within the ICFP Program-track in ICFP 2020
Crista Lopes University of California, Irvine United States Organizer of Virtualization Feedback within the Social Events-track in ICFP 2020
James Lowenthal University of Cambridge United Kingdom Author of Certified Optimisation of Stream Operations Using Heterogeneous Staging within the Student Research Competition-track in ICFP 2020
Petr Lozov Sain Petersburg State University, SPbGU Author of On Fair Relational Conjunction within the miniKanren 2020-track in miniKanren 2020
Justin Lubin University of Chicago United States Organizer of ShutdownPL: Keynote and Getting Started With Anti-racist Action within the Social Events-track in ICFP 2020 Author of Program Sketching with Live Bidirectional Evaluation within the ICFP Program-track in ICFP 2020
Flynn Ludlam Volunteer in Organizing Committee within the OCaml-track
Jonathan Ludlam University of Cambridge Author of The final pieces of the OCaml documentation puzzle within the OCaml 2020-track in OCaml 2020
Igor Lukanin Kontur Russia Programming Contest Organizer in Organizing Committee for ICFP 2020 Presenter of Programming Contest Report within the ICFP Program-track in ICFP 2020
Georgy Lukyanov Newcastle University, UK United Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Žiga Lukšič Author of Local algebraic effect theories within the ICFP Program-track in ICFP 2020
Kuang-Chen Lu Indiana University Bloomington United States Author of λKanren: Higher-order Logic Programming with Shallow Embedding within the miniKanren 2020-track in miniKanren 2020
Víctor López Juan Chalmers University of Technology Author of Practical Dependent Type Checking Using Twin Types within the TyDe 2020-track in TyDe 2020
Andres Löh Well-Typed LLP Author of Liquid Haskell as a GHC Plugin within the HIW 2020-track in HIW 2020 Author of Staged Sums of Products within the Haskell 2020-track in Haskell 2020
Anil Madhavapeddy OCaml Labs United Kingdom Author of OCaml-CI : A Zero-Configuration CI within the OCaml 2020-track in OCaml 2020 Author of The OCaml Platform within the OCaml 2020-track in OCaml 2020 Author of Parallelising your OCaml Code with Multicore OCaml within the OCaml 2020-track in OCaml 2020 Author of Retrofitting Parallelism onto OCaml within the ICFP Program-track in ICFP 2020 Co-chair in Organizing Committee within the OCaml-track
José Pedro Magalhães Session Chair of Paper Session 1 - Software Engineering (part of Haskell) Committee Member in Program Committee within the Haskell-track
Marco Maggesi Università di Firenze Author of Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System within the miniKanren 2020-track in miniKanren 2020
Geoffrey Mainland Drexel University United States Committee Member in Program Committee within the ICFP Program-track
Oleksandr Manzyuk Author of Perturbation confusion in forward automatic differentiation of higher-order functions within the ICFP Program-track in ICFP 2020
Klara Mardirosian KU Leuven Belgium Committee Member in Program Committee within the HIW-track
Olivier Martinot Université de Paris Author of Quantified Applicatives – API design for type-inference constraints within the ML 2020-track in ML 2020
Clare Martin United Kingdom Committee Member in Program Committee within the Haskell-track
Guido Martínez CIFASIS-CONICET, Argentina Argentina Author of SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs within the ICFP Program-track in ICFP 2020 Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Hidehiko Masuhara Tokyo Institute of Technology Japan Author of Designing a Programming Environment Based on the Program Design Recipe (Lightning Talk) within the Scheme 2020-track in Scheme 2020 Author of On Teaching Type Systems as Macros (Lightning Talk) within the Scheme 2020-track in Scheme 2020
Kazutaka Matsuda Tohoku University, Japan Japan Author of Sparcl: A Language for Partially-Invertible Computation within the ICFP Program-track in ICFP 2020
Tran Ma Ghost Locomotion Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Weixi Ma Indiana University Session Chair of Afternoon Session (part of miniKanren) Author of λKanren: Higher-order Logic Programming with Shallow Embedding within the miniKanren 2020-track in miniKanren 2020
Matt McCutchen United States Author of Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input Arrays within the ICFP Program-track in ICFP 2020
Colin McDonald University of Notre Dame Author of Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille within the ICFP Program-track in ICFP 2020
Trevor L. McDonell Utrecht University Netherlands Committee Member in Program Committee within the FHPNC-track
Tim McGilchrist Digital Asset GmbH Australia Volunteer in Organizing Committee within the OCaml-track
James McKinna University of Edinburgh PC Co-Chair in Organizing Committee within the TyDe-track PC Co-Chair in Program Committee within the TyDe-track
Francesco Mecca University of Turin Author of Translation validation of a pattern-matching compiler within the ML 2020-track in ML 2020
Christopher Meiklejohn Carnegie Mellon University United States Author of Composing and Decomposing Op-Based CRDTs with Semidirect Products within the ICFP Program-track in ICFP 2020
Darius Mercadier Sorbonne Universités —UPMC Univ Paris 06 Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Denis Merigoux INRIA France Author of SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs within the ICFP Program-track in ICFP 2020 Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Mira Mezini Technische Universität Darmstadt Germany Presenter of Award Presentations & Chair Report within the ICFP Program-track in ICFP 2020
Jan Midtgaard University of Southern Denmark Denmark Author of A Simple State-Machine Framework for Property-Based Testing in OCaml within the OCaml 2020-track in OCaml 2020 Committee Member in Program Committee within the miniKanren-track Committee Member in External Review Committee within the ICFP Program-track
Matthew Might University of Alabama at Birmingham \| Harvard Medical School United States Author of The Pill is in The Proof: Saving Lives with Logic within the miniKanren 2020-track in miniKanren 2020 Author of mediKanren: A System for Bio-medical Reasoning within the miniKanren 2020-track in miniKanren 2020 Author of A Relational Interpreter for Synthesizing JavaScript within the miniKanren 2020-track in miniKanren 2020
Heather Miller Carnegie Mellon University Author of Composing and Decomposing Op-Based CRDTs with Semidirect Products within the ICFP Program-track in ICFP 2020
Agustín Mista Chalmers University of Technology Sweden Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Andrey Mokhov Jane Street United 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 Momigliano Università degli Studi di Milano Author of POPLMark reloaded: Mechanizing proofs by logical relations within the ICFP Program-track in ICFP 2020
Sebastien Mondet TQ Tezos Author of OCaml Under The Hood: SmartPy within the OCaml 2020-track in OCaml 2020 Volunteer in Organizing Committee within the OCaml-track
Benoît Montagu Inria France Author of Stable Relations and Abstract Interpretation of Higher-Order Programs within the ICFP Program-track in ICFP 2020
Francesco Montanari Universidad Autónoma de Madrid Author of Scheme for scientific computing within the Scheme 2020-track in Scheme 2020
Benjamin Moon School of Computing, University of Kent United Kingdom Author of Graded Modal Dependent Type Theory (Extended Abstract) within the TyDe 2020-track in TyDe 2020
J. Garrett Morris University of Kansas, USA United States Committee Member in External Review Committee within the ICFP Program-track
Markus Mottl Unaffiliated United States Author of AD-OCaml: Algorithmic Differentiation for OCaml within the OCaml 2020-track in OCaml 2020
Stefan K. Muller Carnegie Mellon University, USA Committee Member in External Review Committee within the ICFP Program-track
Guillaume Munch-Maccagnoni Author of Towards better systems programming in OCaml with out-of-heap allocation (Informed Position) within the ML 2020-track in ML 2020
Philip Munksgaard DIKU, University of Copenhagen Denmark Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Agata Murawska University of Copenhagen Denmark Committee Member in Program Committee within the HOPE-track
Andrzej Murawski University of Oxford United Kingdom Author of Kripke open relations and operational game semantics within the HOPE 2020-track in HOPE 2020
Koko Muroya RIMS, Kyoto University, JP Committee Member in Program Committee within the ML-track
Shin-Cheng Mu Academia Sinica, Taiwan Committee Member in Program Committee within the Haskell-track
Alan Mycroft University of Cambridge, UK Author of A Graded Monad for Deadlock-Free Concurrency (Functional Pearl) within the Haskell 2020-track in Haskell 2020
Magnus O. Myreen Chalmers University of Technology, Sweden Sweden Committee Member in Program Committee within the ICFP Program-track
Glen Mével Inria, Université Paris-Saclay, CNRS, Laboratoire de recherche en informatique Author of Cosmo: A Concurrent Separation Logic for Multicore OCaml within the ICFP Program-track in ICFP 2020
Rasmus Ejlers Møgelberg IT University of Copenhagen Denmark Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming within the HOPE 2020-track in HOPE 2020 Committee Member in External Review Committee within the ICFP Program-track
Joseph P. Near University of Vermont Session Chair of Morning Session (part of miniKanren) Committee Member in Program Committee within the miniKanren-track
Adolfo Neto Federal University of Technology - Paraná Brazil PC Member in Program Committee within the Erlang-track
Rishiyur Nikhil Bluespec, Inc. United States Presenter of Designing Hardware Systems and Accelerators with Open-Source Bluespec Haskell within the Tutorials-track in ICFP 2020
Vladimir Nikishkin Unaffiliated China Author of Experience Report on Solving the Problem Set of SICP completely. within the Scheme 2020-track in Scheme 2020
Yuki Nishida Kyoto University Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Massimo Nocentini Università di Firenze Author of Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System within the miniKanren 2020-track in miniKanren 2020
Pablo Nogueira ESNE University School of Design, Innovation and Technology Spain Author of The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus within the ICFP Program-track in ICFP 2020
Junya Nose Tokyo Institute of Technology Author of Designing a Programming Environment Based on the Program Design Recipe (Lightning Talk) within the Scheme 2020-track in Scheme 2020
Greg Ntousakis TU Crete Greece Presenter of Library-Oriented Dynamic Analysis with Lya within the Tutorials-track in ICFP 2020
Jose Nuno Oliveira University of Minho, Portugal / INESC TEC, Portugal Portugal Author of Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl) within the Haskell 2020-track in Haskell 2020
Michael O'Boyle University of Edinburgh Author of Retrofitting Symbolic Holes to LLVM IR (Extended Abstract) within the TyDe 2020-track in TyDe 2020
Hiromi Ogawa University of Tsukuba Author of Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching within the HIW 2020-track in HIW 2020
Atsushi Ohori Tohoku University, Japan Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the ICFP Program-track
Cyrus Omar University of Michigan United States Author of Program Sketching with Live Bidirectional Evaluation within the ICFP Program-track in ICFP 2020 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 Orchard University of Kent, UK United Kingdom Author of Graded Modal Dependent Type Theory (Extended Abstract) within the TyDe 2020-track in TyDe 2020 Committee Member in External Review Committee within the ICFP Program-track
Klaus Ostermann University of Tübingen, Germany Germany Author of Compiling Effect Handlers in Capability-Passing Style within the ICFP Program-track in ICFP 2020
Julien Pagès Université de Montréal Canada Committee Member in Program Committee within the Scheme-track
Zachary Palmer Swarthmore College United States Author of Higher-Order Demand-Driven Symbolic Evaluation within the ICFP Program-track in ICFP 2020
Jens Palsberg University of California, Los Angeles Author in Steering Committee for ICFP 2020 Presenter of Award Presentations & Chair Report within the ICFP Program-track in ICFP 2020
Zhiyi Pan University of Michigan Author of Type Hole Inference within the Student Research Competition-track in ICFP 2020
Nikolaos Papaspyrou National Technical University of Athens Greece Committee Member in Program Committee within the Haskell-track
Sudha Parimala IIT Madras Author of Parallelising your OCaml Code with Multicore OCaml within the OCaml 2020-track in OCaml 2020 Author of Retrofitting Parallelism onto OCaml within the ICFP Program-track in ICFP 2020 Volunteer in Organizing Committee within the OCaml-track
Theodore Park Swarthmore and Hopkins Author of Higher-Order Demand-Driven Symbolic Evaluation within the ICFP Program-track in ICFP 2020
Lionel Parreaux EPFL Switzerland Author of The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl) within the ICFP Program-track in ICFP 2020
Yves Parès Tweag I/O, France Author of Composing Effects into Tasks and Workflows within the Haskell 2020-track in Haskell 2020
Clément Pascutto Tarides Author of Irmin v2 within the OCaml 2020-track in OCaml 2020
Rutvi Patel Presenter of Creating SVG graphics and Animations using Elm within the Tutorials-track in ICFP 2020
Michael Patton University of Alabama at Birmingham Author of mediKanren: A System for Bio-medical Reasoning within the miniKanren 2020-track in miniKanren 2020
Barak A. Pearlmutter Maynooth University Ireland Author of Perturbation confusion in forward automatic differentiation of higher-order functions within the ICFP Program-track in ICFP 2020
Álvaro García Perez IMDEA Software Institute Author of The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus within the ICFP Program-track in ICFP 2020
Ivan Perez NIA / NASA Formal Methods Committee Member in External Review Committee within the ICFP Program-track
Saverio Perugini Author of Emerging languages: An alternative approach to teaching programming languages within the ICFP Program-track in ICFP 2020
Matthew Pickering University of Bristol, UK United Kingdom Author of Staged Sums of Products within the Haskell 2020-track in Haskell 2020 Author of Staged Selective Parser Combinators within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the HIW-track
Brigitte Pientka McGill University Author of POPLMark reloaded: Mechanizing proofs by logical relations within the ICFP Program-track in ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
Benjamin C. Pierce University of Pennsylvania United States Committee Member in Virtualization Committee for ICFP 2020 Author in Steering Committee for ICFP 2020 Panelist of Panel discussion: Making a career in PL (even in uncertain times) within the PLMW @ ICFP 2020-track in PLMW @ ICFP 2020 Author of How to Use Clowdr at ICFP within the Social Events-track in ICFP 2020 Author of Clowdr Training Sessions within the Clowdr Training-track in ICFP 2020 Organizer of Virtualization Feedback within the Social Events-track in ICFP 2020
Frank Piessens KU Leuven Committee Member in Program Committee within the ICFP Program-track
Nadia Polikarpova University of California, San Diego United States Speaker of Constraint Solvers for the Working PL Researcher within the PLMW @ ICFP 2020-track in PLMW @ ICFP 2020 Author of Liquid Information Flow Control within the ICFP Program-track in ICFP 2020 Author of Liquid Resource Types within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the ICFP Program-track
Alex Potanin Victoria University of Wellington New Zealand Author of Online Lecture Panel within the Social Events-track in ICFP 2020
François Pottier Inria, France France Author in Steering Committee for ICFP 2020 Author of Cosmo: A Concurrent Separation Logic for Multicore OCaml within the ICFP Program-track in ICFP 2020
Boldizsár Poór Eötvös Loránd University Hungary Author of Transformations towards Clean Functional Code within the Erlang 2020-track in Erlang 2020
Matija Pretnar University of Ljubljana, Slovenia Slovenia Author of Local algebraic effect theories within the ICFP Program-track in ICFP 2020
Kai-Oliver Prott CAU Kiel Germany Author of A GHC-Plugin to Compile Effectful Languages within the Student Research Competition-track in ICFP 2020
Jonathan Protzenko Microsoft Research, Redmond United States Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the ICFP Program-track
Juan Pedro Bolívar Puente Independent Consultant, Sinusoidal Engineering Germany Committee Member in External Review Committee within the ICFP Program-track
Xueying Qin University of Glasgow, United Kingdom Author of Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies within the ICFP Program-track in ICFP 2020
Donya Quick Stevens Institute of Technology United States Chair of FARM Performance within the Social Events-track in ICFP 2020 Performance Chair in Organizing Committee within the FARM-track
Gabriel Radanne Inria France Author of High-level error messages for modules through diffing within the ML 2020-track in ML 2020 Author of The final pieces of the OCaml documentation puzzle within the OCaml 2020-track in OCaml 2020 Author of Kindly Bent to Free Us within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the ML-track
Alexey Radul Author of Perturbation confusion in forward automatic differentiation of higher-order functions within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the Scheme-track
Norman Ramsey Tufts University United States Committee Member in Program Committee within the Haskell-track Committee Member in External Review Committee within the ICFP Program-track
Aseem Rastogi Microsoft Research India Author of SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs within the ICFP Program-track in ICFP 2020
Thomas Reynolds University of Missouri Author of Strongly Bounded Termination with Applications to Security and Hardware Synthesis within the TyDe 2020-track in TyDe 2020
Adam Reynolds University of California, San Diego Author of Liquid Resource Types within the ICFP Program-track in ICFP 2020
Tom Ridge University of Leicester, UK Author of The ImpFS filesystem within the OCaml 2020-track in OCaml 2020 Volunteer in Organizing Committee within the OCaml-track
Talia Ringer University of Washington United States Mentoring Chair in Organizing Committee for ICFP 2020 Organizer of Welcome within the PLMW @ ICFP 2020-track in PLMW @ ICFP 2020 Organizer in Organizing Committee within the ICFP Mentoring-track Committee Member in Organizing Committee within the PLMW @ ICFP -track
Nick Rioux University of Pennsylvania Author of Computation Focusing within the ICFP Program-track in ICFP 2020
Exequiel Rivas Inria Paris Session Chair of Paper Session 2 - Animations and Demonstrations (part of Haskell) Committee Member in Program Committee within the Haskell-track
Christine Rizkallah UNSW Sydney Australia Committee Member in External Review Committee within the ICFP Program-track
Veronika Romashkina None Azerbaijan Author of Stan — Haskell Static Analyser within the HIW 2020-track in HIW 2020
Tiark Rompf Purdue University United States Committee Member in Program Committee within the FHPNC-track Committee Member in External Review Committee within the ICFP Program-track
Gregory Rosenblatt University of Alabama at Birmingham, USA Canada Session Chair of Morning Session (part of miniKanren) Author of mediKanren: A System for Bio-medical Reasoning within the miniKanren 2020-track in miniKanren 2020 Author of A Relational Interpreter for Synthesizing JavaScript within the miniKanren 2020-track in miniKanren 2020 Committee Member in Program Committee within the miniKanren-track
Andreas Rossberg Dfinity Stiftung Germany Author in Steering Committee for ICFP 2020 Committee Member in Program Committee within the OCaml-track
Grigore Rosu University of Illinois at Urbana-Champaign United States Author of A General Approach to Define Binders Using Matching Logic within the ICFP Program-track in ICFP 2020 Presenter of Using the K Framework to Formalize Functional Languages within the Tutorials-track in ICFP 2020
Arjen Rouvoet Delft University of Technology Netherlands Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Reuben Rowe University College London United Kingdom Author of API migration: compare transformed within the OCaml 2020-track in OCaml 2020
Dmitry Rozplokhas Higher School of Economics Author of Certified Semantics for Disequality within the miniKanren 2020-track in miniKanren 2020
David Rush Author of Perturbation confusion in forward automatic differentiation of higher-order functions within the ICFP Program-track in ICFP 2020
Claudio Russo Dfinity Committee Member in Program Committee within the ML-track
Alejandro Russo Chalmers University of Technology, Sweden Argentina Author of Towards Secure IoT Programming in Haskell within the Haskell 2020-track in Haskell 2020
Matthew Ryan O(1) Labs Author of Types in amber within the OCaml 2020-track in OCaml 2020
Sukyoung Ryu KAIST South 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) Presenter of Award Presentations & Chair Report within the ICFP Program-track in ICFP 2020 Panelist of Women in CS Panel within the Social Events-track in ICFP 2020 Author of Online Lecture Panel within the Social Events-track in ICFP 2020
Hannes Saffrich University of Freiburg Author of Kindly Bent to Free Us within the ICFP Program-track in ICFP 2020
Anmol Sahoo IIT Madras Author of Retrofitting Parallelism onto OCaml within the ICFP Program-track in ICFP 2020
Baptiste Saleil IBM Canada Canada Program Co-Chair in Organizing Committee within the Scheme-track Program Co-Chair in Program Committee within the Scheme-track
Guido Salvaneschi University of St. Gallen Switzerland Committee Member in External Review Committee within the ICFP Program-track
Alex Sanchez-Stern University of California, San Diego United States Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Advait Sarkar Microsoft Research and University of Cambridge United Kingdom Author of Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input Arrays within the ICFP Program-track in ICFP 2020
John Sarracino University of California, San Diego Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Annabel Satin P.C.K. Conference Manager in Organizing Committee for ICFP 2020
Christopher Schankula Presenter of Creating SVG graphics and Animations using Elm within the Tutorials-track in ICFP 2020
Gabriel Scherer INRIA Saclay France Author of Translation validation of a pattern-matching compiler within the ML 2020-track in ML 2020 Author of Quantified Applicatives – API design for type-inference constraints within the ML 2020-track in ML 2020
Raoul Schorer Geneva University Hospitals Switzerland Author of MicroKanren in J: an Embedding of the Relational Paradigm in an Array Language with Rank-Polymorphic Unification within the miniKanren 2020-track in miniKanren 2020
Tom Schrijvers KU Leuven Session Chair of Keynote (part of Haskell) Chair of PC Chair Report within the Haskell 2020-track in Haskell 2020 Chair in Program Committee within the Haskell-track Committee Member in External Review Committee within the ICFP Program-track
Philipp Schuster University of Tübingen, Germany Author of Higher-order Programming with Effects and Handlers — without First-Class Functions within the HOPE 2020-track in HOPE 2020 Author of Updating Immutable Code within the HIW 2020-track in HIW 2020 Author of Compiling Effect Handlers in Capability-Passing Style within the ICFP Program-track in ICFP 2020 Author of Effect Handlers, Evidently within the ICFP Program-track in ICFP 2020
Steven Schäfer Google, Aarhus Denmark Author of POPLMark reloaded: Mechanizing proofs by logical relations within the ICFP Program-track in ICFP 2020
Ryan Scott Galois, Inc. United States Author of Lower Your Guards: A Compositional Pattern-Match Coverage Checker within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the HIW-track
Taro Sekiyama National Institute of Informatics Japan Author of Signature restriction for polymorphic algebraic effects within the ICFP Program-track in ICFP 2020 Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Daniel Selsam Microsoft Research Author of Sealing Pointer-Based Optimizations Behind Pure Functions within the ICFP Program-track in ICFP 2020
Ilya Sergey Yale-NUS College and National University of Singapore Singapore Author of Online Lecture Panel within the Social Events-track in ICFP 2020 Committee Member in Program Committee within the miniKanren-track
Marcello Seri 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 Serrano 47 Degrees, Spain Netherlands Author of Describing Microservices using Modern Haskell (Experience Report) within the Haskell 2020-track in Haskell 2020 Author of A Quick Look at Impredicativity within the ICFP Program-track in ICFP 2020
Narges Shadab University of California, Riverside Author of TLC: Temporal Logic of Distributed Components within the ICFP Program-track in ICFP 2020
Chung-chieh Shan Indiana University, USA Session Chair of Keynote (part of ICFP Program) Committee Member in External Review Committee within the ICFP Program-track
Cheng Shao Tweag I/O Author of Asterius: bringing Haskell to WebAssembly within the HIW 2020-track in HIW 2020
Mary Sheeran ms@chalmers.se Committee Member in Steering Committee for ICFP 2020 Organizer of W@ICFP within the Social Events-track in ICFP 2020 Committee Member in Program Committee within the FHPNC-track
Hannes Siebenhandl None Author of Multiple Home Units within the HIW 2020-track in HIW 2020
Filip Sieczkowski University of Wrocław Poland Co-chair in Organizing Committee within the HOPE-track
Alexandra Silva University College London United Kingdom Author of SIGPLAN CARES within the Social Events-track in ICFP 2020 Author of SIGPLAN CARES within the Social Events-track in ICFP 2020
Jeffrey Mark Siskind School of Electrical and Computer Engineering, Purdue University United States Author of Perturbation confusion in forward automatic differentiation of higher-order functions within the ICFP Program-track in ICFP 2020
KC Sivaramakrishnan IIT Madras India Author of Parallelising your OCaml Code with Multicore OCaml within the OCaml 2020-track in OCaml 2020 Author of Retrofitting Parallelism onto OCaml within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the ICFP Program-track
Magnus Skjegstad Tarides and OCaml Labs Norway Author of OCaml-CI : A Zero-Configuration CI within the OCaml 2020-track in OCaml 2020
Ingo Skupin University of Tübingen Author of Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical within the HOPE 2020-track in HOPE 2020
Scott F. Smith The Johns Hopkins University Author of Higher-Order Demand-Driven Symbolic Evaluation within the ICFP Program-track in ICFP 2020
Armando Solar-Lezama Massachusetts Institute of Technology, USA Author of Liquid Information Flow Control within the ICFP Program-track in ICFP 2020
Mallku Ernesto Soldevila Raffa FAMAF, UNC / CONICET Argentina Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Matthew Sottile Noddle, LLC Author of poco: An ML testbed for deductive synthesis tool design within the ML 2020-track in ML 2020
Stephan Spahn The University of Iowa Author of Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille within the ICFP Program-track in ICFP 2020
Antal Spector-Zabusky University of Pennsylvania Author of Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale within the HIW 2020-track in HIW 2020
Michael Sperber Active Group GmbH Germany Presenter of Functional Software Architecture within the Tutorials-track in ICFP 2020 Presenter of Teaching Functional Programming within the Tutorials-track in ICFP 2020
Arnaud Spiwack Tweag I/O France Author of Implementation of linear types within the HIW 2020-track in HIW 2020
Priya Srikumar Cornell University United States Organizer of ShutdownPL: Keynote and Getting Started With Anti-racist Action within the Social Events-track in ICFP 2020
Vincent St-Amour Northwestern University, USA United States Committee Member in External Review Committee within the ICFP Program-track
Kathrin Stark Princeton University, USA United States Author of POPLMark reloaded: Mechanizing proofs by logical relations within the ICFP Program-track in ICFP 2020
Paul Steckler O(1) Labs Author of Types in amber within the OCaml 2020-track in OCaml 2020
Guy L. Steele Jr. Oracle Labs United States Author of Mentoring with Guy Steele within the Social Events-track in ICFP 2020
Julie Steele Georgetown Day School United States Author of dxo: A System for Relational Algebra and Differentiation within the miniKanren 2020-track in miniKanren 2020
Leo Stefanesco IRIF, University Paris Diderot & CNRS France Author of Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris within the ICFP Program-track in ICFP 2020 Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Deian Stefan University of California at San Diego, USA Author of Liquid Information Flow Control within the ICFP Program-track in ICFP 2020
Michel Steuwer The University of Edinburgh United Kingdom Author of Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the FHPNC-track
Quentin Stiévenart Vrije Universiteit Brussel, Belgium Belgium Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Jan Stolarek University of Edinburgh, UK Author of The Virtues of Semi-Explicit Polymorphism within the ML 2020-track in ML 2020
David A. Stuart None Author of Scripted Signal Functions within the Haskell 2020-track in Haskell 2020
Aaron Stump The University of Iowa, USA United States Author of Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille within the ICFP Program-track in ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
Martin Sulzmann Karlsruhe University of Applied Sciences, Germany Committee Member in Program Committee within the Haskell-track
Hans Svensson Quviq AB Sweden PC Member in Program Committee within the Erlang-track
Nikhil Swamy Microsoft Research United States Author of SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs within the ICFP Program-track in ICFP 2020
Wouter Swierstra Utrecht University, Netherlands Netherlands Author of Heterogeneous binary random-access lists within the ICFP Program-track in ICFP 2020 Committee Member in Program Committee within the TyDe-track
Nicolas Tabareau Inria France Committee Member in External Review Committee within the ICFP Program-track
Audrey Tang Keynote Speaker of Referential transparency for pandemic resilience within the ICFP Program-track in ICFP 2020
Ross Tate Cornell University United States Committee Member in External Review Committee within the ICFP Program-track
Hanneli Tavante 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ščák University of St Andrews Author of A dependently typed calculus with pattern matching and erasure inference within the ICFP Program-track in ICFP 2020
Peter Thiemann University of Freiburg, Germany Author of Kindly Bent to Free Us within the ICFP Program-track in ICFP 2020
Simon Thompson University of Kent United Kingdom Author of Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects within the Erlang 2020-track in Erlang 2020 Author of API migration: compare transformed within the OCaml 2020-track in OCaml 2020
Amin Timany Aarhus University Denmark Author of Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris within the ICFP Program-track in ICFP 2020
Ignacio Tiraboschi None Author of Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2 (Extended Abstract) within the TyDe 2020-track in TyDe 2020
Sam Tobin-Hochstadt Indiana University United States Publicity Chair in Organizing Committee for ICFP 2020 Author in Steering Committee for ICFP 2020
Daniel Tornabene Volunteer in Organizing Committee within the OCaml-track
Melinda Toth Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd. Hungary Author of Supporting Secure Coding with RefactorErl within the Erlang 2020-track in Erlang 2020 Author of Transformations towards Clean Functional Code within the Erlang 2020-track in Erlang 2020
Phil Trinder University of Glasgow PC Member in Program Committee within the Erlang-track
Takeshi Tsukada Chiba University, Japan Japan Author of Signature restriction for polymorphic algebraic effects within the ICFP Program-track in ICFP 2020
Kanae Tsushima National Institute of Informatics, Japan Japan Committee Member in Program Committee within the miniKanren-track
Edwin Török Citrix United Kingdom Committee Member in Program Committee within the OCaml-track
Tarmo Uustalu Reykjavik University, Tallinn University of Technology Iceland Author of Merging coeffect production into effect handling within the HOPE 2020-track in HOPE 2020
Nachiappan Valliappan Chalmers University of Technology, Sweden Author of Towards Secure IoT Programming in Haskell within the Haskell 2020-track in Haskell 2020 Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
David Van Horn University of Maryland, USA United States Speaker of Basic Mechanics of Operational Semantics within the PLMW @ ICFP 2020-track in PLMW @ ICFP 2020
Peter Van Roy Université catholique de Louvain Belgium Author of Living on the Edge with Erlang within the Erlang 2020-track in Erlang 2020
Thomas Van Strydonck KULeuven Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Jasper Van der Jeugt Fugue Switzerland Author of Untitled PL Card Game within the Social Events-track in ICFP 2020
Alexander Vandenbroucke KU Leuven, Belgium Belgium Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Steven Varoumas University of Kent United Kingdom Author of API migration: compare transformed within the OCaml 2020-track in OCaml 2020
Nikos Vasilakis MIT CSAIL, USA Greece Presenter of Library-Oriented Dynamic Analysis with Lya within the Tutorials-track in ICFP 2020
Jeff Vaughan Google United States Panelist of Panel discussion: Making a career in PL (even in uncertain times) within the PLMW @ ICFP 2020-track in PLMW @ ICFP 2020
Niki Vazou IMDEA Software Institute Committee Member in Virtualization Committee for ICFP 2020 Author of Liquid Haskell as a GHC Plugin within the HIW 2020-track in HIW 2020 Author of Untitled PL Card Game within the Social Events-track in ICFP 2020
Niccolò Veltri IT University of Copenhagen Denmark Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Ekaterina Verbitskaia JetBrains Russia Author of An Empirical Study of Partial Deduction for miniKanren within the miniKanren 2020-track in miniKanren 2020
Evan Vigil-McClanahan United States PC Member in Program Committee within the Erlang-track
Eelco Visser Delft University of Technology Netherlands Keynote Speaker of Executing Declarative Language Definitions within the miniKanren 2020-track in miniKanren 2020 Author of A Declarative Syntax Definition for OCaml within the OCaml 2020-track in OCaml 2020
Niels Voorneveld Tallinn University of Technology Estonia Author of Merging coeffect production into effect handling within the HOPE 2020-track in HOPE 2020
Dimitrios Vytiniotis DeepMind United Kingdom Author of A Quick Look at Impredicativity within the ICFP Program-track in ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
David Walker Princeton University, USA Author of LGBTQ Meetup within the Social Events-track in ICFP 2020 Author of SIGPLAN CARES within the Social Events-track in ICFP 2020 Author of SIGPLAN CARES within the Social Events-track in ICFP 2020
Yuting Wang John Hopcroft Center for Computer Science - Shanghai Jiao Tong University China Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Di Wang Carnegie Mellon University United States Author of Liquid Resource Types within the ICFP Program-track in ICFP 2020 Author of Raising Expectations: Automating Expected Cost Analysis with Types within the ICFP Program-track in ICFP 2020
Meng Wang University of Bristol, UK United Kingdom Author of Sparcl: A Language for Partially-Invertible Computation within the ICFP Program-track in ICFP 2020
Matthew Weaver Princeton University United States Author of LGBTQ Meetup within the Social Events-track in ICFP 2020
Matthew Weidner Carnegie Mellon University Author of Composing and Decomposing Op-Based CRDTs with Semidirect Products within the ICFP Program-track in ICFP 2020
Stephanie Weirich University of Pennsylvania United 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) Author of Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale within the HIW 2020-track in HIW 2020 Author of Conference closing within the ICFP Program-track in ICFP 2020 General Chair of Information Desk within the Social Events-track in ICFP 2020 General Chair of Award Presentations & Chair Report within the ICFP Program-track in ICFP 2020 Committee Member in Selection Committee within the ICFP Tutorials-track
Guannan Wei Purdue University Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Shiwei Weng The Johns Hopkins University Author of Higher-Order Demand-Driven Symbolic Evaluation within the ICFP Program-track in ICFP 2020 Volunteer in Organizing Committee within the OCaml-track
Leo White Jane Street Author of The final pieces of the OCaml documentation puzzle within the OCaml 2020-track in OCaml 2020 Author of Retrofitting Parallelism onto OCaml within the ICFP Program-track in ICFP 2020 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 Wiegley DFINITY United States Committee Member in External Review Committee within the ICFP Program-track
Jamie Willis Imperial College London Author of Staged Selective Parser Combinators within the ICFP Program-track in ICFP 2020
Andy Wingo Igalia, S.L. Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Daniel Winograd-Cort Target Corp United States General Chair in Organizing Committee within the FARM-track
Tobias Wrigstad Uppsala University, Sweden Keynote Speaker of SICP JS: Ketchup on Caviar? within the Scheme 2020-track in Scheme 2020
Sharon Wu Presenter of Creating SVG graphics and Animations using Elm within the Tutorials-track in ICFP 2020
Nicolas Wu Imperial College London, UK United Kingdom Author of Staged Sums of Products within the Haskell 2020-track in Haskell 2020 Author of Staged Selective Parser Combinators within the ICFP Program-track in ICFP 2020
Ningning Xie Microsoft Research, USA China Author of Effect Handlers in Haskell, Evidently within the Haskell 2020-track in Haskell 2020 Author of Effect Handlers, Evidently within the ICFP Program-track in ICFP 2020
Jeremy Yallop University of Cambridge United Kingdom Author of Frex: indexing modulo equations with free extensions (Extended Abstract) within the TyDe 2020-track in TyDe 2020 Committee Member in Program Committee within the ML-track
Jean Yang Carnegie Mellon University Author of Liquid Information Flow Control within the ICFP Program-track in ICFP 2020
Larry Yao Presenter of Creating SVG graphics and Animations using Elm within the Tutorials-track in ICFP 2020
Xizhe Yin Univsersity of California, Riverside Author of TLC: Temporal Logic of Distributed Components within the ICFP Program-track in ICFP 2020
Brent Yorgey Hendrix College United States Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2020 Co-chair in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Greta Yorsh Jane Street Session Chair of Experience (part of OCaml) Committee Member in Program Committee within the OCaml-track
Shu-Hung You Northwestern University, USA Taiwan Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Yongwei Yuan University of Michigan Author of Pattern Matching with Typed Holes within the Student Research Competition-track in ICFP 2020
Samuel Yvon Author of Running Scheme On Bare Metal (Experience Report) within the Scheme 2020-track in Scheme 2020
Steve Zdancewic University of Pennsylvania United States Author of Computation Focusing within the ICFP Program-track in ICFP 2020
Peter Zeller TU Kaiserslautern Germany Author of Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+ within the Erlang 2020-track in Erlang 2020
Sarah Zennou Airbus France Committee Member in Program Committee within the OCaml-track
Lisa Zhang University of Toronto Mississauga Canada Author of A Relational Interpreter for Synthesizing JavaScript within the miniKanren 2020-track in miniKanren 2020
Cheng Zhang Boston University Author of Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract) within the TyDe 2020-track in TyDe 2020
Noam Zilberstein Facebook, USA United States Author of Eliminating Bugs with Dependent Haskell (Experience Report) within the Haskell 2020-track in Haskell 2020
Beta Ziliani FAMAF, UNC and CONICET Argentina Author of Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2 (Extended Abstract) within the TyDe 2020-track in TyDe 2020 Committee Member in External Review Committee within the ICFP Program-track
Alan Zimmerman South Africa Author of Exactprint in GHC within the HIW 2020-track in HIW 2020
Erik de Castro Lopo IOHK Australia Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track
Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands Netherlands Author of A Declarative Syntax Definition for OCaml within the OCaml 2020-track in OCaml 2020
julien lepiller Yale University Author of Programming with Petri Nets to Reason about Concurrency (Lightning Talk) within the Scheme 2020-track in Scheme 2020
Suneel sarswat TIFR Author of Certified double sided auction mechanisms within the Student Research Competition-track in ICFP 2020
Birthe van den Berg KU Leuven Belgium Committee Member in Artifact Evaluation Committee within the ICFP Artifact Evaluation-track

ICFP 2020 Contributors

Results (516)

Tracks

Workshops

Co-hosted Symposiums