ICFP 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (504)

A Andreas AbelAbel, Andreas Gothenburg UniversitySweden Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types
Umut A. AcarAcar, Umut A. Carnegie Mellon University Fairness in Responsive Parallelism
Justus AdamAdam, Justus Technische Universität DresdenGermany STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
Michael D. AdamsAdams, Michael D. University of MichiganUnited States Session Chair of Compilation & Parallelism (part of ICFP Research Papers) Stack-Liberated Abstract Garbage Collection PC Member in Organizing Committee within the Scheme-track Committee Member in External Review Committee within the ICFP Research Papers-track
Alejandro AguirreAguirre, Alejandro IMDEA Software Institute, Spain Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Danel AhmanAhman, Danel University of LjubljanaSlovenia Dijkstra Monads for All
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Managing your research, your advisor, your PhD Panel Discussion: Research in Functional Programming The Next 700 Compiler Correctness Theorems. A Functional Pearl. Committee Member in Speakers within the PLMW @ ICFP-track
Cons T AhsAhs, Cons T Cisco Sweden AB Lux - an expect like test tool written in Erlang
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-Madison Synthesizing Differentially Private Programs
Maximilian AlgehedAlgehed, Maximilian Chalmers University of Technology, Sweden Simple Noninterference from Parametricity
Guillaume AllaisAllais, Guillaume University of StrathclydeUnited Kingdom Generic Level Polymorphic N-ary Functions
David AllsoppAllsopp, David University of CambridgeUnited Kingdom Session Chair of Ecosystem (part of OCaml) Welcome 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 AlvesAlves, Sandra University of PortoPortugal Committee Member in Program Committee within the TyDe-track
Claire AlvisAlvis, Claire Committee Member in Program Committee within the miniKanren-track
Nada AminAmin, Nada Harvard UniversityUnited States Analyzing Music with Prefix Trees Co-chair in Organizing Committee within the miniKanren-track
Leif AndersenAndersen, Leif Northeastern University, USA Video Co-Chair in Organizing Committee for ICFP 2019 PC Member in Organizing Committee within the Scheme-track
Florian AngelettiAngeletti, Florian Codept, a whole-project dependency analyzer for OCaml
Heinrich ApfelmusApfelmus, Heinrich independentGermany Demo: Functors and Music
Andrew AppelAppel, Andrew Princeton Closure Conversion is Safe for Space
Zena M. AriolaAriola, Zena M. University of Oregon, USA Making a Faster Curry with Extensional Types
Markus AronssonAronsson, Markus Safety at speed: In-place array algorithms from pure functional programs by safely re-using storage
Thomas ArtsArts, Thomas Quviq Gaining Trust by Tracing Security Protocols Programme Committee in Program Committee within the Erlang-track
Robert AtkeyAtkey, Robert University of Strathclyde Session Chair of The Real World (part of ICFP Research Papers) An Idris Foreign Function Interface to OCaml Dijkstra Monads for All Committee Member in External Review Committee within the ICFP Research Papers-track
Lennart AugustssonAugustsson, Lennart Haskell Use and Abuse at Scale Haskell Use and Abuse at Scale
B Christiaan BaaijBaaij, Christiaan QBayLogic B.V.Netherlands Session Chair of Paper Session 4: Metaprogramming (part of Haskell) Committee Member in Program Committee within the Haskell-track
Tim BaanenBaanen, Tim Utrecht University A predicate transformer semantics for effects (Functional Pearl)
Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming Without Space Leaks
Andrej BauerBauer, Andrej University of LjubljanaSlovenia Derivations as computations
Julia BelyakovaBelyakova, Julia Northeastern University, USARussia Committee Member in Program Committee within the TyDe-track
Clara Benac EarleBenac Earle, Clara Universidad Politécnica de MadridSpain Gaining Trust by Tracing Security Protocols Programme Committee in Program Committee within the Erlang-track
Lars BergstromBergstrom, Lars Mozilla Research Committee Member in Program Committee within the ML-track
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States Committee Member in Program Committee within the ICFP Research Papers-track
Jean-Philippe BernardyBernardy, Jean-Philippe University of Gothenburg Simple Noninterference from Parametricity
Utsav BhattBhatt, Utsav Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren
Aggelos BiboudisBiboudis, Aggelos EPFL, SwitzerlandSwitzerland Committee Member in Program Committee within the ML-track
Annette BieniusaBieniusa, Annette Technischen Universität KaiserslauternGermany Programme Committee in Program Committee within the Erlang-track
Lars BirkedalBirkedal, Lars Aarhus University Implementing a Modal Dependent Type Theory Mechanized Relational Verification of Concurrent Programs with Continuations
Gert-Jan BottuBottu, Gert-Jan KU LeuvenBelgium Coherence of Type Class Resolution
Amirouche BoubekkiBoubekki, Amirouche SRFI-167, SRFI-168 and the functional store
Raja BoujbelBoujbel, Raja Committee Member in Program Committee within the OCaml-track
Dmitri BoulytchevBoulytchev, Dmitri Session Chair of Session 4 (part of miniKanren) Certified Semantics for miniKanren Relational Interpreters for Search Problems
Timothy BourkeBourke, Timothy INRIAFrance Committee Member in Program Committee within the OCaml-track
William J. BowmanBowman, William J. University of British ColumbiaCanada 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óBozó, István Eötvös Loránd University Tools supporting green computing in Erlang
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Session Chair of Generic Programming and Synthesis (part of TyDe) Session Chair of Session 5 (part of ML) Morning Keynote Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the TyDe-track
Joachim BreitnerBreitner, Joachim DFINITY FoundationGermany Session Chair of Dependent Types in Haskell (part of ICFP Research Papers) Social activity Demo: Kaleidogen Committee Member in Program Committee within the ICFP Research Papers-track Committee Member in Speakers within the PLMW @ ICFP-track
Niels BunkenburgBunkenburg, Niels University of Kiel, GermanyGermany Verifying Effectful Haskell Programs in Coq
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States Tutorial on miniKanren First-order miniKanren representation: Great for tooling and search 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ärenzBärenz, Manuel sonnen eServices GmbH The essence of live coding: Change the program, keep the state!
C Romain CalascibettaCalascibetta, Romain TaridesFrance MirageOS 4: the dawn of practical build systems for exotic targets
Jose CalderonCalderon, Jose Galois, Inc.United States Session Chair of Compilers (part of HIW) Session Chair of Paper Session 1: Classes & Instances (part of Haskell) Tagging Tags: Inferring the presence of pointer tags at compile time. Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the HIW-track
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States Sound and robust solid modeling via exact real arithmetic and continuity
Jacques CaretteCarette, Jacques McMaster UniversityCanada From high-level inference algorithms to efficient code
Hezekiah CartyCarty, Hezekiah Endgame Makecloud: Simple, Fast, Robust CI/CD for the modern era
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
Laura M. CastroCastro, Laura M. University of A CoruñaSpain Committee Member in Program Committee within the ICFP Research Papers-track
Martín CeresaCeresa, Martín Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Pavol CernyCerny, Pavol University of Colorado BoulderSlovakia Sequential Programming for Replicated Data Stores
Francesco CesariniCesarini, Francesco Programme Committee in Program Committee within the Erlang-track
Joris CeulemansCeulemans, Joris KU LeuvenBelgium Reasoning about Effect Parametricity Using Dependent Types
Manuel ChakravartyChakravarty, Manuel Tweag I/O & IOHKNetherlands Generic Enumerators Formal Investigation of the Extended UTxO Model Blockchains are functional Committee Member in Program Committee within the HIW-track
Avik ChaudhuriChaudhuri, Avik Facebook, USA Committee Member in Program Committee within the ML-track
Natalia ChechinaChechina, Natalia Bournemouth UniversityUnited Kingdom Programme Committee in Program Committee within the Erlang-track
Liang-Ting ChenChen, Liang-Ting Swansea University, UKTaiwan Monadic typed tactic programming by reflection
Sheng ChenChen, Sheng University of Louisiana at LafayetteUnited States Committee Member in External Review Committee within the ICFP Research Papers-track
Zilin ChenChen, Zilin Data61, CSIRO and UNSWAustralia Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
James CheneyCheney, James University of Edinburgh, UKUnited States (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism FreezeML: Complete and Easy Type Inference for First-Class Polymorphism Committee Member in External Review Committee within the ICFP Research Papers-track
Steven CheungCheung, Steven University of Birmingham, UK Transparent Synchronous Dataflow
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Session Chair of Program Verification (part of ICFP Research Papers) Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats Committee Member in External Review Committee within the ICFP Research Papers-track
Pritam ChoudhuryChoudhury, Pritam University of Pennsylvania A Role for Dependent Types in Haskell
David Thrane ChristiansenChristiansen, David Thrane Galois, USAUnited States Dependently Typed Haskell in Industry (Experience Report) Verifying Imperative Programs with SAW
Jan ChristiansenChristiansen, Jan Flensburg University of Applied Sciences, Germany Verifying Effectful Haskell Programs in Coq
Ravi ChughChugh, Ravi University of Chicago Livelits: Filling Typed Holes with Live GUIs
Benjamin ChungChung, Benjamin Northeastern UniversityUnited States Video Co-Chair in Organizing Committee for ICFP 2019
Koen ClaessenClaessen, Koen Chalmers University of Technology Safety at speed: In-place array algorithms from pure functional programs by safely re-using storage
Xavier ClercClerc, Xavier ocamljava.org The future of OCaml PPX: towards a unified and more robust ecosystem
Will ClingerClinger, Will Steering Committee Member in Organizing Committee within the Scheme-track
Jesper CockxCockx, Jesper Chalmers \| University of GothenburgSweden Committee Member in Program Committee within the TyDe-track
Bruce CollieCollie, Bruce University of Edinburgh Augmenting Type Signatures for Program Synthesis
Nick CollinsCollins, Nick University of Chicago Livelits: Filling Typed Holes with Live GUIs
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Session Chair of Sound (part of FARM) Demo: Counterpoint by Construction Compiling with Continuations, or without? Whatever. Committee Member in Program Committee within the FARM-track Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Evelyne ContejeanContejean, Evelyne Committee Member in External Review Committee within the ICFP Research Papers-track
Mistral ContrastinContrastin, Mistral University of Cambridge, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Nathanaël CourantCourant, Nathanaël INRIA Necro: Animating Skeletons
Enzo CranceCrance, Enzo INSA Rennes Necro: Animating Skeletons
Simon CruanesCruanes, Simon Committee Member in Program Committee within the OCaml-track
Ryan CulpepperCulpepper, Ryan Czech Technical UniversityCzech Republic Syntax Templates In Racket
D Pierre-Evariste DagandDagand, Pierre-Evariste LIP6/CNRS France Committee Member in Program Committee within the ICFP Research Papers-track
David DaraisDarais, David University of VermontUnited 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 DarulovaDarulova, Eva MPI-SWSGermany Committee Member in Program Committee within the FHPNC-track
Kei DavisDavis, Kei Los Alamos National LaboratoryUnited States Committee Member in Program Committee within the FHPNC-track
Erik de Castro Lopode Castro Lopo, Erik IOHKAustralia Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
James DeckerDecker, James Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator
Frank DeddenDedden, Frank Royal Netherlands Aerospace CenterNetherlands Copilot 3.0: a Haskell runtime verification framework for UAVs
Benjamin DelawareDelaware, Benjamin Purdue University Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats Committee Member in Program Committee within the Haskell-track
Germán Andrés DelbiancoDelbianco, Germán Andrés IRIF - Université de ParisFrance Committee Member in External Review Committee within the ICFP Research Papers-track
Michiel DerhaegDerhaeg, Michiel Guardsquare Bidirectional Type Class Instances
Caner DericiDerici, Caner Indiana University Rebuilding Racket on Chez Scheme (Experience Report)
Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium Session Chair of Modal Types (part of ICFP Research Papers) Explicit Dictionary Applications - From Theory to Practice? How to do proofs? Practically proving properties about effectful programs' results (functional pearl) Reasoning about Effect Parametricity Using Dependent Types Modular effects in Haskell through effect polymorphism and explicit dictionary applications - A new approach and the μVeriFast verifier as a case study Linear capabilities for fully abstract compilation of separation-logic-verified code Committee Member in External Review Committee within the ICFP Research Papers-track
Iavor DiatchkiDiatchki, Iavor Galois, Inc. Dependently Typed Haskell in Industry (Experience Report) Verifying Imperative Programs with SAW
Jeremie DiminoDimino, Jeremie Jane Street Europe The future of OCaml PPX: towards a unified and more robust ecosystem Selective Applicative Functors
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States Committee Member in Program Committee within the ICFP Research Papers-track
Robert DockinsDockins, Robert Galois, Inc. Dependently Typed Haskell in Industry (Experience Report)
Stephen DolanDolan, Stephen Syntax with Shifted Names
Rémi DouenceDouence, Rémi IMT Atlantique Efficient Deconstruction with Typed Pointer Reversal
Paul DownenDownen, Paul University of Oregon, USA Making a Faster Curry with Extensional Types
Derek DreyerDreyer, Derek MPI-SWSGermany 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) How to give talks that people can follow Committee Member in Speakers within the PLMW @ ICFP-track
Christophe DubachDubach, Christophe University of EdinburghUnited Kingdom Position-Dependent Arrays and Their Applicationfor High Performance Code Generation
Timo DufnerDufner, Timo HS Furtwangen Performance Chair in Organizing Committee within the FARM-track
Zubin DuggalDuggal, Zubin HIE files in GHC 8.8 Solving Haskell equality constraints using Coq
R. Kent DybvigDybvig, R. Kent Cisco Systems, Inc Rebuilding Racket on Chez Scheme (Experience Report)
Sandra DylusDylus, Sandra University of Kiel, GermanyGermany Student Volunteer Co-Chair in Organizing Committee for ICFP 2019 Verifying Effectful Haskell Programs in Coq Student Volunteer Co-Chair in Committee within the ICFP Student Volunteering-track
E Harley D. Eades IIIEades III, Harley D. Augusta UniversityUnited States Quantitative program reasoning with graded modal types Fine-grained program reasoning using linear and graded modal types
Carl EastlundEastlund, Carl Jane Street Europe The future of OCaml PPX: towards a unified and more robust ecosystem
Satoshi EgiEgi, Satoshi Rakuten Institute of TechnologyJapan Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types
Susan EisenbachEisenbach, Susan Imperial College LondonUnited Kingdom Higher-order Type-level Programming in Haskell
Richard A. EisenbergEisenberg, Richard A. Bryn Mawr College, USAUnited States Session Chair of Types (part of ICFP Research Papers) Session Chair of Keynote (part of Haskell) PC Chair Report A Role for Dependent Types in Haskell Chair in Program Committee within the Haskell-track Committee Member in External Review Committee within the ICFP Research Papers-track
Anton EkbladEkblad, Anton Chalmers University of TechnologySweden Scoping Monadic Relational Database Queries
Conal ElliottElliott, Conal Target, USAUnited States Committee Member in External Review Committee within the ICFP Research Papers-track
Martin ElsmanElsman, Martin University of Copenhagen, DenmarkDenmark Functional Approach to Acceleration of Monte Carlo Simulation for American Option Pricing (extended abstract) Compositional Deep Learning in Futhark
Frank EmrichEmrich, Frank The University of Edinburgh (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Committee Member in External Review Committee within the ICFP Research Papers-track
Joseph EremondiEremondi, Joseph University of British ColumbiaCanada Approximate Normalization for Gradual Dependent Types
John EricsonEricson, John Obsidian Systems Configuration, but without CPP
Sebastian ErtelErtel, Sebastian STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
Gregory EssertelEssertel, Gregory Purdue University Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator Compiling with Continuations, or without? Whatever.
F Gian Pietro FarinaFarina, Gian Pietro University at Buffalo, SUNY Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Marc FeeleyFeeley, Marc Université de MontréalCanada Steering Committee Member in Organizing Committee within the Scheme-track
Hans FehrmannFehrmann, Hans University of Chile A Reasonably Exceptional Type Theory
Craig FergusonFerguson, Craig Tarides CausalRPC: traceable distributed computation
Tony FieldField, Tony Imperial College London Higher-order Type-level Programming in Haskell
Robby FindlerFindler, Robby Northwestern University, USAUnited States ICFP'18 General Chair in Steering Committee for ICFP 2019
Bernd FinkbeinerFinkbeiner, Bernd Synthesizing Functional Reactive Programs
Kathleen FisherFisher, Kathleen Tufts University, USAUnited States Time management, family, and quality of life Synthesizing Symmetric Lenses Committee Member in Speakers within the PLMW @ ICFP-track
Andrew FitzgibbonFitzgibbon, Andrew Microsoft Research, Cambridge Efficient Differentiable Programming in a Functional Array-Processing Language
Matthew FlattFlatt, Matthew University of UtahUnited States ICFP'18 Program Chair in Steering Committee for ICFP 2019 Rebuilding Racket on Chez Scheme (Experience Report)
Spencer P. FlorenceFlorence, Spencer P. 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 FluetFluet, Matthew Rochester Institute of TechnologyUnited States Committee Member in Program Committee within the ML-track
Nate FosterFoster, Nate Cornell UniversityUnited States PLMW Co-Chair in Organizing Committee within the PLMW @ ICFP-track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta ErlLounge Opening Closing Program Co-Chair in Program Committee within the Erlang-track Co-chair in Organizing Committee within the Erlang-track
Lars-Ake FredlundFredlund, Lars-Ake Gaining Trust by Tracing Security Protocols
Daniel P. FriedmanFriedman, Daniel P. Indiana University, USA Towards a miniKanren with fair search strategies Steering Committee Member in Organizing Committee within the Scheme-track
Scott Lystig FritchieFritchie, Scott Lystig Wallaroo LabsUnited States Programme Committee in Program Committee within the Erlang-track
Viktória FördősFördős, Viktória Cisco SystemsSweden ErlLounge Opening Closing Program Co-Chair in Program Committee within the Erlang-track Co-chair in Organizing Committee within the Erlang-track
G Marco GaboardiGaboardi, Marco University at Buffalo, SUNYUnited States Relational Cost Analysis for Functional-Imperative Programs
Emilio Jesús Gallego AriasGallego Arias, Emilio Jesús MINES ParisTechFrance Committee Member in Program Committee within the OCaml-track
Akash GaonkarGaonkar, Akash Sequential Programming for Replicated Data Stores
Ronald GarciaGarcia, Ronald University of British Columbia ICFP'21 Program Chair in Steering Committee for ICFP 2019 Approximate Normalization for Gradual Dependent Types
Deepak GargGarg, Deepak Max Planck Institute for Software SystemsGermany Relational Cost Analysis for Functional-Imperative Programs
Benedict R. GasterGaster, Benedict R. University of the West of England Fun with Interfaces (SVG Interfaces for Musical Expression)
Thomas GazagnaireGazagnaire, Thomas TaridesFrance Session Chair of Tools (part of OCaml) Committee Member in Program Committee within the OCaml-track
Kimball GermaneGermane, Kimball University of Utah Stack-Liberated Abstract Garbage Collection
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited 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) Panel Discussion: Research in Functional Programming 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 GilrayGilray, Thomas University of Maryland Session Chair of Session 3 (part of miniKanren)
Thomas GilrayGilray, Thomas The University of Alabama at BirminghamUnited States PC Chair in Organizing Committee within the Scheme-track
Thomas GilrayGilray, Thomas University of Maryland Committee Member in Program Committee within the miniKanren-track
Matthías Páll GissurarsonGissurarson, Matthías Páll Chalmers University of Technology, SwedenSweden HoleFitPlugins and the future of interactive development in GHC
Andrés GoensGoens, Andrés STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
April GonçalvesGonçalves, April 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 GoodloeGoodloe, Alwyn NASA Langley Research Center Copilot 3.0: a Haskell runtime verification framework for UAVs
Gemma GordonGordon, Gemma University of Cambridge Session Chair of Experience (part of OCaml) The OCaml Platform in 2019
Sergei GorlatchGorlatch, Sergei Generating Efficient FFT GPU Code with Lift
Ivan GotovchitsGotovchits, Ivan Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the OCaml-track
Daniel GratzerGratzer, Daniel Aarhus UniversityDenmark Implementing a Modal Dependent Type Theory
Christian Uldal GraulundGraulund, Christian Uldal IT University of Copenhagen Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming Without Space Leaks
Kathryn E. GrayGray, Kathryn E. FacebookUnited Kingdom PLMW Co-Chair in Organizing Committee within the PLMW @ ICFP-track
Michael GreenbergGreenberg, Michael Pomona College Committee Member in External Review Committee within the ICFP Research Papers-track
Rudi GrinbergGrinberg, Rudi OCaml Labs MirageOS 4: the dawn of practical build systems for exotic targets
Sarah Groff Hennigh-PalermoGroff Hennigh-Palermo, Sarah Committee Member in Program Committee within the FARM-track
Adrien GuattoGuatto, Adrien IRIF, Université Paris DiderotFrance Committee Member in External Review Committee within the ICFP Research Papers-track
Matthias GüdemannGüdemann, Matthias IOHKGermany Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
H Jennifer HackettHackett, Jennifer University of Nottingham, UKUnited Kingdom Workshops Co-Chair in Organizing Committee for ICFP 2019 Call-By-Need is Clairvoyant Call-By-Value Committee Member in Program Committee within the Haskell-track Committee Member in External Review Committee within the ICFP Research Papers-track
Andreas HaeberlenHaeberlen, Andreas University of Pennsylvania, USA Fuzzi: A Three-Level Logic for Differential Privacy
Simon HafnerHafner, Simon Folding/Unfolding with Scala
Jurriaan HageHage, Jurriaan Utrecht University, Netherlands Status Update on the Helium for Haskell compiler
Mary HallHall, Mary University of Utah Committee Member in Program Committee within the FHPNC-track
William T. HallahanHallahan, William T. Yale University G2Q: Haskell Constraint Solving
Aliya HameerHameer, Aliya McGill University Teaching the Art of Functional Programming Using Automated Grading (Experience Report)
Kevin HamlenHamlen, Kevin University of Texas at Dallas, USA Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren
Yan HanHan, Yan University of Cambridge Analyzing Music with Prefix Trees
Martin A. T. HandleyHandley, Martin A. T. University of Nottingham, UK Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Joseph HarrisonHarrison, Joseph University of Kent, UKUnited Kingdom Runtime Type Safety for Erlang/OTP Behaviours
Junji HashimotoHashimoto, Junji GREE, Inc. Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings (extended abstract)
Kyle HeadleyHeadley, Kyle The University of Alabama at BirminghamUnited States Visualizing Abstract Abstract Machines
Sune HellfritzschHellfritzsch, Sune University of Copenhagen Compiling Generalised Histograms for GPU (extended abstract)
Jason HemannHemann, Jason Indiana University, USA PC Member in Organizing Committee within the Scheme-track Committee Member in Program Committee within the miniKanren-track
Joe HendrixHendrix, Joe Galois, Inc. Dependently Typed Haskell in Industry (Experience Report)
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark Session Chair of Arrays (part of FHPNC) Committee Member in Program Committee within the FHPNC-track
Troels HenriksenHenriksen, Troels University of Copenhagen, DenmarkDenmark Compiling Generalised Histograms for GPU (extended abstract) Compositional Deep Learning in Futhark Committee Member in External Review Committee within the ICFP Research Papers-track
Kihong HeoHeo, Kihong University of Pennsylvania, USAUnited States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Daniel HillerströmHillerström, Daniel The University of EdinburghUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Torben HoffmannHoffmann, Torben Programme Committee in Program Committee within the Erlang-track
Eric HolkHolk, Eric Google Committee Member in Program Committee within the miniKanren-track
Nathan HollandHolland, Nathan O(1) Labs Lessons from building a succinct blockchain with OCaml
Cătălin HriţcuHriţcu, Cătălin Inria ParisFrance Dijkstra Monads for All
Autsin HuangHuang, Autsin Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings (extended abstract)
Michael HueschenHueschen, Michael IOHKUnited States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Chung-Kil HurHur, Chung-Kil Seoul National UniversityKorea, South Committee Member in External Review Committee within the ICFP Research Papers-track
Graham HuttonHutton, Graham University of Nottingham, UKUnited Kingdom Call-By-Need is Clairvoyant Call-By-Value
Hans HöglundHöglund, Hans Tweag I/O Committee Member in Program Committee within the FARM-track
I Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Committee Member in External Review Committee within the ICFP Research Papers-track
Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Member at large in Steering Committee for ICFP 2019 Committee Member in Program Committee within the ML-track
Sean InnesInnes, Sean University of Bristol Tic Tac Types (Functional Pearl)
J Michal J. GajdaJ. Gajda, Michal Make your ETL pipeline with DataHaskell, JSON AutoType and XML TypeLift
Koen JacobsJacobs, Koen KU Leuven How to do proofs? Practically proving properties about effectful programs' results (functional pearl)
David JaninJanin, David Bordeaux INP / CNRS LaBRI / Bordeaux UniversityFrance Session Chair of Music Generation (part of FARM) Screaming in the IO monad Committee Member in Program Committee within the FARM-track
Patrik JanssonJansson, Patrik Chalmers University of TechnologySweden An Algebra of Sequential Decision Problems
Mauro JaskelioffJaskelioff, Mauro CONICET, ArgentinaArgentina Monad Transformers and Modular Algebraic Effects: What Binds Them Together
Jean-Baptiste JeanninJeannin, Jean-Baptiste University of Michigan, USA Programming with Rational Coinductive Streams
Alan JeffreyJeffrey, Alan Mozilla ResearchUnited States Industrial Relations Chair in Steering Committee for ICFP 2019 Industrial Relations Chair in Organizing Committee for ICFP 2019
Ranjit JhalaJhala, Ranjit University of California, San DiegoUnited States Committee Member in External Review Committee within the ICFP Research Papers-track
Zhao JinxuJinxu, Zhao A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference
Mark JonesJones, Mark Portland State University ICFP'17 Program Chair in Steering Committee for ICFP 2019
Simon Peyton JonesJones, Simon Peyton Microsoft, UK Panel Discussion: Research in Functional Programming GHC status report Making a Faster Curry with Extensional Types Efficient Differentiable Programming in a Functional Array-Processing Language Higher-order Type-level Programming in Haskell Committee Member in Speakers within the PLMW @ ICFP-track
Jacques-Henri JourdanJourdan, Jacques-Henri CNRS, LRI, Université Paris-SudFrance Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the ICFP Research Papers-track
Ralf JungJung, Ralf MPI-SWSGermany Session Chair of Verified Compilation (part of ICFP Research Papers) Committee Member in External Review Committee within the ICFP Research Papers-track
K Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Committee Member in External Review Committee within the ICFP Research Papers-track
Ta-Chu KaoKao, Ta-Chu Computational and Biological Learning Lab, Department of Engineering, University of Cambridge OwlDE: making ODEs first-class Owl citizens
Georgios KarachaliasKarachalias, Georgios KU Leuven, BelgiumBelgium Bidirectional Type Class Instances
Andy KeepKeep, Andy Cisco Systems, Inc Afternoon Keynote Rebuilding Racket on Chez Scheme (Experience Report) PC Member in Organizing Committee within the Scheme-track
Sven KeidelKeidel, Sven JGU MainzGermany Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Chantal KellerKeller, Chantal LRI, Université Paris-SudFrance Committee Member in Program Committee within the TyDe-track
Gabriele KellerKeller, Gabriele Utrecht UniversityAustralia 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 KellyKelly, Tom OCaml Labs Benchmarking the OCaml compiler: our experience
Andrew KennedyKennedy, Andrew Facebook LondonUnited Kingdom Committee Member in Program Committee within the ICFP Research Papers-track
Anton KholomiovKholomiov, Anton HXR team Csound-expression: Haskell framework for computer music
Oleg KiselyovKiselyov, Oleg let (rec) insertion without effects, lights or magic Committee Member in External Review Committee within the ICFP Research Papers-track
Csongor KissKiss, Csongor Imperial College LondonUnited Kingdom Multi-Stage Programs in Context Higher-order Type-level Programming in Haskell
Andreas KlebingerKlebinger, Andreas Tagging Tags: Inferring the presence of pointer tags at compile time.
Felix KleinKlein, Felix Saarland UniversityGermany Synthesizing Functional Reactive Programs
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ National Institute of Informatics, JapanTaiwan Committee Member in Program Committee within the TyDe-track Committee Member in External Review Committee within the ICFP Research Papers-track
Wen KokkeKokke, Wen University of EdinburghUnited 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 KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University, UK Committee Member in Program Committee within the TyDe-track
Chaitanya KoparkarKoparkar, Chaitanya Indiana UniversityUnited States The Gibbon Compiler: Accelerating a small subset of Haskell
Igor KopestenskiKopestenski, Igor Université Catholique de LouvainBelgium Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks
Joomy KorkutKorkut, Joomy Princeton University, USAUnited States Lightning talk: Commanding Emacs from Coq
Paulette KoronkevichKoronkevich, Paulette University of British Columbia Reigniting Fuse, an Online Partial Evaluator for Scheme
Neel KrishnaswamiKrishnaswami, Neel Computer Laboratory, University of Cambridge Analyzing Music with Prefix Trees
Robert KrookKrook, Robert Chalmers University of Technology An Algebra of Sequential Decision Problems
Akihiro KubotaKubota, Akihiro Committee Member in Program Committee within the FARM-track
Bastian KöpckeKöpcke, Bastian University of Münster Generating Efficient FFT GPU Code with Lift
L Torbjörn LagerLager, Torbjörn Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg Intro to Web Prolog for Erlangers
Julien LangeLange, Julien University of KentUnited Kingdom Programme Committee in Program Committee within the Erlang-track
Victor LanvinLanvin, Victor IRIF, Université Paris Diderot, FranceFrance Student Volunteer Co-Chair in Organizing Committee for ICFP 2019 Student Volunteer Co-Chair in Committee within the ICFP Student Volunteering-track
Jakob LechnerLechner, Jakob RUAG Space Austria GmbH Formal Verification of Spacecraft Control Programs: An Experience Report
Mu LeiLei, Mu gLua: A modern Lua transpiler in Scheme
Daan LeijenLeijen, Daan Microsoft Research, USAUnited States Committee Member in Program Committee within the ICFP Research Papers-track
John LeoLeo, John Halfaya ResearchUnited States Demo: Counterpoint by Construction
Rodolphe LepigreLepigre, Rodolphe Max Planck Institute for Software SystemsGermany Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Xavier LeroyLeroy, Xavier Collège de FranceFrance Invited Talk
Nicholas V. LewchenkoLewchenko, Nicholas V. University of Colorado BoulderUnited States Sequential Programming for Replicated Data Stores
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Committee Member in External Review Committee within the ICFP Research Papers-track
Dan LicataLicata, Dan Wesleyan UniversityUnited States Committee Member in External Review Committee within the ICFP Research Papers-track
Vilem-Benjamin LiepeltLiepelt, Vilem-Benjamin University of Kent, UKUnited Kingdom Quantitative program reasoning with graded modal types Fine-grained program reasoning using linear and graded modal types
Adam LindbergLindberg, Adam Peer Stritzinger GmbHGermany Scaling Erlang Distribution
Bert LindenhoviusLindenhovius, Bert Tulane University Mixed Linear and Non-linear Recursive Types
Sam LindleyLindley, Sam The University of Edinburgh and Imperial College LondonUnited Kingdom Effect handler oriented programming (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism FreezeML: Complete and Easy Type Inference for First-Class Polymorphism Committee Member in Speakers within the PLMW @ ICFP-track
Ben LippmeierLippmeier, Ben UNSW AustraliaAustralia Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2019 Co-chair in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Fengyun LiuLiu, Fengyun EPFL, SwitzerlandSwitzerland Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Petr LozovLozov, Petr Sain Petersburg State University, SPbGU Relational Interpreters for Search Problems
Kuang-Chen LuLu, Kuang-Chen Indiana University, USATaiwan Towards a miniKanren with fair search strategies
Ioan LucaLuca, Ioan University of StrathclydeRomania An Idris Foreign Function Interface to OCaml
Georgy LukyanovLukyanov, Georgy Newcastle University, UKUnited Kingdom Formal Verification of Spacecraft Control Programs: An Experience Report Selective Applicative Functors
Gilmore R. LundquistLundquist, Gilmore R. Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren
M Weixi MaMa, Weixi Towards a miniKanren with fair search strategies
Anil MadhavapeddyMadhavapeddy, Anil OCaml LabsUnited Kingdom MirageOS 4: the dawn of practical build systems for exotic targets The OCaml Platform in 2019
Kenji MaillardMaillard, Kenji Inria Paris and ENS Paris Dijkstra Monads for All
Solomon MainaMaina, Solomon University of Pennsylvania Synthesizing Symmetric Lenses
Geoffrey MainlandMainland, Geoffrey Drexel University, USA Committee Member in External Review Committee within the ICFP Research Papers-track
Cyprien ManginMangin, Cyprien Equations Reloaded: High-Level Dependently-Typed Functional Programming and Proving in Coq
Simon MarlowMarlow, Simon Facebook Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2019 Selective Applicative Functors Committee Member in External Review Committee within the ICFP Research Papers-track Co-chair in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Koar MarntirosianMarntirosian, Koar KU LeuvenBelgium Coherence of Type Class Resolution
Guido MartínezMartínez, Guido CIFASIS-CONICET, ArgentinaArgentina Dijkstra Monads for All Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Gustavo E. MassaccesiMassaccesi, Gustavo E. Universidad de Buenos Aires Rebuilding Racket on Chez Scheme (Experience Report)
Kazutaka MatsudaMatsuda, Kazutaka Tohoku University, JapanJapan 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 MatsuzakiMatsuzaki, Kiminori Kochi University of Technology, JapanJapan Committee Member in Program Committee within the FHPNC-track
Håkan MattssonMattsson, Håkan Lux - an expect like test tool written in Erlang
Micaela MayeroMayero, Micaela LIPN, Université Paris 13France Formal Verification of Scientific Computing Programs
Conor McBrideMcBride, Conor Cubes, Cats, Effects
Trevor L. McDonellMcDonell, Trevor L. Utrecht UniversityNetherlands Keynote Committee Member in Program Committee within the Haskell-track
Hannes MehnertMehnert, Hannes Committee Member in Program Committee within the OCaml-track
Christopher MeiklejohnMeiklejohn, Christopher Carnegie Mellon UniversityUnited States Programme Committee in Program Committee within the Erlang-track
Orestis MelkonianMelkonian, Orestis Utrecht UniversityGreece What Constitutes a Musical Pattern? Music as Language: Putting Probabilistic Temporal Graph Grammars to Good Use Formal Investigation of the Extended UTxO Model
Darius MercadierMercadier, Darius Sorbonne Universités —UPMC Univ Paris 06 Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Denis MerigouxMerigoux, Denis INRIAFrance Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Sébastien MerleMerle, Sébastien Peer Stritzinger GmbH Scaling Erlang Distribution
Claudio Antares MezzinaMezzina, Claudio Antares Programme Committee in Program Committee within the Erlang-track
Jesse MichelMichel, Jesse Massachusetts Institute of Technology Sound and robust solid modeling via exact real arithmetic and continuity
Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States General Chair in Organizing Committee within the Scheme-track Comfy Chair in Organizing Committee within the Scheme-track
Matthew MightMight, Matthew University of Alabama at Birmingham \| Harvard Medical SchoolUnited States First-order miniKanren representation: Great for tooling and search
Anders MiltnerMiltner, Anders Princeton University Synthesizing Symmetric Lenses
Victor Cacciari MiraldoMiraldo, Victor Cacciari Utrecht University, Netherlands An Efficient Algorithm for Type-Safe Structural Diffing
Michael MisloveMislove, Michael Tulane Mixed Linear and Non-linear Recursive Types
Agustín MistaMista, Agustín Chalmers University of TechnologySweden Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Evgenii MoiseenkoMoiseenko, Evgenii Constructive Negation for miniKanren
Andrey MokhovMokhov, Andrey Newcastle University, UKUnited Kingdom Panel Discussion: Research in Functional Programming Formal Verification of Spacecraft Control Programs: An Experience Report Selective Applicative Functors Committee Member in Speakers within the PLMW @ ICFP-track
Stefan MonnierMonnier, Stefan Université de Montréal Inductive types deconstructed
David MoonMoon, David Livelits: Filling Typed Holes with Live GUIs Flexible Structure Editing of Well-Typed Expressions
Akimasa MorihataMorihata, Akimasa University of TokyoJapan Lambda Calculus with Algebraic Simplification for Reduction Parallelization by Equational Reasoning Committee Member in External Review Committee within the ICFP Research Papers-track
J. Garrett MorrisMorris, J. Garrett University of Kansas, USAUnited States Committee Member in Program Committee within the TyDe-track
Shin-Cheng MuMu, Shin-Cheng Academia Sinica, Taiwan Committee Member in External Review Committee within the ICFP Research Papers-track
Felix MulderMulder, Felix Programme Committee in Program Committee within the Erlang-track
Stefan K. MullerMuller, Stefan K. Carnegie Mellon UniversityUnited States Fairness in Responsive Parallelism
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume InriaFrance Efficient Deconstruction with Typed Pointer Reversal Committee Member in External Review Committee within the ICFP Research Papers-track
Áron Attila MészárosMészáros, Áron Attila Eötvös Lóránd University Tools supporting green computing in Erlang
Anders MörtbergMörtberg, Anders Department of Mathematics, Stockholm UniversitySweden Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types
Rasmus Ejlers MøgelbergMøgelberg, Rasmus Ejlers IT University of CopenhagenDenmark Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming Without Space Leaks
N Yutaka NagashimaNagashima, Yutaka Data61, Australia Towards Machine Learning Induction in Poly/ML
Gergely NagyNagy, Gergely Eötvös Lóránd University Tools supporting green computing in Erlang
Praveen NarayananNarayanan, Praveen Indiana University, USA From high-level inference algorithms to efficient code
Ryan R. NewtonNewton, Ryan R. Indiana UniversityUnited States The Gibbon Compiler: Accelerating a small subset of Haskell Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances
Rumyana NeykovaNeykova, Rumyana Brunel University LondonUnited Kingdom Programme Committee in Program Committee within the Erlang-track
Kim NguyễnNguyễn, Kim University of Paris-Sud, France Committee Member in External Review Committee within the ICFP Research Papers-track
Yuki NishidaNishida, Yuki Kyoto University Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Ulf NorellNorell, Ulf Gothenburg UniversitySweden Committee Member in External Review Committee within the ICFP Research Papers-track
Felipe Ignacio NoriegaNoriega, Felipe Ignacio Robot Theater Electronics The sound of lambda
Andreas NuytsNuyts, Andreas KU Leuven, BelgiumBelgium How to do proofs? Practically proving properties about effectful programs' results (functional pearl) Reasoning about Effect Parametricity Using Dependent Types
Boldizsár NémethNémeth, Boldizsár Eötvös Loránd University Working with Source Plugins
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of Edinburgh Augmenting Type Signatures for Program Synthesis
Liam O'ConnorO'Connor, Liam UNSWAustralia Deferring the Details and Deriving Programs
Cosmin OanceaOancea, Cosmin University of Copenhagen, DenmarkDenmark Functional Approach to Acceleration of Monte Carlo Simulation for American Option Pricing (extended abstract) Compiling Generalised Histograms for GPU (extended abstract)
Atsushi OhoriOhori, Atsushi Tohoku University, Japan Committee Member in External Review Committee within the ICFP Research Papers-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. The University of Hong Kong, Hong KongHong Kong A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference Committee Member in Program Committee within the ICFP Research Papers-track
Cyrus OmarOmar, Cyrus University of ChicagoUnited States Livelits: Filling Typed Holes with Live GUIs Flexible Structure Editing of Well-Typed Expressions Committee Member in Program Committee within the ML-track Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Quantitative program reasoning with graded modal types Fine-grained program reasoning using linear and graded modal types
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Constraint-based Type-directed Program Synthesis
Klaus OstermannOstermann, Klaus University of Tübingen, GermanyGermany Committee Member in Program Committee within the ICFP Research Papers-track
Leo OsvaldOsvald, Leo Purdue University, USA Compiling with Continuations, or without? Whatever.
P Rex PagePage, Rex University of Oklahoma Committee Member in External Review Committee within the ICFP Research Papers-track
Jens PalsbergPalsberg, Jens University of California, Los Angeles SIGPLAN Chair in Steering Committee for ICFP 2019
Zoe ParaskevopoulouParaskevopoulou, Zoe Princeton UniversityUnited States Session Chair of Types (part of ICFP Research Papers) Session Chair of Session 3 (part of ML) Panel Discussion: Research in Functional Programming Closure Conversion is Safe for Space 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 ParramanParraman, Carinna University of West of England Fun with Interfaces (SVG Interfaces for Musical Expression)
Grant PassmorePassmore, Grant Imandra Inc. Keynote: An Introduction to the Imandra Automated Reasoning System
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States The Next 700 Compiler Correctness Theorems. A Functional Pearl.
Koen PauwelsPauwels, Koen KU Leuven Bidirectional Type Class Instances
Wojciech Michal PawlakPawlak, Wojciech Michal University of Copenhagen, DenmarkDenmark Functional Approach to Acceleration of Monte Carlo Simulation for American Option Pricing (extended abstract)
Jennifer PaykinPaykin, Jennifer 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 PenzesPenzes, Andor Write you a mini-GRIN, a unified compiler back-end for lazy and strict FP languages.
Ivan PerezPerez, Ivan NIA / NASA Formal Methods Mobile Game Programming in Haskell Copilot 3.0: a Haskell runtime verification framework for UAVs Committee Member in Program Committee within the Haskell-track
Frank PfenningPfenning, Frank Carnegie Mellon University, USA Committee Member in Program Committee within the ICFP Research Papers-track
Matthew PickeringPickering, Matthew University of BristolUnited Kingdom HIE files in GHC 8.8 Configuration, but without CPP Multi-Stage Programs in Context Working with Source Plugins
Brigitte PientkaPientka, Brigitte McGill University Teaching the Art of Functional Programming Using Automated Grading (Experience Report)
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States SIGPLAN Vice Chair in Steering Committee for ICFP 2019 Fuzzi: A Three-Level Logic for Differential Privacy Synthesizing Symmetric Lenses
Frank PiessensPiessens, Frank KU Leuven Linear capabilities for fully abstract compilation of separation-logic-verified code
Igor PikovetsPikovets, Igor Session Chair of Applications (part of OCaml) Committee Member in Program Committee within the OCaml-track
Maciej PirógPiróg, Maciej University of WrocławPoland Monad Transformers and Modular Algebraic Effects: What Binds Them Together
Ruzica PiskacPiskac, Ruzica Yale University, USA G2Q: Haskell Constraint Solving Synthesizing Functional Reactive Programs
Clément Pit-ClaudelPit-Claudel, Clément MIT CSAIL Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats
Federico PizzutiPizzuti, Federico University of Edinburgh Position-Dependent Arrays and Their Applicationfor High Performance Code Generation
Lucas PluvinagePluvinage, Lucas ENS ParisFrance MirageOS 4: the dawn of practical build systems for exotic targets
Nadia PolikarpovaPolikarpova, Nadia University of California, San DiegoUnited States Committee Member in Program Committee within the Haskell-track Committee Member in External Review Committee within the ICFP Research Papers-track
François PottierPottier, François Inria, FranceFrance 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) Program Chair's Report Program Chair in Program Committee within the ICFP Research Papers-track
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited 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édrotPédrot, Pierre-Marie INRIA A Reasonably Exceptional Type Theory
Q Weihao QuQu, Weihao University at Buffalo, SUNY Relational Cost Analysis for Functional-Imperative Programs
Donya QuickQuick, Donya Stevens Institute of TechnologyUnited States Session Chair of Live-Coding (part of FARM) A Functional Model of Jazz Improvisation General Chair in Organizing Committee within the FARM-track
R Azalea RaadRaad, Azalea MPI-SWS, GermanyUnited Kingdom Committee Member in Program Committee within the ICFP Student Research Competition-track
Arjun RadhakrishnaRadhakrishna, Arjun Microsoft Sequential Programming for Replicated Data Stores
Mike RaineyRainey, Mike Indiana University, USAUnited States Committee Member in Program Committee within the ICFP Research Papers-track
Norman RamseyRamsey, Norman Tufts UniversityUnited States Committee Member in Program Committee within the Haskell-track
Tristan RavitchRavitch, Tristan Galois, Inc. Dependently Typed Haskell in Industry (Experience Report)
Nathan ReboursRebours, Nathan Tarides The future of OCaml PPX: towards a unified and more robust ecosystem
Iris RenRen, Iris University of Utrecht Committee Member in Program Committee within the FARM-track
Nathan RenneyRenney, Nathan University of West of England Fun with Interfaces (SVG Interfaces for Musical Expression)
John ReppyReppy, John University of Chicago Compiling Successor ML Pattern Guards
Alban ReynaudReynaud, Alban ENS Lyon A right-to-left type system for value recursion
Tom RidgeRidge, Tom University of Leicester, UK A Key-Value store for OCaml
Kenji RikitakeRikitake, Kenji Kenji Rikitake Professional Engineer's Office Programme Committee in Program Committee within the Erlang-track
Adam RingwoodRingwood, Adam Endgame Makecloud: Simple, Fast, Robust CI/CD for the modern era
Norman A. RinkRink, Norman A. TU Dresden, Germany STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
Exequiel RivasRivas, Exequiel Inria Paris Dijkstra Monads for All
Christine RizkallahRizkallah, Christine UNSW SydneyAustralia Session Chair of Paper Session 5: FRP (part of Haskell) Committee Member in Program Committee within the Haskell-track
Tiark RompfRompf, Tiark Purdue UniversityUnited States Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator Compiling with Continuations, or without? Whatever. Committee Member in External Review Committee within the ICFP Research Papers-track
Gregory RosenblattRosenblatt, Gregory First-order miniKanren representation: Great for tooling and search
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany 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 RothRoth, Aaron University of Pennsylvania, USA Fuzzi: A Three-Level Logic for Differential Privacy
Edo RothRoth, Edo University of Pennsylvania Fuzzi: A Three-Level Logic for Differential Privacy
Dmitry RozplokhasRozplokhas, Dmitry Certified Semantics for miniKanren
Alejandro RussoRusso, Alejandro Chalmers University of Technology, SwedenArgentina 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 RyuRyu, Sukyoung KAIST, South KoreaKorea, South ICFP'21 General Chair in Steering Committee for ICFP 2019
Thomas RéfisRéfis, Thomas Committee Member in Program Committee within the OCaml-track
S Justus SagemüllerSagemüller, Justus Western Norway University of Applied SciencesNorway Lazy Evaluation in Infinite-Dimensional Function Spaces with Wavelet Basis
Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala University, SwedenSweden Committee Member in External Review Committee within the ICFP Research Papers-track
Alex Sanchez-SternSanchez-Stern, Alex University of California, San DiegoUnited States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Mark SantolucitoSantolucito, Mark Yale University, USA Synthesizing Functional Reactive Programs
Abhiroop SarkarSarkar, Abhiroop Chalmers University of Technology Hailstorm : A statically typed functional language for systems programming (extended abstract)
Annabel SatinSatin, Annabel P.C.K. Conference Manager in Organizing Committee for ICFP 2019
Gabriel SchererScherer, Gabriel INRIA SaclayFrance Session Chair of Session 4 (part of ML) A right-to-left type system for value recursion
Alan SchmittSchmitt, Alan Inria Necro: Animating Skeletons
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Workshops Co-Chair in Organizing Committee for ICFP 2019
Tom SchrijversSchrijvers, Tom KU Leuven Monad Transformers and Modular Algebraic Effects: What Binds Them Together Bidirectional Type Class Instances Coherence of Type Class Resolution A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference
Ryan ScottScott, Ryan Indiana University at Bloomington, USAUnited States Visible dependent quantification Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances
Eric SeidelSeidel, Eric Bloomberg LPUnited States Session Chair of Paper Session 3: SMT & Arity (part of Haskell) Committee Member in Program Committee within the Haskell-track
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Ilya SergeySergey, Ilya Yale-NUS College and National University of SingaporeSingapore Programming Contest Organizer in Organizing Committee for ICFP 2019 Functional Programming is Everywhere Programming Contest Report Committee Member in Speakers within the PLMW @ ICFP-track
Marcello SeriSeri, Marcello Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen OwlDE: making ODEs first-class Owl citizens
Alejandro SerranoSerrano, Alejandro Utrecht University, NetherlandsNetherlands Committee Member in Program Committee within the Haskell-track
Niels G. W. SerupSerup, Niels G. W. DIKU, University of CopenhagenDenmark Compiling Generalised Histograms for GPU (extended abstract)
Amir ShaikhhaShaikhha, Amir University of Oxford Efficient Differentiable Programming in a Functional Array-Processing Language
Chung-chieh ShanShan, Chung-chieh Indiana University, USA From high-level inference algorithms to efficient code Committee Member in Program Committee within the TyDe-track Committee Member in Program Committee within the ICFP Research Papers-track
Ben ShapiroShapiro, Ben University of Colorado, BoulderUnited States Flexible Structure Editing of Well-Typed Expressions
Tim SheardSheard, Tim Portland State University Committee Member in Program Committee within the TyDe-track
Mary SheeranSheeran, Mary Member at large in Steering Committee for ICFP 2019 Hailstorm : A statically typed functional language for systems programming (extended abstract) Safety at speed: In-place array algorithms from pure functional programs by safely re-using storage Gender equality in academia: meeting the challenge Committee Member in Program Committee within the FHPNC-track
Benjamin ShermanSherman, Benjamin Massachusetts Institute of Technology, USAUnited States Sound and robust solid modeling via exact real arithmetic and continuity
Olin ShiversShivers, Olin Northeastern University, USA Steering Committee Member in Organizing Committee within the Scheme-track
Xujie SiSi, Xujie University of Pennsylvania Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Jesse SigalSigal, Jesse University of EdinburghUnited Kingdom GSoC Student Report 2
Satnam SinghSingh, Satnam Google ResearchUnited States Panel Discussion: Research in Functional Programming Haskell Use and Abuse at Scale Haskell Use and Abuse at Scale Committee Member in Speakers within the PLMW @ ICFP-track
KC SivaramakrishnanSivaramakrishnan, KC IIT MadrasIndia 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
Michal SlaskiSlaski, Michal Erlang Solutions Ltd.Poland Towards Online Profiling of Erlang Systems
Nicholas SmallboneSmallbone, Nicholas Chalmers University of Technology, Sweden Safety at speed: In-place array algorithms from pure functional programs by safely re-using storage Committee Member in External Review Committee within the ICFP Research Papers-track
Calvin SmithSmith, Calvin University of Wisconsin - MadisonUnited States Synthesizing Differentially Private Programs
Matthieu SozeauSozeau, Matthieu InriaFrance Equations Reloaded: High-Level Dependently-Typed Functional Programming and Proving in Coq Committee Member in External Review Committee within the ICFP Research Papers-track
Sarah SpallSpall, Sarah Indiana University Rebuilding Racket on Chez Scheme (Experience Report)
Michael SperberSperber, Michael Active Group GmbHGermany Functional Software Architecture Teaching functional programming Performance Co-Chair in Organizing Committee within the FARM-track
Sam StatonStaton, Sam University of Oxford Committee Member in Program Committee within the ICFP Research Papers-track
Leo StefanescoStefanesco, Leo IRIF, University Paris Diderot & CNRSFrance Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Dominic SteinitzSteinitz, Dominic Tweag I/OUnited 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 SterlingSterling, Jonathan Carnegie Mellon University Implementing a Modal Dependent Type Theory
Michel SteuwerSteuwer, Michel University of GlasgowUnited Kingdom Generating Efficient FFT GPU Code with Lift Position-Dependent Arrays and Their Applicationfor High Performance Code Generation
Sam StitesStites, Sam SentenaiUnited States Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings (extended abstract)
Quentin StiévenartStiévenart, Quentin Vrije Universiteit Brussel, BelgiumBelgium Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Jan StolarekStolarek, Jan University of Edinburgh, UKUnited Kingdom (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
Peer StritzingerStritzinger, Peer Peer Stritzinger GmbH Introduction to the Erlang Ecosystem Foundation Scaling Erlang Distribution
Pierre-Yves StrubStrub, Pierre-Yves Ecole PolytechniqueFrance Committee Member in Program Committee within the ICFP Research Papers-track
Sandro StuckiStucki, Sandro Chalmers \| University of GothenburgSweden Committee Member in External Review Committee within the ICFP Research Papers-track
Zachary SullivanSullivan, Zachary Making a Faster Curry with Extensional Types
Eijiro SumiiSumii, Eijiro Tohoku University Committee Member in Program Committee within the TyDe-track
Sorawit SuriyakarnSuriyakarn, Sorawit Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats
Hans SvenssonSvensson, Hans Quviq AB Gaining Trust by Tracing Security Protocols
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands What Constitutes a Musical Pattern? Generic Enumerators Formal Investigation of the Extended UTxO Model A predicate transformer semantics for effects (Functional Pearl) An Efficient Algorithm for Type-Safe Structural Diffing
Don SymeSyme, Don Microsoft Committee Member in External Review Committee within the ICFP Research Papers-track
Dmitrij SzamozvancevSzamozvancev, Dmitrij University of Cambridge Committee Member in Program Committee within the FARM-track
T Nicolas TabareauTabareau, Nicolas InriaFrance A Reasonably Exceptional Type Theory
Éric TanterTanter, Éric University of Chile & Inria ParisChile A Reasonably Exceptional Type Theory Approximate Normalization for Gradual Dependent Types Dijkstra Monads for All
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States Committee Member in External Review Committee within the ICFP Research Papers-track
Kelland ThomasThomas, Kelland Stevens Institute of Technology A Functional Model of Jazz Improvisation
Amin TimanyTimany, Amin imec-Distrinet KU-LeuvenBelgium Mechanized Relational Verification of Concurrent Programs with Continuations Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Deifilia ToTo, Deifilia GSoC Student Report 1
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Publicity Chair in Steering Committee for ICFP 2019 Publicity Chair in Organizing Committee for ICFP 2019 Rebuilding Racket on Chez Scheme (Experience Report) From high-level inference algorithms to efficient code PC Member in Organizing Committee within the Scheme-track Committee Member in External Review Committee within the ICFP Research Papers-track
Anish TondwalkarTondwalkar, Anish UCSD Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Emina TorlakTorlak, Emina University of WashingtonUnited States Solver-Aided Programming for All
Melinda TothToth, Melinda Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.Hungary Tools supporting green computing in Erlang Programme Committee in Program Committee within the Erlang-track
Duc Minh TranTran, Duc Minh DIKU, University of Copenhagen Compositional Deep Learning in Futhark
Semen TrygubenkoTrygubenko, Semen Building C++ project with Shake
Takeshi TsukadaTsukada, Takeshi University of Tokyo, JapanJapan Committee Member in External Review Committee within the ICFP Research Papers-track
Kanae TsushimaTsushima, Kanae National Institute of Informatics, JapanJapan Committee Member in Program Committee within the miniKanren-track
emilio tuostotuosto, emilio University of LeicesterUnited Kingdom Programme Committee in Program Committee within the Erlang-track
Wojciech TurekTurek, Wojciech AGH University of Science and Technology Towards Online Profiling of Erlang Systems
U Tarmo UustaluUustalu, Tarmo Reykjavik UniversityIceland Committee Member in External Review Committee within the ICFP Research Papers-track
V Benoit ValironValiron, Benoit LRI, CentraleSupelec, Univ. Paris SaclayFrance Committee Member in External Review Committee within the ICFP Research Papers-track
Jasper Van der JeugtVan der Jeugt, Jasper FugueSwitzerland Committee Member in Program Committee within the HIW-track
Cas van der Restvan der Rest, Cas Utrecht University Generic Enumerators
David Van HornVan Horn, David University of Maryland, USAUnited States Welcome PLMW Co-Chair in Organizing Committee within the PLMW @ ICFP-track
Peter Van RoyVan Roy, Peter Université catholique de LouvainBelgium Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks
Thomas Van StrydonckVan Strydonck, Thomas KULeuven Linear capabilities for fully abstract compilation of separation-logic-verified code
Niki VazouVazou, Niki IMDEA Software Institute Session Chair of Keynote (part of Haskell) Social activity Types and verification HiW'19 report Chair in Program Committee within the HIW-track Committee Member in Speakers within the PLMW @ ICFP-track
Anne VeinbergVeinberg, Anne anne veinberg The sound of lambda
Niccolò VeltriVeltri, Niccolò IT University of CopenhagenDenmark Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Ekaterina VerbitskaiaVerbitskaia, Ekaterina Saint Petersburg State University, Russia Relational Interpreters for Search Problems
Olivier VerdierVerdier, Olivier Lazy Evaluation in Infinite-Dimensional Function Spaces with Wavelet Basis
Andrea VezzosiVezzosi, Andrea Chalmers University of Technology Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types
German VidalVidal, German Universitat Politecnica de ValenciaSpain Committee Member in Program Committee within the ICFP Research Papers-track
Antoine VoizardVoizard, Antoine University of Pennsylvannia A Role for Dependent Types in Haskell
Anja VolkVolk, Anja Utrecht University What Constitutes a Musical Pattern?
Michael VollmerVollmer, Michael Indiana University, USAUnited States The Gibbon Compiler: Accelerating a small subset of Haskell
Ian VoyseyVoysey, Ian Carnegie Mellon University Livelits: Filling Typed Holes with Live GUIs
Andrey VyatkinVyatkin, Andrey Certified Semantics for miniKanren
Dimitrios VytiniotisVytiniotis, Dimitrios DeepMindUnited Kingdom Efficient Differentiable Programming in a Functional Array-Processing Language
W Philip WadlerWadler, Philip University of Edinburgh, UKUnited Kingdom Programming Language Foundations in Agda
Rajan WaliaWalia, Rajan Indiana University From high-level inference algorithms to efficient code
David WalkerWalker, David Princeton UniversityUnited States Synthesizing Symmetric Lenses
Fei WangWang, Fei Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator
Yuting WangWang, Yuting Yale University Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Guannan WeiWei, Guannan Purdue University Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Stephanie WeirichWeirich, Stephanie University of Pennsylvania, USAUnited States ICFP'20 General Chair in Steering Committee for ICFP 2019 A Role for Dependent Types in Haskell
Sam WestrickWestrick, Sam Carnegie Mellon University Fairness in Responsive Parallelism
Leo WhiteWhite, Leo Jane Street Syntax with Shifted Names Lambda: the Ultimate Sublanguage (Experience Report)
John WiegleyWiegley, John Committee Member in Program Committee within the Haskell-track
Thomas WinantWinant, Thomas Well-Typed LLPBelgium Committee Member in Program Committee within the Haskell-track
Andy WingoWingo, Andy Igalia, S.L. Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Daniel Winograd-CortWinograd-Cort, Daniel Target CorpUnited 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
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Tic Tac Types (Functional Pearl) Multi-Stage Programs in Context Working with Source Plugins Monad Transformers and Modular Algebraic Effects: What Binds Them Together Committee Member in External Review Committee within the ICFP Research Papers-track
Xilun WuWu, Xilun Purdue University Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator
X Ningning XieXie, Ningning The University of Hong KongChina Session Chair of Metadata (part of HIW) Session Chair of Paper Session 2: Verification (part of Haskell) Coherence of Type Class Resolution 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 XueXue, Anton Yale University G2Q: Haskell Constraint Solving
Y Jeremy YallopYallop, Jeremy University of Cambridge, UK let (rec) insertion without effects, lights or magic A right-to-left type system for value recursion Lambda: the Ultimate Sublanguage (Experience Report)
Yuji YamamotoYamamoto, Yuji IIJ Innovation Institute, JapanJapan Lightning talk: Simulate Bind with IxApplicative
Qianchuan YeYe, Qianchuan Purdue University Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats
Brent YorgeyYorgey, Brent Hendrix CollegeUnited States Session Chair of GHC (part of HIW) Committee Member in Program Committee within the HIW-track
Hailey YoungYoung, Hailey University of Pennsylvania Committee Member in Program Committee within the FARM-track
Ki Yung AhnYung Ahn, Ki Hannam UniversitySouth Korea Session Chair of Paper Session 6: Effects (part of Haskell) Committee Member in Program Committee within the Haskell-track
Iris Yuping RenYuping Ren, Iris Utrecht University What Constitutes a Musical Pattern?
Z Mona ZahirZahir, Mona University of Chicago Compiling Successor ML Pattern Guards
Vladimir ZamdzhievZamdzhiev, Vladimir University of Lorraine, CNRS, Inria, LORIA Mixed Linear and Non-linear Recursive Types
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Synthesizing Symmetric Lenses
Christina ZellerZeller, Christina Keera Studios Ltd Mobile Game Programming in Haskell
Jon ZeppieriZeppieri, Jon Rebuilding Racket on Chez Scheme (Experience Report)
Hengchu ZhangZhang, Hengchu University of Pennsylvania Fuzzi: A Three-Level Logic for Differential Privacy
Lisa ZhangZhang, Lisa University of Toronto Session Chair of Session 2 (part of miniKanren) First-order miniKanren representation: Great for tooling and search
Jianxin ZhaoZhao, Jianxin University of Cambridge Executing Owl Computation on GPU and TPU
Dan ZhengZheng, Dan Purdue University, Google Brain Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator
Marco ZoccaZocca, Marco DataHaskell, Combient ABSweden Organizing Chair in Organizing Committee within the FHPNC-track
Ç Ezgi ÇiçekÇiçek, Ezgi Facebook LondonUnited Kingdom Committee Member in Program Committee within the ICFP Research Papers-track

ICFP 2019 Contributors

Results (504)

Tracks

Workshops

Co-hosted Symposiums