ICFP 2018 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (524)

A Andreas AbelAbel, Andreas Gothenburg University Elaborating Dependent (Co)pattern Matching
Umut A. AcarAcar, Umut A. Carnegie Mellon University Competitive Parallelism: Getting Your Priorities Right
Beniamino AccattoliAccattoli, Beniamino Inria & Ecole Polytechnique Tight Typings and Split Bounds
Michael D. AdamsAdams, Michael D. University of UtahUnited States Session Chair of Session 1 (part of Haskell) Committee Member in Program Committee within the Haskell-track Committee Member in External Review Committee within the ICFP Research Papers-track
Danel AhmanAhman, Danel University of LjubljanaSlovenia ML as a Tactic Language, Again Committee Member in Program Committee within the HOPE-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Rust Distilled: An Expressive Tower of Languages Graduality from Embedding-Projection Pairs Committee Member in External Review Committee within the ICFP Research Papers-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Reasonably Programmable Literal Notation
Guillaume AllaisAllais, Guillaume Radboud University NijmegenNetherlands A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs Committee Member in Program Committee within the TyDe-track
David AllsoppAllsopp, David University of CambridgeUnited Kingdom Winning on Windows: porting the OCaml platform
Deyaaeldeen AlmahallawiAlmahallawi, Deyaaeldeen Indiana University An Efficient Compiler for the Gradually Typed Lambda Calculus
José Bacelar AlmeiraAlmeira, José Bacelar University of Minho & INESC TEC Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
Claire AlvisAlvis, Claire Committee Member in Program Committee within the Scheme-track
Nada AminAmin, Nada University of CambridgeUnited Kingdom Versatile Event Correlation with Algebraic Effects Committee Member in Program Committee within the Scala-track Committee Member in Distinguished Papers Committee within the ICFP Research Papers-track Committee Member in External Review Committee within the ICFP Research Papers-track
Danil AnnenkovAnnenkov, Danil Department of Computer Science, University of Copenhagen Static Interpretation of Higher-Order Modules in Futhark: Functional GPU Programming in the Large
Heinrich ApfelmusApfelmus, Heinrich Committee Member in Program Committee within the FARM-track
Zena M. AriolaAriola, Zena M. University of Oregon, USA Committee Member in Program Committee within the ML-track Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the TyDe-track
Michael ArntzeniusArntzenius, Michael University of Birmingham, UK Finding fixed points faster
Stavros AronisAronis, Stavros Erlang Solutions, SwedenGreece Modelling Distributed Erlang within a Single Node
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Handling Delimited Continuations with Dependent Types
Robert AtkeyAtkey, Robert University of Strathclyde Extended Abstract: Context Constrained Computing A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Lennart AugustssonAugustsson, Lennart Programme Committee in Program Committee within the FHPC-track
Martin AvanziniAvanzini, Martin INRIA Sophia Antipolis, FranceFrance Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
B Christiaan BaaijBaaij, Christiaan QBayLogic B.V. Clash: a practical Haskell to circuit compiler
Casper Bach PoulsenBach Poulsen, Casper Delft University of Technology Compositional Soundness Proofs of Abstract Interpreters
Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Committee Member in Program Committee within the Haskell-track
Erica Joy BakerBaker, Erica Joy Strange Loop Keynote
David BalabanBalaban, David United States Committee Member in Program Committee within the NPFL-track
Stephanie BalzerBalzer, Stephanie Carnegie Mellon University, USAUnited States Committee Member in Program Committee within the HOPE-track
Shrutarshi BasuBasu, Shrutarshi Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Guillaume BaudartBaudart, Guillaume IBM ResearchUnited States Session Chair of T08: Implement your own reactive language: the ReactiveML experiment (part of ICFP Tutorials) T08: Implement your own reactive language: the ReactiveML experiment
Lucas BaudinBaudin, Lucas INRIA Disornamentation
Lars BergstromBergstrom, Lars Mozilla Research Programme Committee in Program Committee within the FHPC-track Committee Member in External Review Committee within the ICFP Research Papers-track
Jost BertholdBerthold, Jost Digital AssetAustralia Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Aggelos BiboudisBiboudis, Aggelos EPFL, SwitzerlandSwitzerland Initialization Patterns in Dotty Committee Member in Steering Committee within the Scala-track
Dariusz BiernackiBiernacki, Dariusz University of Wrocław Programming with Abstract Algebraic Effects
Lars BirkedalBirkedal, Lars Aarhus University Committee Member in External Review Committee within the ICFP Research Papers-track
Aleš BizjakBizjak, Aleš Aarhus UniversityDenmark Committee Member in Program Committee within the HOPE-track Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Roberto BlancoBlanco, Roberto Inria Design and verification of functional proof checkers
Taylor BlauBlau, Taylor University of Washington Functional Programming for Compiling and Decompiling Computer-Aided Design
Sandrine BlazyBlazy, Sandrine Univ Rennes- IRISAFrance Committee Member in Program Committee within the ICFP Research Papers-track
Baldur BlöndalBlöndal, Baldur n.n., n.n. Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern
Laura BocchiBocchi, Laura University of Kent, UK Committee Member in Program Committee within the Erlang-track
Guillaume BoisseauBoisseau, Guillaume University of Oxford What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl)
Benjamin BoskinBoskin, Benjamin A Surprisingly Competitive Conditional Operator: miniKanrenizing the Inference Rules of Pie
Dmitri BoulytchevBoulytchev, Dmitri Generic Programming with Combinators and Objects
Frédéric BourBour, Frédéric Facebook ParisFrance Wall: rendering vector graphics with OCaml and OpenGL Abusing Format for fun and profits Merlin: A Language Server for OCaml (Experience Report)
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of Tübingen, Germany Taming Control Flow through Linear Effect Handlers Typing, Representing, and Abstracting Control: Functional Pearl Committee Member in Program Committee within the Scala-track Committee Member in Steering Committee within the Scala-track Sponsorship Chair in Organizing Committee within the Scala-track
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Committee Member in Program Committee within the HIW-track Committee Member in External Review Committee within the ICFP Research Papers-track
Jörgen BrandtBrandt, Jörgen Humboldt-Universität zu Berlin, Germany Modeling Erlang Processes as Petri Nets
Oliver BračevacBračevac, Oliver TU DarmstadtGermany Versatile Event Correlation with Algebraic Effects
Joachim BreitnerBreitner, Joachim DFINITY FoundationGermany Haskell Implementors' Workshop Program Chair in Organizing Committee for ICFP 2018 Session Chair of Tools and Hardware (part of HIW) Session Chair of Invited Talk (part of HIW) Interactive Game Welcome to HIW A Promise Checked Is a Promise Kept: Inspection Testing Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl) Type Variables in Patterns Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report) Program Chair in Program Committee within the HIW-track Session Chair in Speakers within the PLMW @ ICFP-track
Eugene BurmakoBurmako, Eugene Twitter, Inc.United States Validating Changes in Typechecking on Codebases with SemanticDB (Student talk) SemanticDB: a common data model for Scala developer tools
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States SFP Program Chair in Organizing Committee for ICFP 2018 Committee Member in Steering Committee within the Scheme-track Committee Member in Organizing Committee within the Scheme-track Committee Member in Program Committee within the Scheme-track Committee Member in External Review Committee within the ICFP Research Papers-track
Manuel BärenzBärenz, Manuel University of Vienna, Austria Rhine: FRP with Type-Level Clocks
C Romain CalascibettaCalascibetta, Romain TaridesFrance RFCs, all the way down!
Cristiano CalcagnoCalcagno, Cristiano Facebook R&B: Towards bringing functional programming to everyday's web programmer
Jose CalderonCalderon, Jose Galois, Inc.United States Video Co-Chair in Organizing Committee for ICFP 2018 Session Chair of T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games (part of ICFP Tutorials) T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games
John Peter CamporaCampora, John Peter ULL Lafayette Casts and Costs: Harmonizing Safety and Performance in Gradual Typing
Jacques CaretteCarette, Jacques McMaster UniversityCanada Committee Member in Program Committee within the NPFL-track
Richard CarlssonCarlsson, Richard KlarnaSweden Committee Member in Program Committee within the Erlang-track
Harold CarrCarr, Harold Oracle Labs, USAUnited States Authenticated Modular Maps in Haskell
Franck CassezCassez, Franck Macquarie University, Australia Committee Member in Program Committee within the Scala-track
Giuseppe CastagnaCastagna, Giuseppe CNRS, France / University of Paris Diderot, FranceItaly Committee Member in External Review Committee within the ICFP Research Papers-track
Laura M. CastroCastro, Laura M. University of A CoruñaSpain Committee Member in Program Committee within the Erlang-track
Charles ChamberlainChamberlain, Charles University of Chicago Relit: Implementing Typed Literal Macros in Reason
James ChapmanChapman, James A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Arthur CharguéraudCharguéraud, Arthur InriaFrance MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Guido ChariChari, Guido Czech Technical University, CzechiaCzechia Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Chuck-jee ChauChau, Chuck-jee Computer Science and Engineering, The Chinese University of Hong Kong Committee Member in Program Committee within the FARM-track
Natalia ChechinaChechina, Natalia Bournemouth UniversityUnited Kingdom Erlang Workshop Co-chair in Organizing Committee for ICFP 2018 Farewell & Closing Day Openning Co-chair in Organizing Committee within the Erlang-track
Sheng ChenChen, Sheng University of Louisiana at LafayetteUnited States Casts and Costs: Harmonizing Safety and Performance in Gradual Typing Committee Member in Selection Committee within the ICFP Student Research Competition-track Committee Member in Poster and Presentation Judges within the ICFP Student Research Competition-track Committee Member in External Review Committee within the ICFP Research Papers-track
James CheneyCheney, James University of Edinburgh, UKUnited States Incremental Relational Lenses
Eugenia ChengCheng, Eugenia Conveying the Power of Abstraction
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime Université de Montréal Committee Member in Program Committee within the Scheme-track
Olaf ChitilChitil, Olaf University of Kent, UK Committee Member in Program Committee within the Haskell-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of Technology, USAUnited States Prototyping a Functional Language using Higher-Order Logic Programming: A Functional Pearl on Learning the Ways of λProlog/Makam
Vikraman ChoudhuryChoudhury, Vikraman Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
David Thrane ChristiansenChristiansen, David Thrane Galois, USAUnited States Workshops Co-Chair in Organizing Committee for ICFP 2018 Session Chair of Dependent Types (part of ICFP Research Papers) A Surprisingly Competitive Conditional Operator: miniKanrenizing the Inference Rules of Pie Extensible Type-Directed Editing Committee Member in Distinguished Papers Committee within the ICFP Research Papers-track Committee Member in Program Committee within the ICFP Research Papers-track
Ravi ChughChugh, Ravi University of Chicago Student Research Competition Chair in Organizing Committee for ICFP 2018 Session Chair of T02: Direct Manipulation Programming in Sketch-n-Sketch (part of ICFP Tutorials) Student Research Competition Awards T02: Direct Manipulation Programming in Sketch-n-Sketch Student Research Competition Chair in Selection Committee within the ICFP Student Research Competition-track Student Research Competition Chair in Poster and Presentation Judges within the ICFP Student Research Competition-track
Koen ClaessenClaessen, Koen Chalmers University of Technology Committee Member in Distinguished Papers Committee within the ICFP Research Papers-track Committee Member in External Review Committee within the ICFP Research Papers-track
John ClementsClements, John California Polytechnic State UniversityUnited States SFP General Chair in Organizing Committee for ICFP 2018 Committee Member in Organizing Committee within the Scheme-track Committee Member in Program Committee within the Scheme-track
Robert Clifton-EverestClifton-Everest, Robert University of New South WalesAustralia Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
William ClingerClinger, William Committee Member in Steering Committee within the Scheme-track
Andrew CobbCobb, Andrew Northeastern University Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
Jesper CockxCockx, Jesper Chalmers \| University of GothenburgSweden Elaborating Dependent (Co)pattern Matching
Nick CollinsCollins, Nick University of Chicago T02: Direct Manipulation Programming in Sketch-n-Sketch
Youyou CongCong, Youyou Ochanomizu University, JapanJapan Handling Delimited Continuations with Dependent Types
Ryan CulpepperCulpepper, Ryan Czech Technical UniversityCzechia Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
Alcino CunhaCunha, Alcino University of Minho and INESC TEC, PortugalPortugal Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
D Ugo Dal LagoDal Lago, Ugo University of Bologna, Italy / Inria, FranceItaly Committee Member in External Review Committee within the ICFP Research Papers-track
Nils Anders DanielssonDanielsson, Nils Anders University of Gothenburg, Chalmers University of Technology Committee Member in Program Committee within the Haskell-track
David DaraisDarais, David University of VermontUnited States Session Chair of Error Messages & Contexts (part of TyDe) Panel Discussion: Research in Functional Programming Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the TyDe-track
Eva DarulovaDarulova, Eva MPI-SWSGermany Daisy - a framework for sound accuracy analysis and optimization of numerical programs
Ankush DasDas, Ankush Carnegie Mellon UniversityUnited States Parallel Complexity Analysis with Temporal Session Types
Kei DavisDavis, Kei Los Alamos National LaboratoryUnited States FHPC Chair in Organizing Committee for ICFP 2018 Session Chair of Morning Session 1 (part of FHPC) Session Chair of Morning Session 2 (part of FHPC) Optional Discussion Welcome and Introductions Programme Committee in Program Committee within the FHPC-track FHPC Co-chair in Organizing Committee within the FHPC-track
Erik de Castro Lopode Castro Lopo, Erik IOHKAustralia Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Guido De LucaDe Luca, Guido Universidad Nacional de Rosario, Argentina Improving Typeclass Relations by Being Open
Rocco De NicolaDe Nicola, Rocco Committee Member in Program Committee within the Erlang-track
James DeckerDecker, James Refunctionalization of Abstract Abstract Machines: Bridging the Gap between Abstract Abstract Machines and Abstract Definitional Interpreters (Functional Pearl)
Dominique DevrieseDevriese, Dominique Vrije Universiteit Brussel, BelgiumBelgium Coherent Explicit Dictionary Application for Haskell
Iavor DiatchkiDiatchki, Iavor Galois, Inc. Session Chair of Session 4 (part of Haskell)
Larry DiehlDiehl, Larry Generic Zero-Cost Reuse for Dependent Types
Jonathan DiLorenzoDiLorenzo, Jonathan Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Sébastien DoeraeneDoeraene, Sébastien EPFL, SwitzerlandSwitzerland Cross-Platform Language Design in Scala.js
Stephen DolanDolan, Stephen University of CambridgeUnited Kingdom Session Chair of Session 2 (part of OCaml) Safely Mixing OCaml and Rust Committee Member in Program Committee within the OCaml-track
Jesus DominguezDominguez, Jesus IMDEA Software InstituteSpain Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Jacob DonhamDonham, Jacob Twitter, Inc. A Domain-specific Language for Microservices
Derek DreyerDreyer, Derek MPI-SWS ICFP'19 General Chair in Steering Committee for ICFP 2018 ICFP 2019 Announcement Mtac2: Typed Tactics for Backward Reasoning in Coq MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Victor DumitrescuDumitrescu, Victor ML as a Tactic Language, Again
Jana DunfieldDunfield, Jana Queen's University, Kingston, OntarioCanada Committee Member in External Review Committee within the ICFP Research Papers-track
Emanuele D’OsualdoD’Osualdo, Emanuele Imperial College London, UKUnited Kingdom Committee Member in Program Committee within the Erlang-track
E Satoshi EgiEgi, Satoshi Rakuten Institute of TechnologyJapan Loop Patterns: Extension of Kleene Star Operator for More Powerful Pattern Matching against Arbitrary Data Structures
Richard A. EisenbergEisenberg, Richard A. Bryn Mawr College, USAUnited States TyDe Co-chair in Organizing Committee for ICFP 2018 Session Chair of Types (part of TyDe) Welcome! Coercion Quantification Type Variables in Patterns The Thoralf Plugin: For Your Fancy Type Needs Committee Member in Distinguished Papers Committee within the ICFP Research Papers-track Committee Member in External Review Committee within the ICFP Research Papers-track Co-chair in Program Committee within the TyDe-track Committee Member in Organizing Committee within the TyDe-track
Conal ElliottElliott, Conal Target, USAUnited States The Simple Essence of Automatic Differentiation
Martin ElsmanElsman, Martin University of Copenhagen, DenmarkDenmark Session Chair of Continuations and Effects (part of ICFP Research Papers) Modular Acceleration: Tricky Cases of Functional High-Performance Computing Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules Static Interpretation of Higher-Order Modules in Futhark: Functional GPU Programming in the Large Committee Member in Program Committee within the ICFP Research Papers-track
Sebastian ErdwegErdweg, Sebastian Delft University of Technology, NetherlandsNetherlands Scala Symposium General Chair in Organizing Committee for ICFP 2018 Session Chair of Session 3: DSLs & Sponsor Talk (part of Scala) Versatile Event Correlation with Algebraic Effects Compositional Soundness Proofs of Abstract Interpreters General Chair in Organizing Committee within the Scala-track
Joseph EremondiEremondi, Joseph University of British ColumbiaCanada Extended Abstract: Improving Error Messages for Dependent Types
Jacob Thomas ErringtonErrington, Jacob Thomas McGill UniversityCanada Session Chair of T04: Beluga: Programming Proofs About Formal Systems (part of ICFP Tutorials) T04: Beluga: Programming Proofs About Formal Systems
Patrick EugsterEugster, Patrick Purdue University Versatile Event Correlation with Algebraic Effects
F Gian Pietro FarinaFarina, Gian Pietro Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Kavon FarvardinFarvardin, Kavon University of ChicagoUnited States Comparing strategies for lightweight threading based on continuations
Marc FeeleyFeeley, Marc Université de MontréalCanada Tail Calling Between Code Generated by C and Native Backends Committee Member in Steering Committee within the Scheme-track
Matthias FelleisenFelleisen, Matthias Northeastern University, USA A Spectrum of Type Soundness and Performance
Robert Bruce FindlerFindler, Robert Bruce Northwestern University, USAUnited States ICFP'18 General Chair in Steering Committee for ICFP 2018 General Chair in Organizing Committee for ICFP 2018 Session Chair of Monday Keynote (part of ICFP Keynotes and Reports)
Denis FirsovFirsov, Denis University of Iowa, USA Generic Zero-Cost Reuse for Dependent Types
James FishFish, James Pinterest Committee Member in Program Committee within the Erlang-track
Kathleen FisherFisher, Kathleen Tufts University, USAUnited States Autobahn 2.0: Minimizing Bangs while Maintaining Performance (System Demonstration) Synthesizing Quotient Lenses
Matthew FlattFlatt, Matthew University of UtahUnited States ICFP'18 Program Chair in Steering Committee for ICFP 2018 Program Chair in Organizing Committee for ICFP 2018 Session Chair of Tuesday Keynote (part of ICFP Keynotes and Reports) Rebuilding Racket on Chez Scheme: An Experience Report Program Chair's Report Program Chair in Program Committee within the ICFP Research Papers-track
Spencer P. FlorenceFlorence, Spencer P. Northwestern University, USA Student Volunteer Captain in Organizing Committee for ICFP 2018
Matthew FluetFluet, Matthew Rochester Institute of TechnologyUnited States Programming Contest Organizer in Organizing Committee for ICFP 2018 Contest Report and Results Programming Contest Organizer in Organizing Committee within the ICFP Programming Contest-track Committee Member in External Review Committee within the ICFP Research Papers-track
Kenneth FonerFoner, Kenneth What's the Difference? A Functional Pearl on Subtracting Bijections Keep Your Laziness in Check
Nate FosterFoster, Nate Cornell UniversityUnited States Committee Member in External Review Committee within the ICFP Research Papers-track
Scott FradkinFradkin, Scott Flexion Musical Steganography: Hiding Things in Music
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Erlang Workshop Co-chair in Organizing Committee for ICFP 2018 Farewell & Closing Day Openning Co-chair in Organizing Committee within the Erlang-track
Franz FranchettiFranchetti, Franz Carnegie Mellon University, USA HELIX: A Case Study of a Formal Verification of High Performance Program Generation
Daniel FriedmanFriedman, Daniel Indiana University A Surprisingly Competitive Conditional Operator: miniKanrenizing the Inference Rules of Pie
Daniel P. FriedmanFriedman, Daniel P. Indiana University, USA Committee Member in Steering Committee within the Scheme-track
Scott Lystig FritchieFritchie, Scott Lystig Wallaroo LabsUnited States Committee Member in Program Committee within the Erlang-track
Viktória FördősFördős, Viktória Klarna Bank, Sweden Towards Secure Erlang Systems Modelling Distributed Erlang within a Single Node Committee Member in Program Committee within the Erlang-track
G Marco GaboardiGaboardi, Marco University at Buffalo, SUNYUnited States Committee Member in Program Committee within the ICFP Research Papers-track
Clark GaebelGaebel, Clark Jane Street Committee Member in Program Committee within the OCaml-track
Michael GaleGale, Michael University of Warwick, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Ben GamariGamari, Ben Well-Typed LLP Session Chair of GHC (part of HIW) Committee Member in Program Committee within the HIW-track
Ronald GarciaGarcia, Ronald University of British Columbia Member at large in Steering Committee for ICFP 2018 Session Chair of T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages (part of ICFP Tutorials) Gradual Types Gradual Typing T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages Committee Member in Program Committee within the Scheme-track Speaker in Speakers within the PLMW @ ICFP-track
Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan ICFP'16 General Chair in Steering Committee for ICFP 2018 Committee Member in Program Committee within the ML-track
Francesco GavazzoGavazzo, Francesco Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Alex GerdesGerdes, Alex University of Gothenburg, SwedenSweden Understanding Formal Specifications through Good Examples
Zoubin GhahramaniGhahramani, Zoubin University of Cambridge Functional Programming for Modular Bayesian Inference
Theophilos GiannakopoulosGiannakopoulos, Theophilos BAE Systems, Inc. Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
Nick GiannarakisGiannarakis, Nick Princeton University ML as a Tactic Language, Again
Paolo G. GiarrussoGiarrusso, Paolo G. EPFL, SwitzerlandSwitzerland Session Chair of Session 1: Scala Foundations (part of Scala)
Paolo G. GiarrussoGiarrusso, Paolo G. EPFL, Switzerland Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typing Problem
Paolo G. GiarrussoGiarrusso, Paolo G. EPFL, SwitzerlandSwitzerland Committee Member in Steering Committee within the Scala-track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom ICFP'17 General Chair in Steering Committee for ICFP 2018 Session Chair of Wednesday Keynote (part of ICFP Keynotes and Reports) Session Chair of Talks III (part of NPFL) APLicative Programming with Naperian Functors Relational Algebra by Way of Adjunctions What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl) Committee Member in Program Committee within the NPFL-track
Thomas GilrayGilray, Thomas University of Maryland Racets: Faceted Execution in Racket
Matthías Páll GissurarsonGissurarson, Matthías Páll Chalmers University of Technology, SwedenSweden Suggesting Valid Hole Fits for Typed-Holes (Experience Report)
Arthur GlecklerGleckler, Arthur SRFI EditorUnited States Growing Schemes: Twenty Years of Scheme Requests for Implementation
Neal GlewGlew, Neal Programme Committee in Program Committee within the FHPC-track
Sergey GoncharovGoncharov, Sergey Friedrich-Alexander-Universität Erlangen-Nürnberg A Metalanguage for Guarded Iteration
April GonçalvesGonçalves, April Roskilde University, Denmark Abstract Nonsense
Gemma GordonGordon, Gemma University of Cambridge The OCaml Platform 1.0
Sergei GorlatchGorlatch, Sergei Programme Committee in Program Committee within the FHPC-track
Stéphane Graham-LengrandGraham-Lengrand, Stéphane CNRS, France Tight Typings and Split Bounds
Mark GrebeGrebe, Mark University of Central Missouri, USAUnited States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Ben GreenmanGreenman, Ben Northeastern University, USAUnited States SV Slack Monitor in Organizing Committee for ICFP 2018 A Spectrum of Type Soundness and Performance
Semyon GrigorevGrigorev, Semyon Saint-Petersburg State University, JetBrains ResearchRussia Extended Abstract: F# OpenCL Type Provider
Semyon GrigorevGrigorev, Semyon Saint Petersburg State University, Russia Parser Combinators for Context-Free Path Querying
Sarah Groff Hennigh-PalermoGroff Hennigh-Palermo, Sarah La Habra — Livecoding with Clojurescript
Dan GrossmanGrossman, Dan University of WashingtonUnited States Functional Programming for Compiling and Decompiling Computer-Aided Design
Ronghui GuGu, Ronghui Columbia University Committee Member in Selection Committee within the ICFP Student Research Competition-track
Armaël GuéneauGuéneau, Armaël Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Samuel GélineauGélineau, Samuel SimSpaceCanada Lightning talk: The trick which makes exceptions-0.10.0 possible
Ulysse GérardGérard, Ulysse INRIA Functional programming with MLTS
H Jennifer HackettHackett, Jennifer University of Nottingham, UKUnited Kingdom Compositional Computational Constructive Critique: Or, How My Computer Learned to Appreciate Poetry Parametric Polymorphism and Operational Improvement Programme Committee in Program Committee within the FHPC-track Committee Member in Program Committee within the TyDe-track
Jurriaan HageHage, Jurriaan Utrecht University Extended Abstract: Improving Error Messages for Dependent Types Committee Member in External Review Committee within the ICFP Research Papers-track
Philipp HallerHaller, Philipp KTH, SwedenGermany Session Chair of Session 2: Scala Extensions & Parsing (part of Scala) Session Chair of Student Talks 2 (part of Scala) Extending Scala with Records: Design, Implementation, and Evaluation Committee Member in Steering Committee within the Scala-track
Aliya HameerHameer, Aliya McGill University Session Chair of T04: Beluga: Programming Proofs About Formal Systems (part of ICFP Tutorials) T04: Beluga: Programming Proofs About Formal Systems
Dong HanHan, Dong Beijing Bytedance, ChinaChina A High-Performance Multicore IO Manager Based on libuv (Experience Report)
Martin A. T. HandleyHandley, Martin A. T. University of Nottingham, UK AutoBench: Comparing the Time Performance of Haskell Programs
Stefan HanenbergHanenberg, Stefan University of Duisburg-Essen, Germany Understanding Formal Specifications through Good Examples
Pat HanrahanHanrahan, Pat Stanford University, USA The Role of Functional Programming and DSLs in Hardware
Michael HanusHanus, Michael Kiel UniversityGermany Committee Member in Program Committee within the HIW-track
Robert HarperHarper, Robert Competitive Parallelism: Getting Your Priorities Right
Joseph HarrisonHarrison, Joseph University of Kent, UKUnited Kingdom Automatic Detection of Core Erlang Message Passing Errors
Chris HawblitzelHawblitzel, Chris Microsoft Research ML as a Tactic Language, Again
Tao HeHe, Tao Beijing Bytedance, China A High-Performance Multicore IO Manager Based on libuv (Experience Report)
Brian HeimHeim, Brian Yale Committee Member in Program Committee within the FARM-track
Brian HempelHempel, Brian University of Chicago Session Chair of T02: Direct Manipulation Programming in Sketch-n-Sketch (part of ICFP Tutorials) T02: Direct Manipulation Programming in Sketch-n-Sketch
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU)Denmark Relational Algebra by Way of Adjunctions
Troels HenriksenHenriksen, Troels University of Copenhagen, DenmarkDenmark Modular Acceleration: Tricky Cases of Functional High-Performance Computing Static Interpretation of Higher-Order Modules in Futhark: Functional GPU Programming in the Large Programme Committee in Program Committee within the FHPC-track Committee Member in Program Committee within the ML-track
Maurice HerlihyHerlihy, Maurice Brown University, USA Authenticated Modular Maps in Haskell
Ralf HinzeHinze, Ralf Radboud University Nijmegen Relational Algebra by Way of Adjunctions
Andrew K. HirschHirsch, Andrew K. Cornell University Strict and Lazy Semantics for Effects: Layering Monads and Comonads
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Parallel Complexity Analysis with Temporal Session Types
Eric HolkHolk, Eric Google Schism: A Self-Hosting Scheme to WebAssembly Compiler
Jaemin HongHong, Jaemin KAIST, South KoreaSouth Korea Path Dependent Types with Path-Equality
Rudi HornHorn, Rudi University of Edinburgh Incremental Relational Lenses
Cătălin HriţcuHriţcu, Cătălin Inria Paris ML as a Tactic Language, Again
Zhenjiang HuHu, Zhenjiang National Institute of InformaticsJapan Committee Member in External Review Committee within the ICFP Research Papers-track
Austin HuangHuang, Austin Pfizer Hasktorch: A Comprehensive Haskell Library for Differentiable Functional Programming
Laurent HuberdeauHuberdeau, Laurent Tail Calling Between Code Generated by C and Native Backends
John HughesHughes, John Chalmers University of Technology, Sweden Member at large in Steering Committee for ICFP 2018 Understanding Formal Specifications through Good Examples Typing the Wild in Erlang Branching Processes for QuickCheck Generators
Graham HuttonHutton, Graham University of Nottingham, UKUnited Kingdom AutoBench: Comparing the Time Performance of Haskell Programs Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl) Parametric Polymorphism and Operational Improvement Committee Member in Program Committee within the Haskell-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Member at large in Steering Committee for ICFP 2018 Committee Member in Program Committee within the Scala-track
Can InceInce, Can ince.io Committee Member in Program Committee within the FARM-track
Sebastian IvarssonIvarsson, Sebastian Chalmers University of Technology, Sweden Understanding Formal Specifications through Good Examples
J Judah JacobsonJacobson, Judah Pier: yet another Haskell build tool
Sadiq JafferJaffer, Sadiq Opsian OCaml on the ESP32 chip: Well Typed Lightbulbs Await
Suresh JagannathanJagannathan, Suresh Purdue University Committee Member in External Review Committee within the ICFP Research Papers-track
Mauro JaskelioffJaskelioff, Mauro CONICET, ArgentinaArgentina Improving Typeclass Relations by Being Open Committee Member in Program Committee within the Haskell-track
Alan JeffreyJeffrey, Alan Mozilla ResearchUnited States Accessibility Chair in Organizing Committee for ICFP 2018 Industrial Relations Chair in Organizing Committee for ICFP 2018
Chris JenkinsJenkins, Chris The University of Iowa T01: Introduction to Programming and Proving in Cedille
Ranjit JhalaJhala, Ranjit University of California, San DiegoUnited States An opinionated talk on how to give talks Committee Member in Speakers within the PLMW @ ICFP-track
Cora Johnson-RobersonJohnson-Roberson, Cora GAYER: A Graphical Audio plaYER in ReasonML
Mark JonesJones, Mark Portland State University ICFP'17 Program Chair in Steering Committee for ICFP 2018
Jacques-Henri JourdanJourdan, Jacques-Henri CNRS, LRI, Université Paris-SudFrance MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Ralf JungJung, Ralf MPI-SWSGermany MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Kristoffer Just Arndal AndersenJust Arndal Andersen, Kristoffer Aarhus UniversityDenmark Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
K Ifaz KabirKabir, Ifaz University of Waterloo, CanadaCanada κDOT: Scaling DOT with Mutation and Constructors
Jan-Oliver KaiserKaiser, Jan-Oliver MPI-SWS Mtac2: Typed Tactics for Backward Reasoning in Coq MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Gowtham KakiKaki, Gowtham Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
David Kaloper-MeršinjakKaloper-Meršinjak, David University of CambridgeUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Yukiyoshi KameyamaKameyama, Yukiyoshi University of Tsukuba, JapanJapan Committee Member in Program Committee within the Scheme-track
Ohad KammarKammar, Ohad University of OxfordUnited Kingdom A domain theory for statistical probabilistic programming Partially-Static Data as Free Extension of Algebras Functional Programming for Modular Bayesian Inference
Olof KarlssonKarlsson, Olof A3J Consulting, Sweden Extending Scala with Records: Design, Implementation, and Evaluation
Shin-ya KatsumataKatsumata, Shin-ya National Institute of InformaticsJapan Committee Member in Program Committee within the HOPE-track Committee Member in Program Committee within the TyDe-track
Sven KeidelKeidel, Sven Delft University of Technology, NetherlandsNetherlands Compositional Soundness Proofs of Abstract Interpreters
Gabriele KellerKeller, Gabriele Data61,CSIRO (formerly NICTA) and UNSWAustralia ICFP'16 General Chair in Steering Committee for ICFP 2018 Committee Member in Program Committee within the NPFL-track
Andrew KennedyKennedy, Andrew Facebook LondonUnited Kingdom OCaml Workshop Chair in Organizing Committee for ICFP 2018 Session Chair of Session 6 (part of OCaml) Session Chair of Session 1 (part of OCaml) Introduction Program Chair in Program Committee within the OCaml-track Committee Member in Program Committee within the ML-track
Delia KesnerKesner, Delia IRIF, France / University of Paris Diderot, France Tight Typings and Split Bounds
Ilya KirillovKirillov, Ilya Saint Petersburg State University, Russia Parser Combinators for Context-Free Path Querying
Oleg KiselyovKiselyov, Oleg Generating Mutually Recursive Definitions Committee Member in Program Committee within the Haskell-track
Csongor KissKiss, Csongor Imperial College LondonUnited Kingdom Generic Deriving of Generic Traversals
Andreas KlebingerKlebinger, Andreas Lightning talk: Perfomance impact of control flow optimization
Felix KlockKlock, Felix Committee Member in Program Committee within the ML-track
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ National Institute of Informatics, JapanTaiwan Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Naoki KobayashiKobayashi, Naoki University of Tokyo, Japan Committee Member in External Review Committee within the ICFP Research Papers-track
Christoph E. KochKoch, Christoph E. EPFL Extended Abstract: Comprehending Monoids with Class
Alex KoganKogan, Alex Oracle Labs, USAUnited States Authenticated Modular Maps in Haskell
Wen KokkeKokke, Wen University of EdinburghUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Chaitanya KoparkarKoparkar, Chaitanya Indiana UniversityUnited States An Efficient Compiler for Recursive Functions on Mostly-Serialized Data Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
James KoppelKoppel, James MIT Capturing the Future by Replaying the Past (Functional Pearl)
Joomy KorkutKorkut, Joomy Wesleyan University, USA Extensible Type-Directed Editing
Dmitrii KosarevKosarev, Dmitrii Russia Generic Programming with Combinators and Objects
Tamás KozsikKozsik, Tamás Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers Committee Member in Program Committee within the Erlang-track
Robbert KrebbersKrebbers, Robbert Delft University of TechnologyNetherlands Mtac2: Typed Tactics for Backward Reasoning in Coq MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Neel KrishnaswamiKrishnaswami, Neel Computer Laboratory, University of Cambridge Committee Member in External Review Committee within the ICFP Research Papers-track
Andre KuhlenschmidtKuhlenschmidt, Andre Indiana UniversityUnited States An Efficient Compiler for the Gradually Typed Lambda Calculus
Roland KuhnKuhn, Roland Typesafe Committee Member in Program Committee within the Erlang-track
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu MPI-SWS, Germany iDeA: An Immersive Debugger for Actors
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States An Efficient Compiler for Recursive Functions on Mostly-Serialized Data
Ramana KumarKumar, Ramana DeepMindUnited Kingdom Committee Member in Program Committee within the ML-track
Rose KunkelKunkel, Rose University of Maryland, USA Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl)
Lindsey KuperKuper, Lindsey University of California, Santa Cruz Publicity Chair in Steering Committee for ICFP 2018 Publicity Chair in Organizing Committee for ICFP 2018
L Leonidas LampropoulosLampropoulos, Leonidas University of PennsylvaniaGreece Panel Discussion: Research in Functional Programming Keep Your Laziness in Check
Victor LanvinLanvin, Victor ENS Cachan, FranceFrance Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Ken Friis LarsenLarsen, Ken Friis DIKU, University of Copenhagen Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules
James LarsonLarson, James Google, USA Committee Member in Program Committee within the Erlang-track
Kévin Le BonLe Bon, Kévin Inria MLExplain
Daan LeijenLeijen, Daan Microsoft Research, USAUnited States Session Chair of Applications and Monoids (part of TyDe) Taming Control Flow through Linear Effect Handlers First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic Effect Handlers Committee Member in Program Committee within the TyDe-track
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States Extrinsic vs Intrinsic Specifications, and Subset Types
Roman LeshchinskiyLeshchinskiy, Roman FacebookUnited Kingdom Committee Member in Program Committee within the HIW-track
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada κDOT: Scaling DOT with Mutation and Constructors Scala with explicit nulls (student talk) Committee Member in Steering Committee within the Scala-track
Yao LiLi, Yao University of PennsylvaniaUnited States Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report)
Daniel R. LicataLicata, Daniel R. Wesleyan UniversityUnited States PLMW Co-Chair in Organizing Committee for ICFP 2018 Co-chair in Organizing Committee within the PLMW @ ICFP-track
Sam LindleyLindley, Sam University of Edinburgh, UKUnited Kingdom Session Chair of Semantics (part of ICFP Research Papers) Session Chair of Session 2 (part of Haskell) Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the ICFP Research Papers-track
Fengyun LiuLiu, Fengyun EPFL, SwitzerlandSwitzerland Initialization Patterns in Dotty Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Aedan LombardoLombardo, Aedan Yale University, USA Programming-by-Example for Audio: Synthesizing Digital Signal Processing Programs
Cheng LouLou, Cheng Facebook R&B: Towards bringing functional programming to everyday's web programmer
Justin LubinLubin, Justin Session Chair of T02: Direct Manipulation Programming in Sketch-n-Sketch (part of ICFP Tutorials) T02: Direct Manipulation Programming in Sketch-n-Sketch
Kenneth LundinLundin, Kenneth Latest News from the OTP Team
Andres LöhLöh, Andres Well-Typed, UK Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern Committee Member in Program Committee within the Haskell-track
M Weixi MaMa, Weixi A Surprisingly Competitive Conditional Operator: miniKanrenizing the Inference Rules of Pie
Nuno MacedoMacedo, Nuno University of Minho & INESC TEC Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
Ravichandhran MadhavanMadhavan, Ravichandhran EPFLSwitzerland Committee Member in Program Committee within the Scala-track
Anil MadhavapeddyMadhavapeddy, Anil OCaml LabsUnited Kingdom The OCaml Platform 1.0 OCaml on the ESP32 chip: Well Typed Lightbulbs Await
Kenji MaillardMaillard, Kenji Inria Paris and ENS Paris A preview of a tutorial on L (polarized μμ̃)
Solomon MainaMaina, Solomon University of Pennsylvania Synthesizing Quotient Lenses
Rupak MajumdarMajumdar, Rupak MPI-SWS, Germany iDeA: An Immersive Debugger for Actors
Louis MandelMandel, Louis IBM ResearchUnited States Session Chair of T08: Implement your own reactive language: the ReactiveML experiment (part of ICFP Tutorials) T08: Implement your own reactive language: the ReactiveML experiment
Simon MarlowMarlow, Simon Facebook Artefact Evaluation Co-Chair in Organizing Committee for ICFP 2018 Session Chair of Session 7 (part of Haskell) Co-chair in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Chris MartensMartens, Chris North Carolina State UniversityUnited States Committee Member in Selection Committee within the ICFP Student Research Competition-track Committee Member in Program Committee within the FARM-track
Guillaume MartresMartres, Guillaume EPFL, SwitzerlandSwitzerland Adding polymorphic functions to Scala (Student Talk)
Guido MartínezMartínez, Guido CIFASIS-CONICET, ArgentinaArgentina ML as a Tactic Language, Again Improving Typeclass Relations by Being Open Committee Member in Program Committee within the ML-track
Aman Shankar MathurMathur, Aman Shankar MPI-SWS, Germany iDeA: An Immersive Debugger for Actors
Kazutaka MatsudaMatsuda, Kazutaka Tohoku University, JapanJapan Embedding Invertible Languages with Binders: A Case of the FliPpr Language Committee Member in External Review Committee within the ICFP Research Papers-track
Kiminori MatsuzakiMatsuzaki, Kiminori Kochi University of Technology, JapanJapan Programme Committee in Program Committee within the FHPC-track
Michel MaunyMauny, Michel The OCaml Software Foundation
Mikaël MayerMayer, Mikaël EPFL, Switzerland Session Chair of T02: Direct Manipulation Programming in Sketch-n-Sketch (part of ICFP Tutorials) T02: Direct Manipulation Programming in Sketch-n-Sketch
Conor McBrideMcBride, Conor A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Colin McDonaldMcDonald, Colin T01: Introduction to Programming and Proving in Cedille
Trevor L. McDonellMcDonell, Trevor L. University of New South Wales, AustraliaAustralia Committee Member in External Review Committee within the ICFP Research Papers-track
James McKinnaMcKinna, James A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Christopher MeiklejohnMeiklejohn, Christopher Carnegie Mellon UniversityUnited States Invited Keynote -- Distributed Erlang: From Datacenter Applications to Planetary Scale Applications
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Committee Member in External Review Committee within the ICFP Research Papers-track
Eric MertensMertens, Eric Galois, Inc. Session Chair of T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games (part of ICFP Tutorials) T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games
Pierre-Étienne MeunierMeunier, Pierre-Étienne Session Chair of T09: Pijul, a purely functional version control system (part of ICFP Tutorials) T09: Pijul, a purely functional version control system.
Mira MeziniMezini, Mira TU DarmstadtGermany Versatile Event Correlation with Algebraic Effects
Kristopher MicinskiMicinski, Kristopher Haverford CollegeUnited States Racets: Faceted Execution in Racket
Alex MillerMiller, Alex Cognitect Committee Member in Organizing Committee for ICFP 2018
Dale MillerMiller, Dale INRIA Functional programming with MLTS
Heather MillerMiller, Heather Carnegie Mellon University Session Chair of Compilation and Concurrency (part of ICFP Research Papers) I'm a Young Assistant Professor: AMA. + Heather's Unsolicited Advice About Grad School Committee Member in Program Committee within the ML-track Committee Member in Speakers within the PLMW @ ICFP-track Committee Member in Program Committee within the Scala-track Committee Member in Steering Committee within the Scala-track Committee Member in Program Committee within the ICFP Research Papers-track
Anders MiltnerMiltner, Anders Princeton University Synthesizing Quotient Lenses
Hisayuki MimaMima, Hisayuki Tohoku University Finitary Polymorphism for Optimizing Type-Directed Compilation
Étienne MiqueyMiquey, Étienne INRIA A preview of a tutorial on L (polarized μμ̃)
Victor Cacciari MiraldoMiraldo, Victor Cacciari Utrecht University, Netherlands Authenticated Modular Maps in Haskell Sums of Products for Mutually Recursive Datatypes: The Appropriationist’s View on Generic Programming Generic Programming of All Kinds
Eduardo MirandaMiranda, Eduardo University of Plymouth Committee Member in Program Committee within the FARM-track
Agustín MistaMista, Agustín Universidad Nacional de Rosario, ArgentinaArgentina Branching Processes for QuickCheck Generators
Neil MitchellMitchell, Neil Build Systems à la Carte
Mark MoirMoir, Mark Oracle Labs, New Zealand Authenticated Modular Maps in Haskell
Andrey MokhovMokhov, Andrey Newcastle University, UK Build Systems à la Carte
Sebastien MondetMondet, Sebastien Mount Sinai - Hammer Lab The Vecosek Ecosystem Call For Collaboration: The Vecosek Ecosystem
Xavier MontilletMontillet, Xavier INRIA A preview of a tutorial on L (polarized μμ̃)
Adriaan MoorsMoors, Adriaan Lightbend Committee Member in Program Committee within the Scala-track
Akimasa MorihataMorihata, Akimasa University of TokyoJapan Publications Co-Chair in Organizing Committee for ICFP 2018 Committee Member in External Review Committee within the ICFP Research Papers-track
J. Garrett MorrisMorris, J. Garrett University of Kansas, USAUnited States Session Chair of Program Construction (part of ICFP Research Papers) Committee Member in Distinguished Papers Committee within the ICFP Research Papers-track Committee Member in Program Committee within the ICFP Research Papers-track
Shin-Cheng MuMu, Shin-Cheng Academia Sinica, Taiwan Committee Member in Program Committee within the TyDe-track
Stefan K. MullerMuller, Stefan K. Competitive Parallelism: Getting Your Priorities Right
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume InriaFrance A preview of a tutorial on L (polarized μμ̃)
Philip MunksgaardMunksgaard, Philip Intelligent Alpha AG, Switzerland Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules
Tom MurphyMurphy, Tom FARM Performance Chair in Organizing Committee for ICFP 2018 Session Chair of Live Coding (part of FARM) FARM 2018 Performances Evening of Algorithmic Arts Welcome Closing Performance Chair in Organizing Committee within the FARM-track
Rahul MuttineniMuttineni, Rahul TypeLead Invited Talk: Let’s Go Mainstream with Eta!
N Chandrakana NandiNandi, Chandrakana University of Washington, USAUnited States Functional Programming for Compiling and Decompiling Computer-Aided Design
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain Committee Member in External Review Committee within the ICFP Research Papers-track
Monal NarasimhamurthyNarasimhamurthy, Monal ML as a Tactic Language, Again
Miguel NegrãoNegrão, Miguel Polytechnic Institute of Leiria NNdef: Livecoding Digital Musical Instruments in SuperCollider using Functional Reactive Programming
Max S. NewNew, Max S. Northeastern University Graduality from Embedding-Projection Pairs
Ryan R. NewtonNewton, Ryan R. Indiana UniversityUnited States An Efficient Compiler for Recursive Functions on Mostly-Serialized Data
Rumyana NeykovaNeykova, Rumyana Imperial College London, UKUnited Kingdom Committee Member in Program Committee within the Erlang-track
My NguyenNguyen, My Bryn Mawr College Type-level visible type application
Kim NguyễnNguyễn, Kim University of Paris-Sud, France Committee Member in External Review Committee within the ICFP Research Papers-track
Abel NietoNieto, Abel University of WaterlooCanada Scala with explicit nulls (student talk)
Henrik NilssonNilsson, Henrik University of Nottingham, UK Committee Member in Program Committee within the ICFP Research Papers-track
Matt NoonanNoonan, Matt Kataskeue, USA Ghosts of Departed Proofs (Functional Pearl)
Ilya NozkinNozkin, Ilya Saint Petersburg State University, Russia Parser Combinators for Context-Free Path Querying
Nate NystromNystrom, Nate USI Lugano, Switzerland Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL
O Liam O'ConnorO'Connor, Liam University of New South WalesAustralia Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Cosmin OanceaOancea, Cosmin University of Copenhagen, DenmarkDenmark Modular Acceleration: Tricky Cases of Functional High-Performance Computing Static Interpretation of Higher-Order Modules in Futhark: Functional GPU Programming in the Large Committee Member in External Review Committee within the ICFP Research Papers-track
Martin OderskyOdersky, Martin EPFL, SwitzerlandSwitzerland Initialization Patterns in Dotty Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typing Problem Interflow: Interprocedural Flow-Sensitive Type Inference and Method Duplication Committee Member in Steering Committee within the Scala-track
Atsushi OhoriOhori, Atsushi Tohoku University, Japan Finitary Polymorphism for Optimizing Type-Directed Compilation Programme Committee in Program Committee within the FHPC-track
Nicolás Ojeda BärOjeda Bär, Nicolás LexiFiFrance Committee Member in Program Committee within the OCaml-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong, ChinaHong Kong Scala Symposium Program Chair in Organizing Committee for ICFP 2018 Session Chair of Keynote (part of Scala) Committee Member in Program Committee within the Haskell-track Program Chair in Organizing Committee within the Scala-track Committee Member in External Review Committee within the ICFP Research Papers-track
Cyrus OmarOmar, Cyrus University of ChicagoUnited States Relit: Implementing Typed Literal Macros in Reason Reasonably Programmable Literal Notation
Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Committee Member in Program Committee within the TyDe-track
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in Program Committee within the TyDe-track
Klaus OstermannOstermann, Klaus University of Tübingen, GermanyGermany Committee Member in Program Committee within the Scala-track
Katie OtsOts, Katie FacebookUnited Kingdom Panel Discussion: Research in Functional Programming
Divesh OtwaniOtwani, Divesh Haverford College, USA The Thoralf Plugin: For Your Fancy Type Needs
Max OvsiankinOvsiankin, Max UC BerkeleyUnited States Validating Changes in Typechecking on Codebases with SemanticDB (Student talk)
P Hugo PachecoPacheco, Hugo University of Minho, PortugalPortugal Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA) SIGPLAN Chair in Steering Committee for ICFP 2018
Pavel PanchekhaPanchekha, Pavel University of WashingtonUnited States Exact Real Arithmetic for Geometric Operations
Zoe ParaskevopoulouParaskevopoulou, Zoe Princeton UniversityUnited States ML as a Tactic Language, Again Committee Member in Program Committee within the TyDe-track
Alberto PardoPardo, Alberto Universidad de la Republica, Uruguay Committee Member in Program Committee within the TyDe-track
Jihyeok ParkPark, Jihyeok KAIST, South KoreaSouth Korea Path Dependent Types with Path-Equality
Lionel ParreauxParreaux, Lionel EPFLSwitzerland Extended Abstract: Comprehending Monoids with Class
Cédric PasteurPasteur, Cédric Session Chair of T08: Implement your own reactive language: the ReactiveML experiment (part of ICFP Tutorials) T08: Implement your own reactive language: the ReactiveML experiment
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States Rust Distilled: An Expressive Tower of Languages
Artem PelenitsynPelenitsyn, Artem Northeastern UniversityRussia Julia Subtyping Lessons Scala Could Learn (Student Talk)
Roly PereraPerera, Roly University of GlasgowUnited Kingdom Incremental Relational Lenses
Ivan PerezPerez, Ivan National Institute of Aerospace, USA Panel Discussion: Research in Functional Programming Rhine: FRP with Type-Level Clocks Fault Tolerant Functional Reactive Programming (Functional Pearl) Committee Member in Program Committee within the FARM-track Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Tomas PetricekPetricek, Tomas Alan Turing InstituteUnited Kingdom Committee Member in External Review Committee within the ICFP Research Papers-track
Tommaso PetruccianiPetrucciani, Tommaso DIBRIS, Università di Genova, Italy & IRIF, Université Paris Diderot, FranceItaly Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Simon Peyton JonesPeyton Jones, Simon Microsoft, UK How to write a Great Research Paper GHC Update GHC Community Discussion Type Variables in Patterns Build Systems à la Carte Committee Member in Speakers within the PLMW @ ICFP-track Committee Member in External Review Committee within the ICFP Research Papers-track
Frank PfenningPfenning, Frank Carnegie Mellon University, USA Parallel Complexity Analysis with Temporal Session Types
Matthew PickeringPickering, Matthew University of BristolUnited Kingdom Source Plugins Implementing Linear Haskell Generic Deriving of Generic Traversals
Brigitte PientkaPientka, Brigitte McGill University Session Chair of T04: Beluga: Programming Proofs About Formal Systems (part of ICFP Tutorials) T04: Beluga: Programming Proofs About Formal Systems
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States SIGPLAN Vice Chair in Steering Committee for ICFP 2018 Synthesizing Quotient Lenses Report on ICFP and Climate Change Committee Member in External Review Committee within the ICFP Research Papers-track
Maciej PirógPiróg, Maciej University of WrocławPoland Programming with Abstract Algebraic Effects Committee Member in Program Committee within the Haskell-track
Ruzica PiskacPiskac, Ruzica Yale University, USA Programming-by-Example for Audio: Synthesizing Digital Signal Processing Programs
Clément Pit-ClaudelPit-Claudel, Clément MIT CSAIL ML as a Tactic Language, Again
Lucas PluvinagePluvinage, Lucas ENS ParisFrance OCaml on the ESP32 chip: Well Typed Lightbulbs Await
Piotr PolesiukPolesiuk, Piotr University of Wrocław Programming with Abstract Algebraic Effects
Nadia PolikarpovaPolikarpova, Nadia University of California, San DiegoUnited States What an SMT solver can do for you Committee Member in Speakers within the PLMW @ ICFP-track
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Publications Co-Chair in Organizing Committee for ICFP 2018
François PottierPottier, François Inria, FranceFrance ICFP'19 Program Chair in Steering Committee for ICFP 2018 Hope Co-chair in Organizing Committee for ICFP 2018 Co-chair in Organizing Committee within the HOPE-track Committee Member in Program Committee within the ICFP Research Papers-track
Marc PouzetPouzet, Marc École normale supérieureFrance Session Chair of T08: Implement your own reactive language: the ReactiveML experiment (part of ICFP Tutorials) T08: Implement your own reactive language: the ReactiveML experiment
José ProençaProença, José HASLab/INESC TEC & University of MinhoPortugal Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Committee Member in Program Committee within the Scala-track
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States ML as a Tactic Language, Again Committee Member in Program Committee within the OCaml-track
Q Donya QuickQuick, Donya Stevens Institute of TechnologyUnited States FARM Program Chair in Organizing Committee for ICFP 2018 Session Chair of Audio (part of FARM) Session Chair of Art (part of FARM) Pattern-Based Algorithmic Music with Euterpea Welcome FARM 2018 Demo Summary Closing Program Chair in Organizing Committee within the FARM-track
R Gabriel RadanneRadanne, Gabriel University of Freiburg, GermanyFrance This PDF is an OCaml bytecode Abusing Format for fun and profits
Mike RaineyRainey, Mike FHPC Co-chair in Organizing Committee for ICFP 2018 Session Chair of Afternoon Session 1 (part of FHPC) Session Chair of Afternoon Session 2 (part of FHPC) Optional Discussion Welcome and Introductions Programme Committee in Program Committee within the FHPC-track FHPC Co-chair in Organizing Committee within the FHPC-track
Tahina RamananandroRamananandro, Tahina Microsoft Research, n.n.United States ML as a Tactic Language, Again
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia ML as a Tactic Language, Again
Christoph RauchRauch, Christoph FAU Erlangen-Nürnberg, Lehrstuhl 8 A Metalanguage for Guarded Iteration
Martin RaumRaum, Martin Chalmers University of Technology Committee Member in Program Committee within the NPFL-track
Wolfgang ReisigReisig, Wolfgang Humboldt-Universität zu Berlin, Germany Modeling Erlang Processes as Petri Nets
Iris RenRen, Iris University of Utrecht Committee Member in Program Committee within the FARM-track
John ReppyReppy, John University of Chicago Comparing strategies for lightweight threading based on continuations Optimizing Data Parallelism with Linear Programming in Nessie
Eva RichterRichter, Eva Potsdam University Error analysis almost for free
Matti RichterRichter, Matti Potsdam University Error analysis almost for free
Christine RizkallahRizkallah, Christine University of New South WalesAustralia Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report) Committee Member in External Review Committee within the ICFP Research Papers-track
Amos RobinsonRobinson, Amos Ambiata (Australia) Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Alexandre Jorge Barbosa RodriguesRodrigues, Alexandre Jorge Barbosa Klarna Bank, Sweden Towards Secure Erlang Systems
Kate RogersRogers, Kate Yale University, USA Programming-by-Example for Audio: Synthesizing Digital Signal Processing Programs
Wren RomanoRomano, Wren XUnited States Committee Member in Program Committee within the Haskell-track
Tiark RompfRompf, Tiark Purdue UniversityUnited States Refunctionalization of Abstract Abstract Machines: Bridging the Gap between Abstract Abstract Machines and Abstract Definitional Interpreters (Functional Pearl) Committee Member in Poster and Presentation Judges within the ICFP Student Research Competition-track
Andreas RossbergRossberg, Andreas DfinityGermany Neither Web nor Assembly (Invited Talk)
Nathaniel Rudavsky-BrodyRudavsky-Brody, Nathaniel Temporal Logic, μKanren, and a Time-Traveling RDF Database
Matthew RussellRussell, Matthew SimSpace Lightning talk: Implementing a VMware Haskell Client with Extensible Records
Alejandro RussoRusso, Alejandro Chalmers University of Technology, SwedenArgentina Session Chair of Environments and Tools (part of ICFP Research Papers) Panel Discussion: Research in Functional Programming Branching Processes for QuickCheck Generators Committee Member in Program Committee within the ICFP Research Papers-track
Sukyoung RyuRyu, Sukyoung KAIST, South KoreaKorea, South Session Chair of Student Talks 1 (part of Scala) Path Dependent Types with Path-Equality Committee Member in Program Committee within the Scala-track
Thomas RéfisRéfis, Thomas Merlin: A Language Server for OCaml (Experience Report)
Yann Régis-GianasRégis-Gianas, Yann IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2France The OCaml Software Foundation Mtac2: Typed Tactics for Backward Reasoning in Coq
Didier RémyRémy, Didier Inria Disornamentation
S Justus SagemüllerSagemüller, Justus Universität zu Köln, Institut für Geophysik und MeteorologieGermany Manifolds as Haskell types (Ab)using a monadic screen-presentation EDSL as a just-intonation synth pad controller
Laith SakkaSakka, Laith Purdue UniversityUnited States An Efficient Compiler for Recursive Functions on Mostly-Serialized Data
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Versatile Event Correlation with Algebraic Effects
Mark SantolucitoSantolucito, Mark Yale University, USA Programming-by-Example for Audio: Synthesizing Digital Signal Processing Programs
Annabel SatinSatin, Annabel P.C.K. Treasurer & Conference Manager in Organizing Committee for ICFP 2018
Gabriel SchererScherer, Gabriel INRIA SaclayFrance ML Workshop Chair in Organizing Committee for ICFP 2018 Session Chair of Session 4 (part of OCaml) Functional programming with MLTS A preview of a tutorial on L (polarized μμ̃) Merlin: A Language Server for OCaml (Experience Report) Capturing the Future by Replaying the Past (Functional Pearl) Committee Member in Selection Committee within the ICFP Student Research Competition-track Committee Member in Program Committee within the OCaml-track Committee Member in Program Committee within the ML-track
Alan SchmittSchmitt, Alan Inria MLExplain
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Workshops Co-Chair in Organizing Committee for ICFP 2018
Tom SchrijversSchrijvers, Tom KU Leuven Committee Member in External Review Committee within the ICFP Research Papers-track
Lutz SchröderSchröder, Lutz FAU Erlangen-Nürnberg, Lehrstuhl 8 A Metalanguage for Guarded Iteration
Philipp SchusterSchuster, Philipp University of Tübingen, Germany Typing, Representing, and Abstracting Control: Functional Pearl
Ryan ScottScott, Ryan Indiana University at Bloomington, USAUnited States Generalized Abstract GHC.Generics Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern
Ilya SergeySergey, Ilya University College LondonUnited Kingdom Session Chair of Complexity and Bounds (part of ICFP Research Papers) Committee Member in Program Committee within the HOPE-track Committee Member in Program Committee within the ICFP Research Papers-track
Alejandro SerranoSerrano, Alejandro Utrecht University, NetherlandsNetherlands Sums of Products for Mutually Recursive Datatypes: The Appropriationist’s View on Generic Programming Generic Programming of All Kinds Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Manuel SerranoSerrano, Manuel Inria, France Session Chair of T10: Hop.js: JavaScript multitier programming (part of ICFP Tutorials) T10: Hop.js: JavaScript multitier programming Committee Member in External Review Committee within the ICFP Research Papers-track
Marco ServettoServetto, Marco Victoria University of Wellington Committee Member in Program Committee within the Scala-track
Thomas SewellSewell, Thomas UNSW, Australia Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Denys ShabalinShabalin, Denys EPFL, Switzerland Interflow: Interprocedural Flow-Sensitive Type Inference and Method Duplication
Janelle ShaneShane, Janelle Strange Loop Keynote: Machine learning failures - for art!
Cheng ShaoShao, Cheng Tweag I/O Lightning talk: Asterius: Bringing Haskell to WebAssembly
Mary SheeranSheeran, Mary Programme Committee in Program Committee within the FHPC-track
Mark SheldonSheldon, Mark Tufts University Committee Member in Program Committee within the Erlang-track
Mark ShinwellShinwell, Mark Committee Member in Program Committee within the Haskell-track
Olin ShiversShivers, Olin Northeastern University, USA Committee Member in Steering Committee within the Scheme-track
Thomas Sibut-PinoteSibut-Pinote, Thomas UCLFrance Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Filip SieczkowskiSieczkowski, Filip University of WrocławPoland Hope Co-chair in Organizing Committee for ICFP 2018 Programming with Abstract Algebraic Effects Co-chair in Organizing Committee within the HOPE-track Committee Member in Program Committee within the ML-track
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States An Efficient Compiler for the Gradually Typed Lambda Calculus Committee Member in External Review Committee within the ICFP Research Papers-track
Satnam SinghSingh, Satnam X, the moonshot factoryUnited States SIGPLAN Awards
KC SivaramakrishnanSivaramakrishnan, KC University of CambridgeUnited Kingdom Session Chair of Session 3 (part of OCaml) Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Nicholas SmallboneSmallbone, Nicholas Chalmers University of Technology, Sweden Understanding Formal Specifications through Good Examples
Kirill SmirenkoSmirenko, Kirill Saint Petersburg State University Extended Abstract: F# OpenCL Type Provider
Chris SmithSmith, Chris Google, USA Lightning talk: CodeWorld: Teaching Haskell and mathematics to children
Armando Solar-LezamaSolar-Lezama, Armando MIT CSAILUnited States Capturing the Future by Replaying the Past (Functional Pearl)
Matthieu SozeauSozeau, Matthieu InriaFrance Equivalences for Free: Univalent Parametricity for Effective Transport Committee Member in Program Committee within the TyDe-track
Antal Spector-ZabuskySpector-Zabusky, Antal Lightning talk: CoreSpec: Verifying GHC with hs-to-coq Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report)
Michael SperberSperber, Michael Active Group GmbHGermany Session Chair of T05: Purely functional UIs with Reacl (part of ICFP Tutorials) Session Chair of Probabilistic Programming and Learning (part of ICFP Research Papers) T05: Purely functional UIs with Reacl Committee Member in Distinguished Papers Committee within the ICFP Research Papers-track Committee Member in Program Committee within the ICFP Research Papers-track
Arnaud SpiwackSpiwack, Arnaud Tweag I/OFrance Implementing Linear Haskell
Antonis StampoulisStampoulis, Antonis Originate Inc.United States Prototyping a Functional Language using Higher-Order Logic Programming: A Functional Pearl on Learning the Ways of λProlog/Makam Committee Member in Program Committee within the ML-track
Jacob StanleyStanley, Jacob AmbiataAustralia Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Sam StatonStaton, Sam University of Oxford A domain theory for statistical probabilistic programming
Paul StecklerSteckler, Paul Committee Member in Program Committee within the Scheme-track
Dominic SteinitzSteinitz, Dominic Tweag I/OUnited Kingdom Numerical Programming in Functional Languages Chair in Organizing Committee for ICFP 2018 Session Chair of Keynote (part of NPFL) Session Chair of Talks I (part of NPFL) Session Chair of Talks II (part of NPFL) Session Chair of Talks V (part of NPFL) Session Chair of Talks IV (part of NPFL) A Haskell Interface to Sundials via inline-c Chair in Program Committee within the NPFL-track Chair in Organizing Committee within the NPFL-track
George StelleStelle, George Preventing Data Races with Refinement Types
Sam StitesStites, Sam SentenaiUnited States Hasktorch: A Comprehensive Haskell Library for Differentiable Functional Programming
Nicolas StuckiStucki, Nicolas EPFL, SwitzerlandSwitzerland Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typing Problem
Sandro StuckiStucki, Sandro Chalmers \| University of GothenburgSwitzerland Committee Member in Steering Committee within the Scala-track
Aaron StumpStump, Aaron The University of Iowa, USAUnited States Presenter of T01: Introduction to Programming and Proving in Cedille (part of ICFP Tutorials) T01: Introduction to Programming and Proving in Cedille Generic Zero-Cost Reuse for Dependent Types
Eijiro SumiiSumii, Eijiro Tohoku University ICFP'16 Program Chair in Steering Committee for ICFP 2018
Marilyn SunSun, Marilyn Tufts University, USA Autobahn 2.0: Minimizing Bangs while Maintaining Performance (System Demonstration)
Philippe SuterSuter, Philippe Two SigmaSwitzerland Committee Member in Program Committee within the Scala-track
Josef SvenningssonSvenningsson, Josef EricssonSweden Committee Member in External Review Committee within the ICFP Research Papers-track
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States ML as a Tactic Language, Again
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands Member at large in Steering Committee for ICFP 2018 Session Chair of Bidirectional Programming (part of ICFP Research Papers) From Algebra to Abstract Machine: A Verified Generic Construction Extended Abstract: Improving Error Messages for Dependent Types Committee Member in Distinguished Papers Committee within the ICFP Research Papers-track Committee Member in Program Committee within the ICFP Research Papers-track
Dániel SzoboszlaySzoboszlay, Dániel Klarna Bank, SwedenSweden Modelling Distributed Erlang within a Single Node
T Nicolas TabareauTabareau, Nicolas InriaFrance Equivalences for Free: Univalent Parametricity for Effective Transport Committee Member in External Review Committee within the ICFP Research Papers-track
Éric TanterTanter, Éric University of Chile & Inria ParisChile Session Chair of T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages (part of ICFP Tutorials) Session Chair of Gradual Typing and Proving (part of ICFP Research Papers) Equivalences for Free: Univalent Parametricity for Effective Transport T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages Committee Member in Program Committee within the ICFP Research Papers-track
Joseph TassarottiTassarotti, Joseph Carnegie Mellon University MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Enrico TassiTassi, Enrico INRIA ELPI: an extension language with binders and unification variables (Invited talk)
Ross TateTate, Ross Cornell UniversityUnited States Strict and Lazy Semantics for Effects: Layering Monads and Comonads Committee Member in Program Committee within the Scala-track
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States Functional Programming for Compiling and Decompiling Computer-Aided Design
Henning ThielemannThielemann, Henning Committee Member in Program Committee within the FARM-track Committee Member in Program Committee within the NPFL-track
Amin TimanyTimany, Amin imec-Distrinet KU-LeuvenBelgium MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic Committee Member in Program Committee within the HOPE-track
Carlos Tomé CortiñasTomé Cortiñas, Carlos Utrecht University, Netherlands From Algebra to Abstract Machine: A Verified Generic Construction
Kanae TsushimaTsushima, Kanae National Institute of Informatics, JapanJapan Committee Member in Program Committee within the OCaml-track
Andrew TurleyTurley, Andrew Session Chair of T07: Writing a chat system in Pony (part of ICFP Tutorials) T07: Writing a chat system in Pony
U Katsuhiro UenoUeno, Katsuhiro Tohoku UniversityJapan Finitary Polymorphism for Optimizing Type-Directed Compilation Committee Member in Program Committee within the ICFP Research Papers-track
V Nachiappan ValliappanValliappan, Nachiappan Chalmers University of Technology, Sweden Typing the Wild in Erlang
Tijs van der Stormvan der Storm, Tijs Centrum Wiskunde & Informatica / University of GroningenNetherlands Committee Member in Program Committee within the Scala-track
David Van HornVan Horn, David University of Maryland, USA PLMW Co-Chair in Organizing Committee for ICFP 2018 From Scripting to Proving: Gradual Verification with a Scheme Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl) Committee Member in Selection Committee within the ICFP Student Research Competition-track Co-chair in Organizing Committee within the PLMW @ ICFP-track Committee Member in External Review Committee within the ICFP Research Papers-track
Marco VassenaVassena, Marco Chalmers University of TechnologySweden Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Niki VazouVazou, Niki University of Maryland, USA TyDe Co-chair in Organizing Committee for ICFP 2018 PLMW Co-Chair in Organizing Committee for ICFP 2018 Session Chair of Proof Techniques and Mechanization (part of ICFP Research Papers) Session Chair of Keynote (part of TyDe) Session Chair of Effect Handlers & Abstract Machine (part of TyDe) Session Chair of Session 5 (part of Haskell) Session Chair of Types (part of HIW) Interactive Game Welcome! Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl) Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the HIW-track Co-chair in Organizing Committee within the PLMW @ ICFP-track Committee Member in Program Committee within the ICFP Research Papers-track Co-chair in Program Committee within the TyDe-track Committee Member in Organizing Committee within the TyDe-track
Ekaterina VerbitskaiaVerbitskaia, Ekaterina Saint Petersburg State University, Russia Parser Combinators for Context-Free Path Querying
Didier VernaVerna, Didier EPITA / LRDEFrance Committee Member in Program Committee within the FARM-track
Ricky VetterVetter, Ricky Facebook R&B: Towards bringing functional programming to everyday's web programmer
Marcos VieraViera, Marcos University of the Republic, Uruguay Committee Member in Program Committee within the Haskell-track
Mirko ViroliViroli, Mirko University of Bologna Committee Member in Program Committee within the Scala-track
Michael VollmerVollmer, Michael Indiana University, USAUnited States An Efficient Compiler for Recursive Functions on Mostly-Serialized Data
Tamara von Glehnvon Glehn, Tamara University of Cambridge Partially-Static Data as Free Extension of Algebras
Larisse VoufoVoufo, Larisse Google, Inc.United States Committee Member in Program Committee within the Scheme-track
Dimitrios VytiniotisVytiniotis, Dimitrios Microsoft Research, Cambridge Committee Member in External Review Committee within the ICFP Research Papers-track
Matthijs VákárVákár, Matthijs University of Oxford A domain theory for statistical probabilistic programming
W Philip WadlerWadler, Philip University of Edinburgh, UKUnited Kingdom Committee Member in External Review Committee within the ICFP Research Papers-track
Nathan WaivioWaivio, Nathan https://github.com/waivio On the Calculation of Functions in the Algebra of Physical Space
Jordan WalkeWalke, Jordan Facebook R&B: Towards bringing functional programming to everyday's web programmer
Dave WalkerWalker, Dave Princeton University Synthesizing Quotient Lenses
Eric WalkingshawWalkingshaw, Eric Oregon State UniversityUnited States Casts and Costs: Harmonizing Safety and Performance in Gradual Typing
Mitchell WandWand, Mitchell Northeastern University, USA Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
Meng WangWang, Meng University of Bristol, UKUnited Kingdom Understanding Formal Specifications through Good Examples Embedding Invertible Languages with Binders: A Case of the FliPpr Language Committee Member in External Review Committee within the ICFP Research Papers-track
Zhanpeng WangWang, Zhanpeng Haverford College, USA Racets: Faceted Execution in Racket
Brittni WatkinsWatkins, Brittni Southern Methodist University Chord Progressions in Haskell
Guannan WeiWei, Guannan Purdue University Refunctionalization of Abstract Abstract Machines: Bridging the Gap between Abstract Abstract Machines and Abstract Definitional Interpreters (Functional Pearl)
Stephanie WeirichWeirich, Stephanie University of Pennsylvania, USAUnited States ICFP'20 General Chair in Steering Committee for ICFP 2018 Dependent Types Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report) Committee Member in Speakers within the PLMW @ ICFP-track
Aaron WeissWeiss, Aaron Northeastern UniversityUnited States Rust Distilled: An Expressive Tower of Languages
John WhitingtonWhitington, John University of LeicesterUnited Kingdom Committee Member in Program Committee within the OCaml-track
John WiegleyWiegley, John BAE Systems Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report)
James R. WilcoxWilcox, James R. University of WashingtonUnited States Functional Programming for Compiling and Decompiling Computer-Aided Design
Jamie WillisWillis, Jamie University of Bristol, UKUnited Kingdom Video Co-Chair in Organizing Committee for ICFP 2018 Garnishing Parsec with Parsley
Thomas WinantWinant, Thomas KU Leuven, Belgium Coherent Explicit Dictionary Application for Haskell
Joseph WingerterWingerter, Joseph Optimizing Data Parallelism with Linear Programming in Nessie
Daniel Winograd-CortWinograd-Cort, Daniel University of PennsylvaniaUnited States Committee Member in Program Committee within the FARM-track
Theo WinterhalterWinterhalter, Theo Gallinette / Inria / LS2NFrance Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
James WoodWood, James University of Strathclyde Extended Abstract: Context Constrained Computing
Nicolas WuWu, Nicolas University of Bristol, UKUnited Kingdom Haskell Symposium Chair in Organizing Committee for ICFP 2018 Session Chair of Keynote (part of Haskell) Garnishing Parsec with Parsley Closing Statement Welcome and Chair's Report Generic Deriving of Generic Traversals Relational Algebra by Way of Adjunctions Program Chair in Program Committee within the Haskell-track
X Ningning XieXie, Ningning The University of Hong KongChina Coercion Quantification
Y Matthew YacavoneYacavone, Matthew Lightning talk: More Explicit Foralls in GHC
Jeremy YallopYallop, Jeremy University of Cambridge, UK Generating Mutually Recursive Definitions Partially-Static Data as Free Extension of Algebras Committee Member in Program Committee within the ICFP Research Papers-track
Ilya YanokYanok, Ilya USI Lugano, Switzerland Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL
Ryan YatesYates, Ryan Session Chair of Session 3 (part of Haskell) Committee Member in Program Committee within the Haskell-track
Brent YorgeyYorgey, Brent Hendrix CollegeUnited States FARM General Chair in Organizing Committee for ICFP 2018 Session Chair of Session 6 (part of Haskell) Session Chair of Generative Systems (part of FARM) Welcome FARM 2018 Demo Summary Closing What's the Difference? A Functional Pearl on Subtracting Bijections Committee Member in Selection Committee within the ICFP Student Research Competition-track Committee Member in Poster and Presentation Judges within the ICFP Student Research Competition-track Committee Member in Program Committee within the Haskell-track General Chair in Organizing Committee within the FARM-track
Halley YoungYoung, Halley Committee Member in Program Committee within the FARM-track
Z Jakub ZalewskiZalewski, Jakub Student Volunteer Captain in Organizing Committee for ICFP 2018
Vadim ZalivaZaliva, Vadim Carnegie Mellon University, USAUnited States HELIX: A Case Study of a Formal Verification of High Performance Program Generation
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Synthesizing Quotient Lenses
Hengchu ZhangZhang, Hengchu University of Pennsylvania Keep Your Laziness in Check
Hongbo ZhangZhang, Hongbo Independent R&B: Towards bringing functional programming to everyday's web programmer
Beta ZilianiZiliani, Beta FAMAF, UNC and CONICETArgentina Mtac2: Typed Tactics for Backward Reasoning in Coq
Damien ZuffereyZufferey, Damien MPI-SWS Committee Member in Program Committee within the Scala-track
Ś Adam ŚcibiorŚcibior, Adam University of Cambridge and MPI Tuebingen Functional Programming for Modular Bayesian Inference

ICFP 2018 Contributors

Results (524)

Tracks

Workshops

Co-hosted Symposia