ICFP 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (329)

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 Acar Carnegie Mellon University Author of Fairness in Responsive Parallelism within the Research Papers-track in ICFP 2019
Michael D. Adams University of Utah United States PC Member in Organizing Committee within the Scheme-track Committee Member in External Review Committee within the ICFP Research Papers-track
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 The Next 700 Compiler Correctness Theorems. A Functional Pearl. within the Research Papers-track in ICFP 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
David Allsopp University of Cambridge United Kingdom 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 University of Cambridge United Kingdom 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
Andrew Appel Princeton Author of Closure Conversion is Safe for Space within the Research Papers-track in ICFP 2019
Thomas Arts Quviq Programme Committee in Program Committee within the Erlang-track
Robert Atkey University of Strathclyde 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
Christiaan Baaij QBayLogic B.V. Netherlands 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 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
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 Author of Coherence of Type Class Resolution within the Research Papers-track in ICFP 2019
Raja Boujbel Committee Member in Program Committee within the OCaml-track
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 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
Edwin Brady University of St. Andrews, UK United Kingdom Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the TyDe-track
Joachim Breitner DFINITY Foundation Germany Committee Member in Program Committee within the ICFP Research Papers-track
William E. Byrd University of Alabama at Birmingham, USA United States 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
Jose Calderon Galois, Inc. United States 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 Robust and sound 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
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
Manuel Chakravarty Tweag I/O & IOHK Netherlands 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 Committee Member in External Review Committee within the ICFP Research Papers-track
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
Adam Chlipala Massachusetts Institute of Technology, USA United States 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
Benjamin Chung Northeastern University United States Video Co-Chair in Organizing Committee for ICFP 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
Youyou Cong Tokyo Institute of Technology Japan 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
Simon Cruanes Committee Member in Program Committee within the OCaml-track
Pierre-Evariste Dagand LIP6/CNRS France Committee Member in Program Committee within the ICFP Research Papers-track
David Darais University of Vermont United States 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
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é Paris Diderot France Committee Member in External Review Committee within the ICFP Research Papers-track
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 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
Jeremie Dimino Jane Street Europe Author of Selective Applicative Functors within the Research Papers-track in ICFP 2019
Christos Dimoulas 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
Derek Dreyer MPI-SWS Germany ICFP'19 General Chair in Steering Committee for ICFP 2019 General Chair in Organizing Committee for ICFP 2019
Timo Dufner HS Furtwangen Performance Chair in Organizing Committee within the FARM-track
Sandra Dylus University of Kiel, Germany Germany Student Volunteer Co-Chair in Organizing Committee for ICFP 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
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 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
Conal Elliott Target, USA United States Committee Member in External Review Committee within the ICFP Research Papers-track
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
Gregory Essertel Author of Compiling with Continuations, or without? Whatever. within the Research Papers-track in ICFP 2019 Author of Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator 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
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
Kathleen Fisher Tufts University, USA United States Author of Synthesizing Symmetric Lenses within the Research Papers-track in ICFP 2019
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
Jon Forsyth Oscilloscape Committee Member in Program Committee within the FARM-track
Nate Foster Cornell University United States PLMW Co-Chair in Organizing Committee within the PLMW @ ICFP-track
Adrian Francalanza University of Malta Malta Program Co-Chair in Program Committee within the Erlang-track Co-chair in Organizing Committee within the Erlang-track
Daniel P. Friedman Indiana University, USA 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 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
Thomas Gazagnaire Tarides France Committee Member in Program Committee within the OCaml-track
Jeremy Gibbons Department of Computer Science, University of Oxford United Kingdom ICFP'17 General Chair in Steering Committee for 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
Thomas Gilray University of Maryland 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
April Gonçalves Roskilde University, Denmark Committee Member in Program Committee within the FARM-track Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Ivan Gotovchits Carnegie Mellon University United States Committee Member in Program Committee within the OCaml-track
Daniel Gratzer 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
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
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
Martin A. T. Handley University of Nottingham, UK Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
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) Denmark Committee Member in Program Committee within the FHPNC-track
Troels Henriksen University of Copenhagen, Denmark Denmark 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
Cătălin Hriţcu Inria Paris France Author of Dijkstra Monads for All within the Research Papers-track in ICFP 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
David Janin Bordeaux INP / CNRS LaBRI / Bordeaux University France Committee Member in Program Committee within the FARM-track
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 Efficient Differentiable Programming in a Functional Array-Processing Language within the Research Papers-track in ICFP 2019 Author of Higher-order Type-level Programming in Haskell within the Research Papers-track in ICFP 2019
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 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
Andy Keep Cisco Systems, Inc 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 Committee Member in Program Committee within the FHPNC-track
Andrew Kennedy Facebook London United Kingdom Committee Member in Program Committee within the ICFP Research Papers-track
R. Kent Dybvig Cisco Systems, Inc Author of Rebuilding Racket on Chez Scheme (Experience Report) within the Research Papers-track in ICFP 2019
Oleg Kiselyov Committee Member in External Review Committee within the ICFP Research Papers-track
Csongor Kiss Imperial College London United Kingdom Author of Higher-order Type-level Programming in Haskell within the Research Papers-track in ICFP 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
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
Akihiro Kubota Committee Member in Program Committee within the FARM-track
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
Daan Leijen Microsoft Research, USA United States Committee Member in Program Committee within the ICFP Research Papers-track
Rodolphe Lepigre Max Planck Institute for Software Systems Germany Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Nicholas V. Lewchenko University of Colorado Boulder 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
Bert Lindenhovius Tulane University Author of Mixed Linear and Non-linear Recursive Types within the Research Papers-track in ICFP 2019
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
Georgy Lukyanov Newcastle University, UK United Kingdom Author of Selective Applicative Functors within the Research Papers-track in ICFP 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 within the Research Papers-track in ICFP 2019
Klara Mardirosian 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
Trevor L. McDonell Utrecht University Netherlands 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
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
Claudio Antares Mezzina Programme Committee in Program Committee within the Erlang-track
Jesse Michel Massachusetts Institute of Technology Author of Robust and sound 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
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
Andrey Mokhov Newcastle University, UK Author of Selective Applicative Functors within the Research Papers-track in ICFP 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 Author of Fairness in Responsive Parallelism within the Research Papers-track in ICFP 2019
Guillaume Munch-Maccagnoni Inria France 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
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
Praveen Narayanan Indiana University, USA Author of From high-level inference algorithms to efficient code within the Research Papers-track in ICFP 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
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 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
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 (UCLA) SIGPLAN Chair in Steering Committee for ICFP 2019
Zoe Paraskevopoulou Princeton University United States 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
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
Jennifer Paykin Galois, Inc. United States Committee Member in Program Committee within the ICFP Research Papers-track
Ivan Perez NIA / NASA Formal Methods 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
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 Committee Member in Program Committee within the OCaml-track
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
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 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 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 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 Poster and Presentation Judges within the ICFP Student Research Competition-track 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
Iris Ren University of Utrecht Committee Member in Program Committee within the FARM-track
Kenji Rikitake Kenji Rikitake Professional Engineer's Office Programme Committee in Program Committee within the Erlang-track
Exequiel Rivas Inria Paris Author of Dijkstra Monads for All within the Research Papers-track in ICFP 2019
Christine Rizkallah UNSW Sydney Australia Committee Member in Program Committee within the Haskell-track
Tiark Rompf Purdue University United States Author of Compiling with Continuations, or without? Whatever. within the Research Papers-track in ICFP 2019 Author of Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator within the Research Papers-track in ICFP 2019 Committee Member in External Review Committee within the ICFP Research Papers-track
Andreas Rossberg Dfinity Germany Member at large in Steering Committee for ICFP 2019 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
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
Konstantinos (Kostis) Sagonas Uppsala University 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
Annabel Satin P.C.K. Conference Manager in Organizing Committee for ICFP 2019
Christophe Scholliers Universiteit Gent, Belgium Workshops Co-Chair in Organizing Committee for ICFP 2019
Tom Schrijvers KU Leuven Author of Coherence of Type Class Resolution within the Research Papers-track in ICFP 2019 Author of A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference within the Research Papers-track in ICFP 2019
Eric Seidel Bloomberg LP United States 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 Programming Contest Report within the Keynotes and Reports-track in ICFP 2019
Alejandro Serrano Utrecht University, Netherlands Netherlands Committee Member in Program Committee within the Haskell-track
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
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 Committee Member in Program Committee within the FHPNC-track
Benjamin Sherman Massachusetts Institute of Technology, USA United States Author of Robust and sound 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
KC Sivaramakrishnan Indian Institute of Technology, Madras India 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
Nicholas Smallbone Chalmers University of Technology, Sweden 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 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 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 Organizing Committee 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
Quentin Stiévenart Vrije Universiteit Brussel, Belgium Belgium Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
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
Eijiro Sumii Tohoku University Committee Member in Program Committee within the TyDe-track
S.P. Suresh Chennai Mathematical Institute Committee Member in Program Committee within the FARM-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
Wouter Swierstra Utrecht University, Netherlands Netherlands 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 Dijkstra Monads for All within the Research Papers-track in ICFP 2019 Author of Approximate Normalization for Gradual Dependent Types 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
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 Programme Committee in Program Committee within the Erlang-track
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
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 PLMW Co-Chair in Organizing Committee within the PLMW @ ICFP-track
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 Chair in Program Committee within the HIW-track
Niccolò Veltri IT University of Copenhagen Denmark Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
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
Dimitrios Vytiniotis Microsoft Research, Cambridge Author of Efficient Differentiable Programming in a Functional Array-Processing Language within the Research Papers-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 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 University of Pennsylvania United States 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 Committee Member in External Review Committee within the ICFP Research Papers-track
Ningning Xie The University of Hong Kong China 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
Jeremy Yallop University of Cambridge, UK Author of Lambda: the Ultimate Sublanguage (Experience Report) within the Research Papers-track in ICFP 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 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 Committee Member in Program Committee within the Haskell-track
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
Jon Zeppieri Author of Rebuilding Racket on Chez Scheme (Experience Report) within the Research Papers-track in ICFP 2019
Hengchu Zhang University of Pennsylvania Author of Fuzzi: A Three-Level Logic for Differential Privacy within the Research Papers-track in ICFP 2019
Daniel Zheng Purdue University 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 Committee 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
Ezgi Çiçek Facebook London United Kingdom Committee Member in Program Committee within the ICFP Research Papers-track

ICFP 2019 Contributors

Results (329)

Tracks

Co-hosted Workshops

Co-hosted Symposiums