ICFP 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (503)

Andreas Abel Gothenburg University Sweden Author of Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types within the Research Papers-track in ICFP 2019
Umut A. Acar Carnegie Mellon University Author of Fairness in Responsive Parallelism within the Research Papers-track in ICFP 2019
Michael D. Adams University of Michigan United States Session Chair of Compilation & Parallelism (part of ICFP Research Papers) Author of Stack-Liberated Abstract Garbage Collection within the Scheme 2019-track in Scheme 2019 PC Member in Organizing Committee within the Scheme-track Committee Member in External Review Committee within the ICFP Research Papers-track
Justus Adam Technische Universität Dresden Germany Author of STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism within the Haskell 2019-track in Haskell 2019
Alejandro Aguirre IMDEA Software Institute, Spain Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Danel Ahman University of Ljubljana Slovenia Author of Dijkstra Monads for All within the Research Papers-track in ICFP 2019
Amal Ahmed Northeastern University, USA United States Author of Managing your research, your advisor, your PhD within the PLMW @ ICFP 2019-track in PLMW @ ICFP 2019 Author of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2019-track in PLMW @ ICFP 2019 Author of The Next 700 Compiler Correctness Theorems. A Functional Pearl. within the Research Papers-track in ICFP 2019 Committee Member in Speakers within the PLMW @ ICFP-track
Cons T Ahs Cisco Sweden AB Author of Lux - an expect like test tool written in Erlang within the Erlang 2019-track in Erlang 2019
Aws Albarghouthi University of Wisconsin-Madison Author of Synthesizing Differentially Private Programs within the Research Papers-track in ICFP 2019
Maximilian Algehed Chalmers University of Technology, Sweden Author of Simple Noninterference from Parametricity within the Research Papers-track in ICFP 2019
Guillaume Allais University of Strathclyde United Kingdom Author of Generic Level Polymorphic N-ary Functions within the TyDe 2019-track in TyDe 2019
David Allsopp University of Cambridge United Kingdom Session Chair of Ecosystem (part of OCaml) Author of Welcome within the OCaml 2019-track in OCaml 2019 Committee Member in Program Committee within the ML-track Chair in Program Committee within the OCaml-track Organizer in Organizing Committee within the OCaml-track
Sandra Alves University of Porto Portugal Committee Member in Program Committee within the TyDe-track
Claire Alvis Committee Member in Program Committee within the miniKanren-track
Nada Amin Harvard University United States Author of Analyzing Music with Prefix Trees within the FARM 2019-track in FARM 2019 Co-chair in Organizing Committee within the miniKanren-track
Leif Andersen Northeastern University, USA Video Co-Chair in Organizing Committee for ICFP 2019 PC Member in Organizing Committee within the Scheme-track
Florian Angeletti Author of Codept, a whole-project dependency analyzer for OCaml within the OCaml 2019-track in OCaml 2019
Heinrich Apfelmus independent Germany Author of Demo: Functors and Music within the FARM 2019-track in FARM 2019
Andrew Appel Princeton Author of Closure Conversion is Safe for Space within the Research Papers-track in ICFP 2019
Zena M. Ariola University of Oregon, USA Author of Making a Faster Curry with Extensional Types within the Haskell 2019-track in Haskell 2019
Markus Aronsson Author of Safety at speed: In-place array algorithms from pure functional programs by safely re-using storage within the FHPNC-track in FHPNC 2019
Thomas Arts Quviq Author of Gaining Trust by Tracing Security Protocols within the Erlang 2019-track in Erlang 2019 Programme Committee in Program Committee within the Erlang-track
Robert Atkey University of Strathclyde Session Chair of The Real World (part of ICFP Research Papers) Author of An Idris Foreign Function Interface to OCaml within the ML 2019-track in ML 2019 Author of Dijkstra Monads for All within the Research Papers-track in ICFP 2019 Committee Member in External Review Committee within the ICFP Research Papers-track
Lennart Augustsson Author of Haskell Use and Abuse at Scale within the HIW 2019-track in HIW 2019 Keynote Speaker of Haskell Use and Abuse at Scale within the Haskell 2019-track in Haskell 2019
Christiaan Baaij QBayLogic B.V. Netherlands Session Chair of Paper Session 4: Metaprogramming (part of Haskell) Committee Member in Program Committee within the Haskell-track
Tim Baanen Utrecht University Author of A predicate transformer semantics for effects (Functional Pearl) within the Research Papers-track in ICFP 2019
Patrick Bahr IT University of Copenhagen Denmark Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming Without Space Leaks within the Research Papers-track in ICFP 2019
Andrej Bauer University of Ljubljana Slovenia Author of Derivations as computations within the Keynotes and Reports-track in ICFP 2019
Julia Belyakova Northeastern University, USA Russia Committee Member in Program Committee within the TyDe-track
Clara Benac Earle Universidad Politécnica de Madrid Spain Author of Gaining Trust by Tracing Security Protocols within the Erlang 2019-track in Erlang 2019 Programme Committee in Program Committee within the Erlang-track
Lars Bergstrom Mozilla Research Committee Member in Program Committee within the ML-track
Lennart Beringer Princeton University United States Committee Member in Program Committee within the ICFP Research Papers-track
Jean-Philippe Bernardy University of Gothenburg Author of Simple Noninterference from Parametricity within the Research Papers-track in ICFP 2019
Utsav Bhatt Author of Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren within the miniKanren 2019-track in miniKanren 2019
Aggelos Biboudis EPFL, Switzerland Switzerland Committee Member in Program Committee within the ML-track
Annette Bieniusa Technischen Universität Kaiserslautern Germany Programme Committee in Program Committee within the Erlang-track
Lars Birkedal Aarhus University Author of Implementing a Modal Dependent Type Theory within the Research Papers-track in ICFP 2019 Author of Mechanized Relational Verification of Concurrent Programs with Continuations within the Research Papers-track in ICFP 2019
Gert-Jan Bottu KU Leuven Belgium Author of Coherence of Type Class Resolution within the Research Papers-track in ICFP 2019
Amirouche Boubekki Author of SRFI-167, SRFI-168 and the functional store within the Scheme 2019-track in Scheme 2019
Raja Boujbel Committee Member in Program Committee within the OCaml-track
Dmitri Boulytchev Session Chair of Session 4 (part of miniKanren) Author of Certified Semantics for miniKanren within the miniKanren 2019-track in miniKanren 2019 Author of Relational Interpreters for Search Problems within the miniKanren 2019-track in miniKanren 2019
Timothy Bourke INRIA France Committee Member in Program Committee within the OCaml-track
William J. Bowman University of British Columbia Canada Student Research Competition Chair in Organizing Committee for ICFP 2019 Session Chair of Dependently Typed Programming (part of TyDe) 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 Program Committee within the TyDe-track
István Bozó Eötvös Loránd University Author of Tools supporting green computing in Erlang within the Erlang 2019-track in Erlang 2019
Edwin Brady University of St. Andrews, UK United Kingdom Session Chair of Generic Programming and Synthesis (part of TyDe) Session Chair of Session 5 (part of ML) Author of Morning Keynote within the Scheme 2019-track in Scheme 2019 Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the TyDe-track
Joachim Breitner DFINITY Foundation Germany Session Chair of Dependent Types in Haskell (part of ICFP Research Papers) Author of Social activity within the PLMW @ ICFP 2019-track in PLMW @ ICFP 2019 Author of Demo: Kaleidogen within the FARM 2019-track in FARM 2019 Committee Member in Program Committee within the ICFP Research Papers-track Committee Member in Speakers within the PLMW @ ICFP-track
Niels Bunkenburg University of Kiel, Germany Germany Author of Verifying Effectful Haskell Programs in Coq within the Haskell 2019-track in Haskell 2019
William E. Byrd University of Alabama at Birmingham, USA United States Author of Tutorial on miniKanren within the miniKanren 2019-track in miniKanren 2019 Author of First-order miniKanren representation: Great for tooling and search within the miniKanren 2019-track in miniKanren 2019 PC Member in Organizing Committee within the Scheme-track Steering Committee Member in Organizing Committee within the Scheme-track Co-chair in Organizing Committee within the miniKanren-track
Manuel Bärenz sonnen eServices GmbH Author of The essence of live coding: Change the program, keep the state! within the Haskell 2019-track in Haskell 2019
Romain Calascibetta Tarides France Author of MirageOS 4: the dawn of practical build systems for exotic targets within the OCaml 2019-track in OCaml 2019
Jose Calderon Galois, Inc. United States Session Chair of Compilers (part of HIW) Session Chair of Paper Session 1: Classes & Instances (part of Haskell) Author of Tagging Tags: Inferring the presence of pointer tags at compile time. within the HIW 2019-track in HIW 2019 Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the HIW-track
Michael Carbin Massachusetts Institute of Technology United States Author of Sound and robust solid modeling via exact real arithmetic and continuity within the Research Papers-track in ICFP 2019
Jacques Carette McMaster University Canada Author of From high-level inference algorithms to efficient code within the Research Papers-track in ICFP 2019
Hezekiah Carty Endgame Author of Makecloud: Simple, Fast, Robust CI/CD for the modern era within the OCaml 2019-track in OCaml 2019
Jeronimo Castrillon TU Dresden, Germany Germany Author of STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism within the Haskell 2019-track in Haskell 2019
Laura M. Castro University of A Coruña Spain Committee Member in Program Committee within the ICFP Research Papers-track
Martín Ceresa Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Pavol Cerny University of Colorado Boulder Slovakia Author of Sequential Programming for Replicated Data Stores within the Research Papers-track in ICFP 2019
Francesco Cesarini Programme Committee in Program Committee within the Erlang-track
Joris Ceulemans KU Leuven Belgium Author of Reasoning about Effect Parametricity Using Dependent Types within the TyDe 2019-track in TyDe 2019
Manuel Chakravarty Tweag I/O & IOHK Netherlands Author of Generic Enumerators within the TyDe 2019-track in TyDe 2019 Author of Formal Investigation of the Extended UTxO Model within the TyDe 2019-track in TyDe 2019 Author of Blockchains are functional within the Keynotes and Reports-track in ICFP 2019 Committee Member in Program Committee within the HIW-track
Avik Chaudhuri Facebook, USA Committee Member in Program Committee within the ML-track
Natalia Chechina Bournemouth University United Kingdom Programme Committee in Program Committee within the Erlang-track
James Cheney University of Edinburgh, UK United States Author of (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the ML 2019-track in ML 2019 Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the TyDe 2019-track in TyDe 2019 Committee Member in External Review Committee within the ICFP Research Papers-track
Liang-Ting Chen Swansea University, UK Taiwan Author of Monadic typed tactic programming by reflection within the TyDe 2019-track in TyDe 2019
Sheng Chen University of Louisiana at Lafayette United States Committee Member in External Review Committee within the ICFP Research Papers-track
Zilin Chen Data61, CSIRO and UNSW Australia Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Steven Cheung University of Birmingham, UK Author of Transparent Synchronous Dataflow within the ML 2019-track in ML 2019
Adam Chlipala Massachusetts Institute of Technology United States Session Chair of Program Verification (part of ICFP Research Papers) Author of Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats within the Research Papers-track in ICFP 2019 Committee Member in External Review Committee within the ICFP Research Papers-track
Pritam Choudhury University of Pennsylvania Author of A Role for Dependent Types in Haskell within the Research Papers-track in ICFP 2019
David Thrane Christiansen Galois, USA United States Author of Dependently Typed Haskell in Industry (Experience Report) within the Research Papers-track in ICFP 2019 Author of Verifying Imperative Programs with SAW within the Tutorials-track in ICFP 2019
Jan Christiansen Flensburg University of Applied Sciences, Germany Author of Verifying Effectful Haskell Programs in Coq within the Haskell 2019-track in Haskell 2019
Ravi Chugh University of Chicago Author of Livelits: Filling Typed Holes with Live GUIs within the TyDe 2019-track in TyDe 2019
Benjamin Chung Northeastern University United States Video Co-Chair in Organizing Committee for ICFP 2019
Koen Claessen Chalmers University of Technology Author of Safety at speed: In-place array algorithms from pure functional programs by safely re-using storage within the FHPNC-track in FHPNC 2019
Xavier Clerc ocamljava.org Author of The future of OCaml PPX: towards a unified and more robust ecosystem within the OCaml 2019-track in OCaml 2019
Will Clinger Steering Committee Member in Organizing Committee within the Scheme-track
Jesper Cockx Chalmers \| University of Gothenburg Sweden Committee Member in Program Committee within the TyDe-track
Bruce Collie University of Edinburgh Author of Augmenting Type Signatures for Program Synthesis within the TyDe 2019-track in TyDe 2019
Nick Collins University of Chicago Author of Livelits: Filling Typed Holes with Live GUIs within the TyDe 2019-track in TyDe 2019
Youyou Cong Tokyo Institute of Technology Japan Session Chair of Sound (part of FARM) Author of Demo: Counterpoint by Construction within the FARM 2019-track in FARM 2019 Author of Compiling with Continuations, or without? Whatever. within the Research Papers-track in ICFP 2019 Committee Member in Program Committee within the FARM-track Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Evelyne Contejean Committee Member in External Review Committee within the ICFP Research Papers-track
Mistral Contrastin University of Cambridge, UK United Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Nathanaël Courant INRIA Author of Necro: Animating Skeletons within the ML 2019-track in ML 2019
Enzo Crance INSA Rennes Author of Necro: Animating Skeletons within the ML 2019-track in ML 2019
Simon Cruanes Committee Member in Program Committee within the OCaml-track
Ryan Culpepper Czech Technical University Czech Republic Author of Syntax Templates In Racket within the Scheme 2019-track in Scheme 2019
Pierre-Evariste Dagand LIP6/CNRS France Committee Member in Program Committee within the ICFP Research Papers-track
David Darais University of Vermont United States Session Chair of Effects (part of TyDe) 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 Co-chair in Organizing Committee within the TyDe-track Co-chair in Program Committee within the TyDe-track
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
James Decker Author of Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator within the Research Papers-track in ICFP 2019
Frank Dedden Royal Netherlands Aerospace Center Netherlands Author of Copilot 3.0: a Haskell runtime verification framework for UAVs within the HIW 2019-track in HIW 2019
Benjamin Delaware Purdue University Author of Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats within the Research Papers-track in ICFP 2019 Committee Member in Program Committee within the Haskell-track
Germán Andrés Delbianco IRIF - Université de Paris France Committee Member in External Review Committee within the ICFP Research Papers-track
Michiel Derhaeg Guardsquare Author of Bidirectional Type Class Instances within the Haskell 2019-track in Haskell 2019
Caner Derici Indiana University Author of Rebuilding Racket on Chez Scheme (Experience Report) within the Research Papers-track in ICFP 2019
Dominique Devriese Vrije Universiteit Brussel Belgium Session Chair of Modal Types (part of ICFP Research Papers) Author of Explicit Dictionary Applications - From Theory to Practice? within the HIW 2019-track in HIW 2019 Author of How to do proofs? Practically proving properties about effectful programs' results (functional pearl) within the TyDe 2019-track in TyDe 2019 Author of Reasoning about Effect Parametricity Using Dependent Types within the TyDe 2019-track in TyDe 2019 Author of Modular effects in Haskell through effect polymorphism and explicit dictionary applications - A new approach and the μVeriFast verifier as a case study within the Haskell 2019-track in Haskell 2019 Author of Linear capabilities for fully abstract compilation of separation-logic-verified code within the Research Papers-track in ICFP 2019 Committee Member in External Review Committee within the ICFP Research Papers-track
Iavor Diatchki Galois, Inc. Author of Dependently Typed Haskell in Industry (Experience Report) within the Research Papers-track in ICFP 2019 Author of Verifying Imperative Programs with SAW within the Tutorials-track in ICFP 2019
Jeremie Dimino Jane Street Europe Author of The future of OCaml PPX: towards a unified and more robust ecosystem within the OCaml 2019-track in OCaml 2019 Author of Selective Applicative Functors within the Research Papers-track in ICFP 2019
Christos Dimoulas PLT @ Northwestern University United States Committee Member in Program Committee within the ICFP Research Papers-track
Robert Dockins Galois, Inc. Author of Dependently Typed Haskell in Industry (Experience Report) within the Research Papers-track in ICFP 2019
Stephen Dolan Author of Syntax with Shifted Names within the TyDe 2019-track in TyDe 2019
Rémi Douence IMT Atlantique Author of Efficient Deconstruction with Typed Pointer Reversal within the ML 2019-track in ML 2019
Paul Downen University of Oregon, USA Author of Making a Faster Curry with Extensional Types within the Haskell 2019-track in Haskell 2019
Derek Dreyer MPI-SWS Germany ICFP'19 General Chair in Steering Committee for ICFP 2019 General Chair in Organizing Committee for ICFP 2019 Session Chair of Monday Keynote (part of ICFP Keynotes and Reports) Author of How to give talks that people can follow within the PLMW @ ICFP 2019-track in PLMW @ ICFP 2019 Committee Member in Speakers within the PLMW @ ICFP-track
Christophe Dubach University of Edinburgh United Kingdom Author of Position-Dependent Arrays and Their Applicationfor High Performance Code Generation within the FHPNC-track in FHPNC 2019
Timo Dufner HS Furtwangen Performance Chair in Organizing Committee within the FARM-track
Zubin Duggal Author of HIE files in GHC 8.8 within the HIW 2019-track in HIW 2019 Author of Solving Haskell equality constraints using Coq within the Haskell 2019-track in Haskell 2019
R. Kent Dybvig Cisco Systems, Inc Author of Rebuilding Racket on Chez Scheme (Experience Report) within the Research Papers-track in ICFP 2019
Sandra Dylus University of Kiel, Germany Germany Student Volunteer Co-Chair in Organizing Committee for ICFP 2019 Author of Verifying Effectful Haskell Programs in Coq within the Haskell 2019-track in Haskell 2019 Student Volunteer Co-Chair in Committee within the ICFP Student Volunteering-track
Harley D. Eades III Augusta University United States Author of Quantitative program reasoning with graded modal types within the Research Papers-track in ICFP 2019 Author of Fine-grained program reasoning using linear and graded modal types within the Tutorials-track in ICFP 2019
Carl Eastlund Jane Street Europe Author of The future of OCaml PPX: towards a unified and more robust ecosystem within the OCaml 2019-track in OCaml 2019
Satoshi Egi Rakuten Institute of Technology Japan Author of Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types within the Scheme 2019-track in Scheme 2019
Susan Eisenbach Imperial College London United Kingdom Author of Higher-order Type-level Programming in Haskell within the Research Papers-track in ICFP 2019
Richard A. Eisenberg Bryn Mawr College, USA United States Session Chair of Types (part of ICFP Research Papers) Session Chair of Keynote (part of Haskell) PC Chair of PC Chair Report within the Haskell 2019-track in Haskell 2019 Author of A Role for Dependent Types in Haskell within the Research Papers-track in ICFP 2019 Chair in Program Committee within the Haskell-track Committee Member in External Review Committee within the ICFP Research Papers-track
Anton Ekblad Chalmers University of Technology Sweden Author of Scoping Monadic Relational Database Queries within the Haskell 2019-track in Haskell 2019
Conal Elliott Target, USA United States Committee Member in External Review Committee within the ICFP Research Papers-track
Martin Elsman University of Copenhagen, Denmark Denmark Author of Compositional Deep Learning in Futhark within the FHPNC-track in FHPNC 2019 Author of Functional Approach to Acceleration of Monte Carlo Simulation for American Option Pricing (extended abstract) within the FHPNC-track in FHPNC 2019
Frank Emrich The University of Edinburgh Author of (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the ML 2019-track in ML 2019 Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the TyDe 2019-track in TyDe 2019
Sebastian Erdweg JGU Mainz Germany Committee Member in External Review Committee within the ICFP Research Papers-track
Joseph Eremondi University of British Columbia Canada Author of Approximate Normalization for Gradual Dependent Types within the Research Papers-track in ICFP 2019
John Ericson Obsidian Systems Author of Configuration, but without CPP within the HIW 2019-track in HIW 2019
Sebastian Ertel Author of STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism within the Haskell 2019-track in Haskell 2019
Gregory Essertel Purdue University Author of Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator within the Research Papers-track in ICFP 2019 Author of Compiling with Continuations, or without? Whatever. within the Research Papers-track in ICFP 2019
Gian Pietro Farina University at Buffalo, SUNY Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Marc Feeley Université de Montréal Canada Steering Committee Member in Organizing Committee within the Scheme-track
Hans Fehrmann University of Chile Author of A Reasonably Exceptional Type Theory within the Research Papers-track in ICFP 2019
Craig Ferguson Tarides Author of CausalRPC: traceable distributed computation within the OCaml 2019-track in OCaml 2019
Tony Field Imperial College London Author of Higher-order Type-level Programming in Haskell within the Research Papers-track in ICFP 2019
Robby Findler Northwestern University, USA United States ICFP'18 General Chair in Steering Committee for ICFP 2019
Bernd Finkbeiner Author of Synthesizing Functional Reactive Programs within the Haskell 2019-track in Haskell 2019
Kathleen Fisher Tufts University, USA United States Author of Time management, family, and quality of life within the PLMW @ ICFP 2019-track in PLMW @ ICFP 2019 Author of Synthesizing Symmetric Lenses within the Research Papers-track in ICFP 2019 Committee Member in Speakers within the PLMW @ ICFP-track
Andrew Fitzgibbon Microsoft Research, Cambridge Author of Efficient Differentiable Programming in a Functional Array-Processing Language within the Research Papers-track in ICFP 2019
Matthew Flatt University of Utah United States ICFP'18 Program Chair in Steering Committee for ICFP 2019 Author of Rebuilding Racket on Chez Scheme (Experience Report) within the Research Papers-track in ICFP 2019
Spencer P. Florence Northwestern University, USA Student Volunteer Co-Chair in Organizing Committee for ICFP 2019 Student Volunteer Co-Chair in Committee within the ICFP Student Volunteering-track
Matthew Fluet Rochester Institute of Technology United States Committee Member in Program Committee within the ML-track
Nate Foster Cornell University United States PLMW Co-Chair in Organizing Committee within the PLMW @ ICFP-track
Adrian Francalanza University of Malta Malta Author of Closing within the Erlang 2019-track in Erlang 2019 Author of ErlLounge within the Erlang 2019-track in Erlang 2019 Author of Opening within the Erlang 2019-track in Erlang 2019 Program Co-Chair in Program Committee within the Erlang-track Co-chair in Organizing Committee within the Erlang-track
Lars-Ake Fredlund Author of Gaining Trust by Tracing Security Protocols within the Erlang 2019-track in Erlang 2019
Daniel P. Friedman Indiana University, USA Author of Towards a miniKanren with fair search strategies within the miniKanren 2019-track in miniKanren 2019 Steering Committee Member in Organizing Committee within the Scheme-track
Scott Lystig Fritchie Wallaroo Labs United States Programme Committee in Program Committee within the Erlang-track
Viktória Fördős Cisco Systems Sweden Author of Closing within the Erlang 2019-track in Erlang 2019 Author of ErlLounge within the Erlang 2019-track in Erlang 2019 Author of Opening within the Erlang 2019-track in Erlang 2019 Program Co-Chair in Program Committee within the Erlang-track Co-chair in Organizing Committee within the Erlang-track
Marco Gaboardi University at Buffalo, SUNY United States Author of Relational Cost Analysis for Functional-Imperative Programs within the Research Papers-track in ICFP 2019
Emilio Jesús Gallego Arias MINES ParisTech France Committee Member in Program Committee within the OCaml-track
Akash Gaonkar Author of Sequential Programming for Replicated Data Stores within the Research Papers-track in ICFP 2019
Ronald Garcia University of British Columbia ICFP'21 Program Chair in Steering Committee for ICFP 2019 Author of Approximate Normalization for Gradual Dependent Types within the Research Papers-track in ICFP 2019
Deepak Garg Max Planck Institute for Software Systems Germany Author of Relational Cost Analysis for Functional-Imperative Programs within the Research Papers-track in ICFP 2019
Benedict R. Gaster University of the West of England Author of Fun with Interfaces (SVG Interfaces for Musical Expression) within the FARM 2019-track in FARM 2019
Thomas Gazagnaire Tarides France Session Chair of Tools (part of OCaml) Committee Member in Program Committee within the OCaml-track
Kimball Germane University of Utah Author of Stack-Liberated Abstract Garbage Collection within the Scheme 2019-track in Scheme 2019
Jeremy Gibbons Department of Computer Science, University of Oxford United Kingdom ICFP'17 General Chair in Steering Committee for ICFP 2019 Session Chair of Interaction and Applications (part of TyDe) Session Chair of Invited Talk and Metatheory (part of TyDe) Author of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2019-track in PLMW @ ICFP 2019 Committee Member in Program Committee within the FHPNC-track Co-chair in Organizing Committee within the TyDe-track Co-chair in Program Committee within the TyDe-track Committee Member in Speakers within the PLMW @ ICFP-track
Thomas Gilray University of Maryland Session Chair of Session 3 (part of miniKanren) Committee Member in Program Committee within the miniKanren-track
Thomas Gilray The University of Alabama at Birmingham United States PC Chair in Organizing Committee within the Scheme-track
Matthías Páll Gissurarson Chalmers University of Technology, Sweden Sweden Author of HoleFitPlugins and the future of interactive development in GHC within the HIW 2019-track in HIW 2019
Andrés Goens Author of STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism within the Haskell 2019-track in Haskell 2019
April Gonçalves Roskilde University, Denmark Session Chair of Games and Graphics (part of FARM) Committee Member in Program Committee within the FARM-track Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Alwyn Goodloe NASA Langley Research Center Author of Copilot 3.0: a Haskell runtime verification framework for UAVs within the HIW 2019-track in HIW 2019
Gemma Gordon University of Cambridge Session Chair of Experience (part of OCaml) Author of The OCaml Platform in 2019 within the OCaml 2019-track in OCaml 2019
Sergei Gorlatch Author of Generating Efficient FFT GPU Code with Lift within the FHPNC-track in FHPNC 2019
Ivan Gotovchits Carnegie Mellon University United States Committee Member in Program Committee within the OCaml-track
Daniel Gratzer Aarhus University Denmark Author of Implementing a Modal Dependent Type Theory within the Research Papers-track in ICFP 2019
Christian Uldal Graulund IT University of Copenhagen Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming Without Space Leaks within the Research Papers-track in ICFP 2019
Kathryn E. Gray Facebook United Kingdom PLMW Co-Chair in Organizing Committee within the PLMW @ ICFP-track
Michael Greenberg Pomona College Committee Member in External Review Committee within the ICFP Research Papers-track
Rudi Grinberg OCaml Labs Author of MirageOS 4: the dawn of practical build systems for exotic targets within the OCaml 2019-track in OCaml 2019
Sarah Groff Hennigh-Palermo Committee Member in Program Committee within the FARM-track
Adrien Guatto IRIF, Université Paris Diderot France Committee Member in External Review Committee within the ICFP Research Papers-track
Matthias Güdemann IOHK Germany Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Jennifer Hackett University of Nottingham, UK United Kingdom Workshops Co-Chair in Organizing Committee for ICFP 2019 Author of Call-By-Need is Clairvoyant Call-By-Value within the Research Papers-track in ICFP 2019 Committee Member in Program Committee within the Haskell-track Committee Member in External Review Committee within the ICFP Research Papers-track
Andreas Haeberlen University of Pennsylvania, USA Author of Fuzzi: A Three-Level Logic for Differential Privacy within the Research Papers-track in ICFP 2019
Simon Hafner Author of Folding/Unfolding with Scala within the Tutorials-track in ICFP 2019
Jurriaan Hage Utrecht University, Netherlands Author of Status Update on the Helium for Haskell compiler within the HIW 2019-track in HIW 2019
William T. Hallahan Yale University Author of G2Q: Haskell Constraint Solving within the Haskell 2019-track in Haskell 2019
Mary Hall University of Utah Committee Member in Program Committee within the FHPNC-track
Aliya Hameer McGill University Author of Teaching the Art of Functional Programming Using Automated Grading (Experience Report) within the Research Papers-track in ICFP 2019
Kevin Hamlen University of Texas at Dallas, USA Author of Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren within the miniKanren 2019-track in miniKanren 2019
Martin A. T. Handley University of Nottingham, UK Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Yan Han University of Cambridge Author of Analyzing Music with Prefix Trees within the FARM 2019-track in FARM 2019
Joseph Harrison University of Kent, UK United Kingdom Author of Runtime Type Safety for Erlang/OTP Behaviours within the Erlang 2019-track in Erlang 2019
Junji Hashimoto GREE, Inc. Author of Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings (extended abstract) within the FHPNC-track in FHPNC 2019
Kyle Headley The University of Alabama at Birmingham United States Author of Visualizing Abstract Abstract Machines within the Scheme 2019-track in Scheme 2019
Sune Hellfritzsch University of Copenhagen Author of Compiling Generalised Histograms for GPU (extended abstract) within the FHPNC-track in FHPNC 2019
Jason Hemann Indiana University, USA PC Member in Organizing Committee within the Scheme-track Committee Member in Program Committee within the miniKanren-track
Joe Hendrix Galois, Inc. Author of Dependently Typed Haskell in Industry (Experience Report) within the Research Papers-track in ICFP 2019
Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital Denmark Session Chair of Arrays (part of FHPNC) Committee Member in Program Committee within the FHPNC-track
Troels Henriksen University of Copenhagen, Denmark Denmark Author of Compositional Deep Learning in Futhark within the FHPNC-track in FHPNC 2019 Author of Compiling Generalised Histograms for GPU (extended abstract) within the FHPNC-track in FHPNC 2019 Committee Member in External Review Committee within the ICFP Research Papers-track
Kihong Heo University of Pennsylvania, USA United States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Daniel Hillerström The University of Edinburgh United Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Torben Hoffmann Programme Committee in Program Committee within the Erlang-track
Eric Holk Google Committee Member in Program Committee within the miniKanren-track
Nathan Holland O(1) Labs Author of Lessons from building a succinct blockchain with OCaml within the OCaml 2019-track in OCaml 2019
Cătălin Hriţcu Inria Paris France Author of Dijkstra Monads for All within the Research Papers-track in ICFP 2019
Autsin Huang Author of Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings (extended abstract) within the FHPNC-track in FHPNC 2019
Michael Hueschen IOHK United States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Chung-Kil Hur Seoul National University Korea, South Committee Member in External Review Committee within the ICFP Research Papers-track
Graham Hutton University of Nottingham, UK United Kingdom Author of Call-By-Need is Clairvoyant Call-By-Value within the Research Papers-track in ICFP 2019
Hans Höglund Tweag I/O Committee Member in Program Committee within the FARM-track
Roberto Ierusalimschy PUC-Rio Brazil Committee Member in External Review Committee within the ICFP Research Papers-track
Atsushi Igarashi Kyoto University, Japan Japan Member at large in Steering Committee for ICFP 2019 Committee Member in Program Committee within the ML-track
Sean Innes University of Bristol Author of Tic Tac Types (Functional Pearl) within the TyDe 2019-track in TyDe 2019
Michal J. Gajda Author of Make your ETL pipeline with DataHaskell, JSON AutoType and XML TypeLift within the Tutorials-track in ICFP 2019
Koen Jacobs KU Leuven Author of How to do proofs? Practically proving properties about effectful programs' results (functional pearl) within the TyDe 2019-track in TyDe 2019
David Janin Bordeaux INP / CNRS LaBRI / Bordeaux University France Session Chair of Music Generation (part of FARM) Author of Screaming in the IO monad within the FARM 2019-track in FARM 2019 Committee Member in Program Committee within the FARM-track
Patrik Jansson Chalmers University of Technology Sweden Author of An Algebra of Sequential Decision Problems within the TyDe 2019-track in TyDe 2019
Mauro Jaskelioff CONICET, Argentina Argentina Author of Monad Transformers and Modular Algebraic Effects: What Binds Them Together within the Haskell 2019-track in Haskell 2019
Jean-Baptiste Jeannin University of Michigan, USA Author of Programming with Rational Coinductive Streams within the ML 2019-track in ML 2019
Alan Jeffrey Mozilla Research United States Industrial Relations Chair in Steering Committee for ICFP 2019 Industrial Relations Chair in Organizing Committee for ICFP 2019
Ranjit Jhala University of California, San Diego United States Committee Member in External Review Committee within the ICFP Research Papers-track
Zhao Jinxu Author of A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference within the Research Papers-track in ICFP 2019
Mark Jones Portland State University ICFP'17 Program Chair in Steering Committee for ICFP 2019
Simon Peyton Jones Microsoft, UK Author of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2019-track in PLMW @ ICFP 2019 Author of GHC status report within the HIW 2019-track in HIW 2019 Author of Making a Faster Curry with Extensional Types within the Haskell 2019-track in Haskell 2019 Author of Higher-order Type-level Programming in Haskell within the Research Papers-track in ICFP 2019 Author of Efficient Differentiable Programming in a Functional Array-Processing Language within the Research Papers-track in ICFP 2019 Committee Member in Speakers within the PLMW @ ICFP-track
Jacques-Henri Jourdan CNRS, LRI, Université Paris-Sud France Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the ICFP Research Papers-track
Ralf Jung MPI-SWS Germany Session Chair of Verified Compilation (part of ICFP Research Papers) Committee Member in External Review Committee within the ICFP Research Papers-track
Ohad Kammar University of Edinburgh United Kingdom Committee Member in External Review Committee within the ICFP Research Papers-track
Ta-Chu Kao Computational and Biological Learning Lab, Department of Engineering, University of Cambridge Author of OwlDE: making ODEs first-class Owl citizens within the OCaml 2019-track in OCaml 2019
Georgios Karachalias KU Leuven, Belgium Belgium Author of Bidirectional Type Class Instances within the Haskell 2019-track in Haskell 2019
Andy Keep Cisco Systems, Inc Author of Afternoon Keynote within the Scheme 2019-track in Scheme 2019 Author of Rebuilding Racket on Chez Scheme (Experience Report) within the Research Papers-track in ICFP 2019 PC Member in Organizing Committee within the Scheme-track
Sven Keidel JGU Mainz Germany Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Chantal Keller LRI, Université Paris-Sud France Committee Member in Program Committee within the TyDe-track
Gabriele Keller Utrecht University Australia Session Chair of Orthogonal Bases (part of FHPNC) Session Chair of Verification (part of FHPNC) Committee Member in Program Committee within the FHPNC-track
Tom Kelly OCaml Labs Author of Benchmarking the OCaml compiler: our experience within the OCaml 2019-track in OCaml 2019
Andrew Kennedy Facebook London United Kingdom Committee Member in Program Committee within the ICFP Research Papers-track
Anton Kholomiov HXR team Author of Csound-expression: Haskell framework for computer music within the FARM 2019-track in FARM 2019
Oleg Kiselyov Author of let (rec) insertion without effects, lights or magic within the ML 2019-track in ML 2019 Committee Member in External Review Committee within the ICFP Research Papers-track
Csongor Kiss Imperial College London United Kingdom Author of Multi-Stage Programs in Context within the Haskell 2019-track in Haskell 2019 Author of Higher-order Type-level Programming in Haskell within the Research Papers-track in ICFP 2019
Andreas Klebinger Author of Tagging Tags: Inferring the presence of pointer tags at compile time. within the HIW 2019-track in HIW 2019
Felix Klein Saarland University Germany Author of Synthesizing Functional Reactive Programs within the Haskell 2019-track in Haskell 2019
Wen Kokke University of Edinburgh United Kingdom 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 Artifact Evaluation Committee within the ICFP Research Artifacts-track
Ekaterina Komendantskaya Heriot-Watt University, UK Committee Member in Program Committee within the TyDe-track
Chaitanya Koparkar Indiana University United States Author of The Gibbon Compiler: Accelerating a small subset of Haskell within the HIW 2019-track in HIW 2019
Igor Kopestenski Université Catholique de Louvain Belgium Author of Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks within the Erlang 2019-track in Erlang 2019
Joomy Korkut Princeton University, USA United States Author of Lightning talk: Commanding Emacs from Coq within the Scheme 2019-track in Scheme 2019
Paulette Koronkevich University of British Columbia Author of Reigniting Fuse, an Online Partial Evaluator for Scheme within the Scheme 2019-track in Scheme 2019
Hsiang-Shang ‘Josh’ Ko National Institute of Informatics, Japan Taiwan Committee Member in Program Committee within the TyDe-track Committee Member in External Review Committee within the ICFP Research Papers-track
Neel Krishnaswami Computer Laboratory, University of Cambridge Author of Analyzing Music with Prefix Trees within the FARM 2019-track in FARM 2019
Robert Krook Chalmers University of Technology Author of An Algebra of Sequential Decision Problems within the TyDe 2019-track in TyDe 2019
Akihiro Kubota Committee Member in Program Committee within the FARM-track
Bastian Köpcke University of Münster Author of Generating Efficient FFT GPU Code with Lift within the FHPNC-track in FHPNC 2019
Torbjörn Lager Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg Author of Intro to Web Prolog for Erlangers within the Erlang 2019-track in Erlang 2019
Julien Lange University of Kent United Kingdom Programme Committee in Program Committee within the Erlang-track
Victor Lanvin IRIF, Université Paris Diderot, France France Student Volunteer Co-Chair in Organizing Committee for ICFP 2019 Student Volunteer Co-Chair in Committee within the ICFP Student Volunteering-track
Jakob Lechner RUAG Space Austria GmbH Author of Formal Verification of Spacecraft Control Programs: An Experience Report within the Haskell 2019-track in Haskell 2019
Daan Leijen Microsoft Research, USA United States Committee Member in Program Committee within the ICFP Research Papers-track
Mu Lei Author of gLua: A modern Lua transpiler in Scheme within the Scheme 2019-track in Scheme 2019
John Leo Halfaya Research United States Author of Demo: Counterpoint by Construction within the FARM 2019-track in FARM 2019
Rodolphe Lepigre Max Planck Institute for Software Systems Germany Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Xavier Leroy Collège de France France Author of Invited Talk within the OCaml 2019-track in OCaml 2019
Nicholas V. Lewchenko University of Colorado Boulder United States Author of Sequential Programming for Replicated Data Stores within the Research Papers-track in ICFP 2019
Ondřej Lhoták University of Waterloo Canada Committee Member in External Review Committee within the ICFP Research Papers-track
Dan Licata Wesleyan University United States Committee Member in External Review Committee within the ICFP Research Papers-track
Vilem-Benjamin Liepelt University of Kent, UK United Kingdom Author of Quantitative program reasoning with graded modal types within the Research Papers-track in ICFP 2019 Author of Fine-grained program reasoning using linear and graded modal types within the Tutorials-track in ICFP 2019
Adam Lindberg Peer Stritzinger GmbH Germany Author of Scaling Erlang Distribution within the Erlang 2019-track in Erlang 2019
Bert Lindenhovius Tulane University Author of Mixed Linear and Non-linear Recursive Types within the Research Papers-track in ICFP 2019
Sam Lindley The University of Edinburgh and Imperial College London United Kingdom Author of Effect handler oriented programming within the PLMW @ ICFP 2019-track in PLMW @ ICFP 2019 Author of (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the ML 2019-track in ML 2019 Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the TyDe 2019-track in TyDe 2019 Committee Member in Speakers within the PLMW @ ICFP-track
Ben Lippmeier UNSW Australia Australia Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2019 Co-chair in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Fengyun Liu EPFL, Switzerland Switzerland Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Petr Lozov Sain Petersburg State University, SPbGU Author of Relational Interpreters for Search Problems within the miniKanren 2019-track in miniKanren 2019
Ioan Luca University of Strathclyde Romania Author of An Idris Foreign Function Interface to OCaml within the ML 2019-track in ML 2019
Georgy Lukyanov Newcastle University, UK United Kingdom Author of Formal Verification of Spacecraft Control Programs: An Experience Report within the Haskell 2019-track in Haskell 2019 Author of Selective Applicative Functors within the Research Papers-track in ICFP 2019
Gilmore R. Lundquist Author of Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren within the miniKanren 2019-track in miniKanren 2019
Kuang-Chen Lu Indiana University, USA Taiwan Author of Towards a miniKanren with fair search strategies within the miniKanren 2019-track in miniKanren 2019
Anil Madhavapeddy OCaml Labs United Kingdom Author of The OCaml Platform in 2019 within the OCaml 2019-track in OCaml 2019 Author of MirageOS 4: the dawn of practical build systems for exotic targets within the OCaml 2019-track in OCaml 2019
Kenji Maillard Inria Paris and ENS Paris Author of Dijkstra Monads for All within the Research Papers-track in ICFP 2019
Solomon Maina University of Pennsylvania Author of Synthesizing Symmetric Lenses within the Research Papers-track in ICFP 2019
Geoffrey Mainland Drexel University, USA Committee Member in External Review Committee within the ICFP Research Papers-track
Cyprien Mangin Author of Equations Reloaded: High-Level Dependently-Typed Functional Programming and Proving in Coq within the Research Papers-track in ICFP 2019
Klara Mardirosian KU Leuven Belgium Author of Coherence of Type Class Resolution within the Research Papers-track in ICFP 2019
Simon Marlow Facebook Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2019 Author of Selective Applicative Functors within the Research Papers-track in ICFP 2019 Committee Member in External Review Committee within the ICFP Research Papers-track Co-chair in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Guido Martínez CIFASIS-CONICET, Argentina Argentina Author of Dijkstra Monads for All within the Research Papers-track in ICFP 2019 Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Gustavo E. Massaccesi Universidad de Buenos Aires Author of Rebuilding Racket on Chez Scheme (Experience Report) within the Research Papers-track in ICFP 2019
Kazutaka Matsuda Tohoku University, Japan Japan Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the ICFP Student Research Competition-track Committee Member in Program Committee within the ICFP Research Papers-track
Kiminori Matsuzaki Kochi University of Technology, Japan Japan Committee Member in Program Committee within the FHPNC-track
Håkan Mattsson Author of Lux - an expect like test tool written in Erlang within the Erlang 2019-track in Erlang 2019
Weixi Ma Author of Towards a miniKanren with fair search strategies within the miniKanren 2019-track in miniKanren 2019
Micaela Mayero LIPN, Université Paris 13 France Author of Formal Verification of Scientific Computing Programs within the FHPNC-track in FHPNC 2019
Conor McBride Invited Speaker of Cubes, Cats, Effects within the TyDe 2019-track in TyDe 2019
Trevor L. McDonell Utrecht University Netherlands Author of Keynote within the FHPNC-track in FHPNC 2019 Committee Member in Program Committee within the Haskell-track
Hannes Mehnert Committee Member in Program Committee within the OCaml-track
Christopher Meiklejohn Carnegie Mellon University United States Programme Committee in Program Committee within the Erlang-track
Orestis Melkonian Utrecht University Greece Author of Music as Language: Putting Probabilistic Temporal Graph Grammars to Good Use within the FARM 2019-track in FARM 2019 Author of What Constitutes a Musical Pattern? within the FARM 2019-track in FARM 2019 Author of Formal Investigation of the Extended UTxO Model within the TyDe 2019-track in TyDe 2019
Darius Mercadier Sorbonne Universités —UPMC Univ Paris 06 Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Denis Merigoux INRIA France Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Sébastien Merle Peer Stritzinger GmbH Author of Scaling Erlang Distribution within the Erlang 2019-track in Erlang 2019
Claudio Antares Mezzina Programme Committee in Program Committee within the Erlang-track
Jesse Michel Massachusetts Institute of Technology Author of Sound and robust solid modeling via exact real arithmetic and continuity within the Research Papers-track in ICFP 2019
Kristopher Micinski Syracuse University United States General Chair in Organizing Committee within the Scheme-track Comfy Chair in Organizing Committee within the Scheme-track
Matthew Might University of Alabama at Birmingham \| Harvard Medical School United States Author of First-order miniKanren representation: Great for tooling and search within the miniKanren 2019-track in miniKanren 2019
Anders Miltner Princeton University Author of Synthesizing Symmetric Lenses within the Research Papers-track in ICFP 2019
Victor Cacciari Miraldo Utrecht University, Netherlands Author of An Efficient Algorithm for Type-Safe Structural Diffing within the Research Papers-track in ICFP 2019
Michael Mislove Tulane Author of Mixed Linear and Non-linear Recursive Types within the Research Papers-track in ICFP 2019
Agustín Mista Chalmers University of Technology Sweden Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Evgenii Moiseenko Author of Constructive Negation for miniKanren within the miniKanren 2019-track in miniKanren 2019
Andrey Mokhov Newcastle University, UK United Kingdom Author of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2019-track in PLMW @ ICFP 2019 Author of Formal Verification of Spacecraft Control Programs: An Experience Report within the Haskell 2019-track in Haskell 2019 Author of Selective Applicative Functors within the Research Papers-track in ICFP 2019 Committee Member in Speakers within the PLMW @ ICFP-track
Stefan Monnier Université de Montréal Author of Inductive types deconstructed within the TyDe 2019-track in TyDe 2019
David Moon Author of Livelits: Filling Typed Holes with Live GUIs within the TyDe 2019-track in TyDe 2019 Author of Flexible Structure Editing of Well-Typed Expressions within the TyDe 2019-track in TyDe 2019
Akimasa Morihata University of Tokyo Japan Author of Lambda Calculus with Algebraic Simplification for Reduction Parallelization by Equational Reasoning within the Research Papers-track in ICFP 2019 Committee Member in External Review Committee within the ICFP Research Papers-track
J. Garrett Morris University of Kansas, USA United States Committee Member in Program Committee within the TyDe-track
Felix Mulder Programme Committee in Program Committee within the Erlang-track
Stefan K. Muller Carnegie Mellon University United States Author of Fairness in Responsive Parallelism within the Research Papers-track in ICFP 2019
Guillaume Munch-Maccagnoni Inria France Author of Efficient Deconstruction with Typed Pointer Reversal within the ML 2019-track in ML 2019 Committee Member in External Review Committee within the ICFP Research Papers-track
Shin-Cheng Mu Academia Sinica, Taiwan Committee Member in External Review Committee within the ICFP Research Papers-track
Áron Attila Mészáros Eötvös Lóránd University Author of Tools supporting green computing in Erlang within the Erlang 2019-track in Erlang 2019
Anders Mörtberg Department of Mathematics, Stockholm University Sweden Author of Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types within the Research Papers-track in ICFP 2019
Rasmus Ejlers Møgelberg IT University of Copenhagen Denmark Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming Without Space Leaks within the Research Papers-track in ICFP 2019
Yutaka Nagashima Data61, Australia Author of Towards Machine Learning Induction in Poly/ML within the ML 2019-track in ML 2019
Gergely Nagy Eötvös Lóránd University Author of Tools supporting green computing in Erlang within the Erlang 2019-track in Erlang 2019
Praveen Narayanan Indiana University, USA Author of From high-level inference algorithms to efficient code within the Research Papers-track in ICFP 2019
Ryan R. Newton Indiana University United States Author of The Gibbon Compiler: Accelerating a small subset of Haskell within the HIW 2019-track in HIW 2019 Author of Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances within the Haskell 2019-track in Haskell 2019
Rumyana Neykova Brunel University London United Kingdom Programme Committee in Program Committee within the Erlang-track
Kim Nguyễn University of Paris-Sud, France Committee Member in External Review Committee within the ICFP Research Papers-track
Yuki Nishida Kyoto University Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Ulf Norell Gothenburg University Sweden Committee Member in External Review Committee within the ICFP Research Papers-track
Felipe Ignacio Noriega Robot Theater Electronics Author of The sound of lambda within the FARM 2019-track in FARM 2019
Andreas Nuyts KU Leuven, Belgium Belgium Author of How to do proofs? Practically proving properties about effectful programs' results (functional pearl) within the TyDe 2019-track in TyDe 2019 Author of Reasoning about Effect Parametricity Using Dependent Types within the TyDe 2019-track in TyDe 2019
Boldizsár Németh Eötvös Loránd University Author of Working with Source Plugins within the Haskell 2019-track in Haskell 2019
Michael O'Boyle University of Edinburgh Author of Augmenting Type Signatures for Program Synthesis within the TyDe 2019-track in TyDe 2019
Liam O'Connor UNSW Australia Author of Deferring the Details and Deriving Programs within the TyDe 2019-track in TyDe 2019
Cosmin Oancea University of Copenhagen, Denmark Denmark Author of Functional Approach to Acceleration of Monte Carlo Simulation for American Option Pricing (extended abstract) within the FHPNC-track in FHPNC 2019 Author of Compiling Generalised Histograms for GPU (extended abstract) within the FHPNC-track in FHPNC 2019
Atsushi Ohori Tohoku University, Japan Committee Member in External Review Committee within the ICFP Research Papers-track
Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong Hong Kong Author of A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference within the Research Papers-track in ICFP 2019 Committee Member in Program Committee within the ICFP Research Papers-track
Cyrus Omar University of Chicago United States Author of Livelits: Filling Typed Holes with Live GUIs within the TyDe 2019-track in TyDe 2019 Author of Flexible Structure Editing of Well-Typed Expressions within the TyDe 2019-track in TyDe 2019 Committee Member in Program Committee within the ML-track Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Dominic Orchard University of Kent, UK United Kingdom Author of Quantitative program reasoning with graded modal types within the Research Papers-track in ICFP 2019 Author of Fine-grained program reasoning using linear and graded modal types within the Tutorials-track in ICFP 2019
Peter-Michael Osera Grinnell College United States Author of Constraint-based Type-directed Program Synthesis within the TyDe 2019-track in TyDe 2019
Klaus Ostermann University of Tübingen, Germany Germany Committee Member in Program Committee within the ICFP Research Papers-track
Leo Osvald Purdue University, USA Author of Compiling with Continuations, or without? Whatever. within the Research Papers-track in ICFP 2019
Rex Page University of Oklahoma Committee Member in External Review Committee within the ICFP Research Papers-track
Jens Palsberg University of California, Los Angeles SIGPLAN Chair in Steering Committee for ICFP 2019
Zoe Paraskevopoulou Princeton University United States Session Chair of Types (part of ICFP Research Papers) Session Chair of Session 3 (part of ML) Author of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2019-track in PLMW @ ICFP 2019 Author of Closure Conversion is Safe for Space within the Research Papers-track in ICFP 2019 Committee Member in Program Committee within the ML-track Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Speakers within the PLMW @ ICFP-track
Carinna Parraman University of West of England Author of Fun with Interfaces (SVG Interfaces for Musical Expression) within the FARM 2019-track in FARM 2019
Grant Passmore Imandra Inc. Invited Speaker of Keynote: An Introduction to the Imandra Automated Reasoning System within the ML 2019-track in ML 2019
Daniel Patterson Northeastern University United States Author of The Next 700 Compiler Correctness Theorems. A Functional Pearl. within the Research Papers-track in ICFP 2019
Koen Pauwels KU Leuven Author of Bidirectional Type Class Instances within the Haskell 2019-track in Haskell 2019
Wojciech Michal Pawlak University of Copenhagen, Denmark Denmark Author of Functional Approach to Acceleration of Monte Carlo Simulation for American Option Pricing (extended abstract) within the FHPNC-track in FHPNC 2019
Jennifer Paykin Galois, Inc. United States Session Chair of Type Theory (part of ICFP Research Papers) Committee Member in Program Committee within the ICFP Research Papers-track
Andor Penzes Author of Write you a mini-GRIN, a unified compiler back-end for lazy and strict FP languages. within the Tutorials-track in ICFP 2019
Ivan Perez NIA / NASA Formal Methods Author of Mobile Game Programming in Haskell within the FARM 2019-track in FARM 2019 Author of Copilot 3.0: a Haskell runtime verification framework for UAVs within the HIW 2019-track in HIW 2019 Committee Member in Program Committee within the Haskell-track
Frank Pfenning Carnegie Mellon University, USA Committee Member in Program Committee within the ICFP Research Papers-track
Matthew Pickering University of Bristol United Kingdom Author of HIE files in GHC 8.8 within the HIW 2019-track in HIW 2019 Author of Configuration, but without CPP within the HIW 2019-track in HIW 2019 Author of Multi-Stage Programs in Context within the Haskell 2019-track in Haskell 2019 Author of Working with Source Plugins within the Haskell 2019-track in Haskell 2019
Brigitte Pientka McGill University Author of Teaching the Art of Functional Programming Using Automated Grading (Experience Report) within the Research Papers-track in ICFP 2019
Benjamin C. Pierce University of Pennsylvania United States SIGPLAN Vice Chair in Steering Committee for ICFP 2019 Author of Fuzzi: A Three-Level Logic for Differential Privacy within the Research Papers-track in ICFP 2019 Author of Synthesizing Symmetric Lenses within the Research Papers-track in ICFP 2019
Frank Piessens KU Leuven Author of Linear capabilities for fully abstract compilation of separation-logic-verified code within the Research Papers-track in ICFP 2019
Igor Pikovets Session Chair of Applications (part of OCaml) Committee Member in Program Committee within the OCaml-track
Maciej Piróg University of Wrocław Poland Author of Monad Transformers and Modular Algebraic Effects: What Binds Them Together within the Haskell 2019-track in Haskell 2019
Ruzica Piskac Yale University, USA Author of G2Q: Haskell Constraint Solving within the Haskell 2019-track in Haskell 2019 Author of Synthesizing Functional Reactive Programs within the Haskell 2019-track in Haskell 2019
Clément Pit-Claudel MIT CSAIL Author of Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats within the Research Papers-track in ICFP 2019
Federico Pizzuti University of Edinburgh Author of Position-Dependent Arrays and Their Applicationfor High Performance Code Generation within the FHPNC-track in FHPNC 2019
Lucas Pluvinage ENS Paris France Author of MirageOS 4: the dawn of practical build systems for exotic targets within the OCaml 2019-track in OCaml 2019
Nadia Polikarpova University of California, San Diego United States Committee Member in Program Committee within the Haskell-track Committee Member in External Review Committee within the ICFP Research Papers-track
François Pottier Inria, France France ICFP'19 Program Chair in Steering Committee for ICFP 2019 Program Chair in Organizing Committee for ICFP 2019 Session Chair of Tuesday Keynote (part of ICFP Keynotes and Reports) Session Chair of Wednesday Keynote (part of ICFP Keynotes and Reports) Author of Program Chair's Report within the Keynotes and Reports-track in ICFP 2019 Program Chair in Program Committee within the ICFP Research Papers-track
Jonathan Protzenko Microsoft Research, Redmond United States Session Chair of Lambda-Calculus & Teaching (part of ICFP Research Papers) Committee Member in External Review Committee within the ICFP Research Papers-track
Pierre-Marie Pédrot INRIA Author of A Reasonably Exceptional Type Theory within the Research Papers-track in ICFP 2019
Donya Quick Stevens Institute of Technology United States Session Chair of Live-Coding (part of FARM) Author of A Functional Model of Jazz Improvisation within the FARM 2019-track in FARM 2019 General Chair in Organizing Committee within the FARM-track
Weihao Qu University at Buffalo, SUNY Author of Relational Cost Analysis for Functional-Imperative Programs within the Research Papers-track in ICFP 2019
Azalea Raad MPI-SWS, Germany United Kingdom Committee Member in Program Committee within the ICFP Student Research Competition-track
Arjun Radhakrishna Microsoft Author of Sequential Programming for Replicated Data Stores within the Research Papers-track in ICFP 2019
Mike Rainey Indiana University, USA United States Committee Member in Program Committee within the ICFP Research Papers-track
Norman Ramsey Tufts University United States Committee Member in Program Committee within the Haskell-track
Tristan Ravitch Galois, Inc. Author of Dependently Typed Haskell in Industry (Experience Report) within the Research Papers-track in ICFP 2019
Nathan Rebours Tarides Author of The future of OCaml PPX: towards a unified and more robust ecosystem within the OCaml 2019-track in OCaml 2019
Nathan Renney University of West of England Author of Fun with Interfaces (SVG Interfaces for Musical Expression) within the FARM 2019-track in FARM 2019
Iris Ren University of Utrecht Committee Member in Program Committee within the FARM-track
John Reppy University of Chicago Author of Compiling Successor ML Pattern Guards within the ML 2019-track in ML 2019
Alban Reynaud ENS Lyon Author of A right-to-left type system for value recursion within the ML 2019-track in ML 2019
Tom Ridge University of Leicester, UK Author of A Key-Value store for OCaml within the ML 2019-track in ML 2019
Kenji Rikitake Kenji Rikitake Professional Engineer's Office Programme Committee in Program Committee within the Erlang-track
Adam Ringwood Endgame Author of Makecloud: Simple, Fast, Robust CI/CD for the modern era within the OCaml 2019-track in OCaml 2019
Norman A. Rink TU Dresden, Germany Author of STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism within the Haskell 2019-track in Haskell 2019
Exequiel Rivas Inria Paris Author of Dijkstra Monads for All within the Research Papers-track in ICFP 2019
Christine Rizkallah UNSW Sydney Australia Session Chair of Paper Session 5: FRP (part of Haskell) Committee Member in Program Committee within the Haskell-track
Tiark Rompf Purdue University United States Author of Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator within the Research Papers-track in ICFP 2019 Author of Compiling with Continuations, or without? Whatever. within the Research Papers-track in ICFP 2019 Committee Member in External Review Committee within the ICFP Research Papers-track
Gregory Rosenblatt Author of First-order miniKanren representation: Great for tooling and search within the miniKanren 2019-track in miniKanren 2019
Andreas Rossberg Dfinity Stiftung Germany Member at large in Steering Committee for ICFP 2019 Session Chair of Session 2 (part of ML) Committee Member in Program Committee within the ML-track Committee Member in External Review Committee within the ICFP Research Papers-track
Aaron Roth University of Pennsylvania, USA Author of Fuzzi: A Three-Level Logic for Differential Privacy within the Research Papers-track in ICFP 2019
Edo Roth University of Pennsylvania Author of Fuzzi: A Three-Level Logic for Differential Privacy within the Research Papers-track in ICFP 2019
Dmitry Rozplokhas Author of Certified Semantics for miniKanren within the miniKanren 2019-track in miniKanren 2019
Alejandro Russo Chalmers University of Technology, Sweden Argentina 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
Sukyoung Ryu KAIST, South Korea Korea, South ICFP'21 General Chair in Steering Committee for ICFP 2019
Thomas Réfis Committee Member in Program Committee within the OCaml-track
Justus Sagemüller Western Norway University of Applied Sciences Norway Author of Lazy Evaluation in Infinite-Dimensional Function Spaces with Wavelet Basis within the FHPNC-track in FHPNC 2019
Konstantinos (Kostis) Sagonas Uppsala University, Sweden Sweden Committee Member in External Review Committee within the ICFP Research Papers-track
Alex Sanchez-Stern University of California, San Diego United States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Mark Santolucito Yale University, USA Author of Synthesizing Functional Reactive Programs within the Haskell 2019-track in Haskell 2019
Abhiroop Sarkar Chalmers University of Technology Author of Hailstorm : A statically typed functional language for systems programming (extended abstract) within the FHPNC-track in FHPNC 2019
Annabel Satin P.C.K. Conference Manager in Organizing Committee for ICFP 2019
Gabriel Scherer INRIA Saclay France Session Chair of Session 4 (part of ML) Author of A right-to-left type system for value recursion within the ML 2019-track in ML 2019
Alan Schmitt Inria Author of Necro: Animating Skeletons within the ML 2019-track in ML 2019
Christophe Scholliers Universiteit Gent, Belgium Workshops Co-Chair in Organizing Committee for ICFP 2019
Tom Schrijvers KU Leuven Author of Monad Transformers and Modular Algebraic Effects: What Binds Them Together within the Haskell 2019-track in Haskell 2019 Author of Bidirectional Type Class Instances within the Haskell 2019-track in Haskell 2019 Author of A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference within the Research Papers-track in ICFP 2019 Author of Coherence of Type Class Resolution within the Research Papers-track in ICFP 2019
Ryan Scott Indiana University at Bloomington, USA United States Author of Visible dependent quantification within the HIW 2019-track in HIW 2019 Author of Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances within the Haskell 2019-track in Haskell 2019
Eric Seidel Bloomberg LP United States Session Chair of Paper Session 3: SMT & Arity (part of Haskell) Committee Member in Program Committee within the Haskell-track
Taro Sekiyama National Institute of Informatics Japan Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Ilya Sergey Yale-NUS College and National University of Singapore Singapore Programming Contest Organizer in Organizing Committee for ICFP 2019 Author of Functional Programming is Everywhere within the PLMW @ ICFP 2019-track in PLMW @ ICFP 2019 Author of Programming Contest Report within the Keynotes and Reports-track in ICFP 2019 Committee Member in Speakers within the PLMW @ ICFP-track
Marcello Seri Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen Author of OwlDE: making ODEs first-class Owl citizens within the OCaml 2019-track in OCaml 2019
Alejandro Serrano Utrecht University, Netherlands Netherlands Committee Member in Program Committee within the Haskell-track
Niels G. W. Serup DIKU, University of Copenhagen Denmark Author of Compiling Generalised Histograms for GPU (extended abstract) within the FHPNC-track in FHPNC 2019
Amir Shaikhha University of Oxford Author of Efficient Differentiable Programming in a Functional Array-Processing Language within the Research Papers-track in ICFP 2019
Chung-chieh Shan Indiana University, USA Author of From high-level inference algorithms to efficient code within the Research Papers-track in ICFP 2019 Committee Member in Program Committee within the TyDe-track Committee Member in Program Committee within the ICFP Research Papers-track
Ben Shapiro University of Colorado, Boulder United States Author of Flexible Structure Editing of Well-Typed Expressions within the TyDe 2019-track in TyDe 2019
Tim Sheard Portland State University Committee Member in Program Committee within the TyDe-track
Mary Sheeran Member at large in Steering Committee for ICFP 2019 Author of Hailstorm : A statically typed functional language for systems programming (extended abstract) within the FHPNC-track in FHPNC 2019 Author of Safety at speed: In-place array algorithms from pure functional programs by safely re-using storage within the FHPNC-track in FHPNC 2019 Keynote Speaker of Gender equality in academia: meeting the challenge within the Haskell 2019-track in Haskell 2019 Committee Member in Program Committee within the FHPNC-track
Benjamin Sherman Massachusetts Institute of Technology, USA United States Author of Sound and robust solid modeling via exact real arithmetic and continuity within the Research Papers-track in ICFP 2019
Olin Shivers Northeastern University, USA Steering Committee Member in Organizing Committee within the Scheme-track
Jesse Sigal University of Edinburgh United Kingdom Author of GSoC Student Report 2 within the FHPNC-track in FHPNC 2019
Satnam Singh Google Research United States Author of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2019-track in PLMW @ ICFP 2019 Author of Haskell Use and Abuse at Scale within the HIW 2019-track in HIW 2019 Keynote Speaker of Haskell Use and Abuse at Scale within the Haskell 2019-track in Haskell 2019 Committee Member in Speakers within the PLMW @ ICFP-track
KC Sivaramakrishnan IIT Madras India Session Chair of Session 1 (part of ML) Chair in Organizing Committee within the ML-track Chair in Program Committee within the ML-track Committee Member in Program Committee within the OCaml-track Committee Member in External Review Committee within the ICFP Research Papers-track
Xujie Si University of Pennsylvania Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Michal Slaski Erlang Solutions Ltd. Poland Author of Towards Online Profiling of Erlang Systems within the Erlang 2019-track in Erlang 2019
Nicholas Smallbone Chalmers University of Technology, Sweden Author of Safety at speed: In-place array algorithms from pure functional programs by safely re-using storage within the FHPNC-track in FHPNC 2019 Committee Member in External Review Committee within the ICFP Research Papers-track
Calvin Smith University of Wisconsin - Madison United States Author of Synthesizing Differentially Private Programs within the Research Papers-track in ICFP 2019
Matthieu Sozeau Inria France Author of Equations Reloaded: High-Level Dependently-Typed Functional Programming and Proving in Coq within the Research Papers-track in ICFP 2019 Committee Member in External Review Committee within the ICFP Research Papers-track
Sarah Spall Indiana University Author of Rebuilding Racket on Chez Scheme (Experience Report) within the Research Papers-track in ICFP 2019
Michael Sperber Active Group GmbH Germany Author of Functional Software Architecture within the Tutorials-track in ICFP 2019 Author of Teaching functional programming within the Tutorials-track in ICFP 2019 Performance Co-Chair in Organizing Committee within the FARM-track
Sam Staton University of Oxford Committee Member in Program Committee within the ICFP Research Papers-track
Leo Stefanesco IRIF, University Paris Diderot & CNRS France Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Dominic Steinitz Tweag I/O United Kingdom Session Chair of Machine Learning (part of FHPNC) Session Chair of Accelerate (part of FHPNC) Organizer in Organizing Committee within the FHPNC-track
Jonathan Sterling Carnegie Mellon University Author of Implementing a Modal Dependent Type Theory within the Research Papers-track in ICFP 2019
Michel Steuwer University of Glasgow United Kingdom Author of Position-Dependent Arrays and Their Applicationfor High Performance Code Generation within the FHPNC-track in FHPNC 2019 Author of Generating Efficient FFT GPU Code with Lift within the FHPNC-track in FHPNC 2019
Sam Stites Sentenai United States Author of Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings (extended abstract) within the FHPNC-track in FHPNC 2019
Quentin Stiévenart Vrije Universiteit Brussel, Belgium Belgium Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Jan Stolarek University of Edinburgh, UK United Kingdom Author of (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the ML 2019-track in ML 2019 Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the TyDe 2019-track in TyDe 2019
Peer Stritzinger Peer Stritzinger GmbH Author of Introduction to the Erlang Ecosystem Foundation within the Erlang 2019-track in Erlang 2019 Author of Scaling Erlang Distribution within the Erlang 2019-track in Erlang 2019
Pierre-Yves Strub Ecole Polytechnique France Committee Member in Program Committee within the ICFP Research Papers-track
Sandro Stucki Chalmers \| University of Gothenburg Sweden Committee Member in External Review Committee within the ICFP Research Papers-track
Zachary Sullivan Author of Making a Faster Curry with Extensional Types within the Haskell 2019-track in Haskell 2019
Eijiro Sumii Tohoku University Committee Member in Program Committee within the TyDe-track
Sorawit Suriyakarn Author of Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats within the Research Papers-track in ICFP 2019
Hans Svensson Quviq AB Author of Gaining Trust by Tracing Security Protocols within the Erlang 2019-track in Erlang 2019
Wouter Swierstra Utrecht University, Netherlands Netherlands Author of What Constitutes a Musical Pattern? within the FARM 2019-track in FARM 2019 Author of Generic Enumerators within the TyDe 2019-track in TyDe 2019 Author of Formal Investigation of the Extended UTxO Model within the TyDe 2019-track in TyDe 2019 Author of An Efficient Algorithm for Type-Safe Structural Diffing within the Research Papers-track in ICFP 2019 Author of A predicate transformer semantics for effects (Functional Pearl) within the Research Papers-track in ICFP 2019
Don Syme Microsoft Committee Member in External Review Committee within the ICFP Research Papers-track
Dmitrij Szamozvancev University of Cambridge Committee Member in Program Committee within the FARM-track
Nicolas Tabareau Inria France Author of A Reasonably Exceptional Type Theory within the Research Papers-track in ICFP 2019
Éric Tanter University of Chile & Inria Paris Chile Author of A Reasonably Exceptional Type Theory within the Research Papers-track in ICFP 2019 Author of Approximate Normalization for Gradual Dependent Types within the Research Papers-track in ICFP 2019 Author of Dijkstra Monads for All within the Research Papers-track in ICFP 2019
Zachary Tatlock University of Washington United States Committee Member in External Review Committee within the ICFP Research Papers-track
Kelland Thomas Stevens Institute of Technology Author of A Functional Model of Jazz Improvisation within the FARM 2019-track in FARM 2019
Amin Timany imec-Distrinet KU-Leuven Belgium Author of Mechanized Relational Verification of Concurrent Programs with Continuations within the Research Papers-track in ICFP 2019 Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Sam Tobin-Hochstadt Indiana University United States Publicity Chair in Steering Committee for ICFP 2019 Publicity Chair in Organizing Committee for ICFP 2019 Author of From high-level inference algorithms to efficient code within the Research Papers-track in ICFP 2019 Author of Rebuilding Racket on Chez Scheme (Experience Report) within the Research Papers-track in ICFP 2019 PC Member in Organizing Committee within the Scheme-track Committee Member in External Review Committee within the ICFP Research Papers-track
Anish Tondwalkar UCSD Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Emina Torlak University of Washington United States Author of Solver-Aided Programming for All within the Keynotes and Reports-track in ICFP 2019
Melinda Toth Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd. Hungary Author of Tools supporting green computing in Erlang within the Erlang 2019-track in Erlang 2019 Programme Committee in Program Committee within the Erlang-track
Deifilia To Author of GSoC Student Report 1 within the FHPNC-track in FHPNC 2019
Duc Minh Tran DIKU, University of Copenhagen Author of Compositional Deep Learning in Futhark within the FHPNC-track in FHPNC 2019
Semen Trygubenko Author of Building C++ project with Shake within the Tutorials-track in ICFP 2019
Takeshi Tsukada University of Tokyo, Japan Japan Committee Member in External Review Committee within the ICFP Research Papers-track
Kanae Tsushima National Institute of Informatics, Japan Japan Committee Member in Program Committee within the miniKanren-track
Wojciech Turek AGH University of Science and Technology Author of Towards Online Profiling of Erlang Systems within the Erlang 2019-track in Erlang 2019
Tarmo Uustalu Reykjavik University Iceland Committee Member in External Review Committee within the ICFP Research Papers-track
Benoit Valiron LRI, CentraleSupelec, Univ. Paris Saclay France Committee Member in External Review Committee within the ICFP Research Papers-track
David Van Horn University of Maryland, USA United States Author of Welcome within the PLMW @ ICFP 2019-track in PLMW @ ICFP 2019 PLMW Co-Chair in Organizing Committee within the PLMW @ ICFP-track
Peter Van Roy Université catholique de Louvain Belgium Author of Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks within the Erlang 2019-track in Erlang 2019
Thomas Van Strydonck KULeuven Author of Linear capabilities for fully abstract compilation of separation-logic-verified code within the Research Papers-track in ICFP 2019
Jasper Van der Jeugt Fugue Switzerland Committee Member in Program Committee within the HIW-track
Niki Vazou IMDEA Software Institute Session Chair of Keynote (part of Haskell) Author of Types and verification within the PLMW @ ICFP 2019-track in PLMW @ ICFP 2019 Author of Social activity within the PLMW @ ICFP 2019-track in PLMW @ ICFP 2019 Author of HiW'19 report within the HIW 2019-track in HIW 2019 Chair in Program Committee within the HIW-track Committee Member in Speakers within the PLMW @ ICFP-track
Anne Veinberg anne veinberg Author of The sound of lambda within the FARM 2019-track in FARM 2019
Niccolò Veltri IT University of Copenhagen Denmark Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Ekaterina Verbitskaia Saint Petersburg State University, Russia Author of Relational Interpreters for Search Problems within the miniKanren 2019-track in miniKanren 2019
Olivier Verdier Author of Lazy Evaluation in Infinite-Dimensional Function Spaces with Wavelet Basis within the FHPNC-track in FHPNC 2019
Andrea Vezzosi Chalmers University of Technology Author of Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types within the Research Papers-track in ICFP 2019
German Vidal Universitat Politecnica de Valencia Spain Committee Member in Program Committee within the ICFP Research Papers-track
Antoine Voizard University of Pennsylvannia Author of A Role for Dependent Types in Haskell within the Research Papers-track in ICFP 2019
Anja Volk Utrecht University Author of What Constitutes a Musical Pattern? within the FARM 2019-track in FARM 2019
Michael Vollmer Indiana University, USA United States Author of The Gibbon Compiler: Accelerating a small subset of Haskell within the HIW 2019-track in HIW 2019
Ian Voysey Carnegie Mellon University Author of Livelits: Filling Typed Holes with Live GUIs within the TyDe 2019-track in TyDe 2019
Andrey Vyatkin Author of Certified Semantics for miniKanren within the miniKanren 2019-track in miniKanren 2019
Dimitrios Vytiniotis DeepMind United Kingdom Author of Efficient Differentiable Programming in a Functional Array-Processing Language within the Research Papers-track in ICFP 2019
Philip Wadler University of Edinburgh, UK United Kingdom Author of Programming Language Foundations in Agda within the Tutorials-track in ICFP 2019
Rajan Walia Indiana University Author of From high-level inference algorithms to efficient code within the Research Papers-track in ICFP 2019
David Walker Princeton University United States Author of Synthesizing Symmetric Lenses within the Research Papers-track in ICFP 2019
Yuting Wang Yale University Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Fei Wang Author of Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator within the Research Papers-track in ICFP 2019
Stephanie Weirich University of Pennsylvania, USA United States ICFP'20 General Chair in Steering Committee for ICFP 2019 Author of A Role for Dependent Types in Haskell within the Research Papers-track in ICFP 2019
Guannan Wei Purdue University Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Sam Westrick Carnegie Mellon University Author of Fairness in Responsive Parallelism within the Research Papers-track in ICFP 2019
Leo White Jane Street Author of Syntax with Shifted Names within the TyDe 2019-track in TyDe 2019 Author of Lambda: the Ultimate Sublanguage (Experience Report) within the Research Papers-track in ICFP 2019
John Wiegley Committee Member in Program Committee within the Haskell-track
Thomas Winant Well-Typed LLP Belgium Committee Member in Program Committee within the Haskell-track
Andy Wingo Igalia, S.L. Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Daniel Winograd-Cort Target Corp United States Session Chair of Program Analysis & Synthesis (part of ICFP Research Papers) Session Chair of Musical Patterns (part of FARM) Committee Member in External Review Committee within the ICFP Research Papers-track Program Chair in Organizing Committee within the FARM-track
Xilun Wu Purdue University Author of Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator within the Research Papers-track in ICFP 2019
Nicolas Wu Imperial College London United Kingdom Author of Tic Tac Types (Functional Pearl) within the TyDe 2019-track in TyDe 2019 Author of Multi-Stage Programs in Context within the Haskell 2019-track in Haskell 2019 Author of Working with Source Plugins within the Haskell 2019-track in Haskell 2019 Author of Monad Transformers and Modular Algebraic Effects: What Binds Them Together within the Haskell 2019-track in Haskell 2019 Committee Member in External Review Committee within the ICFP Research Papers-track
Ningning Xie The University of Hong Kong China Session Chair of Metadata (part of HIW) Session Chair of Paper Session 2: Verification (part of Haskell) Author of Coherence of Type Class Resolution within the Research Papers-track in ICFP 2019 Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the HIW-track Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Anton Xue Yale University Author of G2Q: Haskell Constraint Solving within the Haskell 2019-track in Haskell 2019
Jeremy Yallop University of Cambridge, UK Author of let (rec) insertion without effects, lights or magic within the ML 2019-track in ML 2019 Author of A right-to-left type system for value recursion within the ML 2019-track in ML 2019 Author of Lambda: the Ultimate Sublanguage (Experience Report) within the Research Papers-track in ICFP 2019
Yuji Yamamoto IIJ Innovation Institute, Japan Japan Author of Lightning talk: Simulate Bind with IxApplicative within the HIW 2019-track in HIW 2019
Qianchuan Ye Purdue University Author of Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats within the Research Papers-track in ICFP 2019
Brent Yorgey Hendrix College United States Session Chair of GHC (part of HIW) Committee Member in Program Committee within the HIW-track
Hailey Young University of Pennsylvania Committee Member in Program Committee within the FARM-track
Ki Yung Ahn Hannam University South Korea Session Chair of Paper Session 6: Effects (part of Haskell) Committee Member in Program Committee within the Haskell-track
Iris Yuping Ren Utrecht University Author of What Constitutes a Musical Pattern? within the FARM 2019-track in FARM 2019
Mona Zahir University of Chicago Author of Compiling Successor ML Pattern Guards within the ML 2019-track in ML 2019
Vladimir Zamdzhiev University of Lorraine, CNRS, Inria, LORIA Author of Mixed Linear and Non-linear Recursive Types within the Research Papers-track in ICFP 2019
Steve Zdancewic University of Pennsylvania United States Author of Synthesizing Symmetric Lenses within the Research Papers-track in ICFP 2019
Christina Zeller Keera Studios Ltd Author of Mobile Game Programming in Haskell within the FARM 2019-track in FARM 2019
Jon Zeppieri Author of Rebuilding Racket on Chez Scheme (Experience Report) within the Research Papers-track in ICFP 2019
Lisa Zhang University of Toronto Session Chair of Session 2 (part of miniKanren) Author of First-order miniKanren representation: Great for tooling and search within the miniKanren 2019-track in miniKanren 2019
Hengchu Zhang University of Pennsylvania Author of Fuzzi: A Three-Level Logic for Differential Privacy within the Research Papers-track in ICFP 2019
Jianxin Zhao University of Cambridge Author of Executing Owl Computation on GPU and TPU within the OCaml 2019-track in OCaml 2019
Dan Zheng Purdue University, Google Brain Author of Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator within the Research Papers-track in ICFP 2019
Marco Zocca DataHaskell, Combient AB Sweden Organizing Chair in Organizing Committee within the FHPNC-track
Erik de Castro Lopo IOHK Australia Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
emilio tuosto University of Leicester United Kingdom Programme Committee in Program Committee within the Erlang-track
Cas van der Rest Utrecht University Author of Generic Enumerators within the TyDe 2019-track in TyDe 2019
Ezgi Çiçek Facebook London United Kingdom Committee Member in Program Committee within the ICFP Research Papers-track

ICFP 2019 Contributors

Results (503)

Tracks

Workshops

Co-hosted Symposiums