ICFP 2016 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (463)

Martin Abadi Google Keynote Speaker of TensorFlow: Learning Functions at Scale within the Keynote Talks-track in ICFP 2016
Hjalte Abelskov DIKU, University of Copenhagen Author of APL on GPUs: A TAIL from the Past, Scribbled in Futhark within the FHPC-track in FHPC 2016
Umut Acar Carnegie Mellon University Author of Dag-Calculus: A Calculus for Parallel Computation within the Research Papers-track in ICFP 2016 Author of Hierarchical Memory Management for Parallel Programs within the Research Papers-track in ICFP 2016
Michael D. Adams University of Utah, USA Author of Allocation Characterizes Polyvariance: A Unified Methodology for Polyvariant Control-Flow Analysis within the Research Papers-track in ICFP 2016
Marten Agren Author of Experience Report: Types for a Relational Algebra Library within the Haskell-track in Haskell 2016
Amal Ahmed Northeastern University Session Chair of 1 (part of PLMW) Session Chair of 2 (part of PLMW) Author of Fully Abstract Compilation via Universal Embedding within the Research Papers-track in ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Organizers within the PLMW-track
Deepthi Devaki Akkoorath Author of Observing the consistency of distributed systems within the Erlang-track in Erlang 2016
Baris Aktemur Ozyegin University Committee Member in Program Committee within the FHPC-track
Marco Aldinucci University of Torino Committee Member in Program Committee within the FHPC-track
Jamie Allen Lightbend Committee Member in Program Committee within the Erlang-track
João Alpuim University of Hong Kong, China Author of Disjoint Intersection Types within the Research Papers-track in ICFP 2016
Claire Alvis SparkFund Committee Member in Program Committee within the Scheme-track
Sidney Amani UNSW, Australia Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track in ICFP 2016
Nada Amin EPFL Switzerland Author of Effects as Capabilities within the HOPE-track in HOPE 2016 Committee Member in Program Committee within the ML-track
Abhishek Anand Author of Extracting from F* to C: a progress report within the ML-track in ML 2016
Moritz Angermann Author of More powerful GHC Plugins within the HIW-track in HIW 2016
Gerardo Aragon-Camarasa Author of Towards Reliable and Scalable Robot Communication within the Erlang-track in Erlang 2016
Simon Archipoff CNRS LaBRI, Inria Bordeaux, Author of Structured reactive programming with polymorphic temporal tiles within the FARM-track in FARM 2016
Zena M. Ariola University of Oregon, USA Author of Administrative normal form, continued: Sharing control in direct style within the HOPE-track in HOPE 2016 Author of Sequent Calculus as a Compiler Intermediate Language within the Research Papers-track in ICFP 2016
Michael Arntzenius University of Birmingham, UK Author of Datafun: A Functional Datalog within the Research Papers-track in ICFP 2016
Kenichi Asai Ochanomizu University Japan Session Chair of Invited Talk (part of ML) Session Chair of Future (part of ML) Author of Principle and Practice of OCaml Type Debugger within the PLMW-track in PLMW 2016 Committee Member in Speakers within the PLMW-track Committee Member in Program Committee within the OCaml-track Committee Member in Steering Committee within the ML-track Chair in Program Committee within the ML-track
Robert Atkey University of Strathclyde Committee Member in Program Committee within the HOPE-track
Lennart Augustsson Author of Experience Report: Types for a Relational Algebra Library within the Haskell-track in Haskell 2016
Florent Balestrieri Author of Generic Programming in OCaml within the OCaml-track in OCaml 2016
Anindya Banerjee IMDEA Software Institute Author of Concurrent Data Structures Linked in Time within the HOPE-track in HOPE 2016
Manuel Barenz Author of Functional Reactive Programming, Refactored within the Haskell-track in Haskell 2016
Adam Barwell Author of Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang within the Erlang-track in Erlang 2016
Renick Bell Session Chair of Performance Evening (part of FARM) Author of FARM 2016 Performance Evening within the FARM-track in FARM 2016 Performance Chair in Program Committee within the FARM-track Performance Chair in Organizing Committee within the FARM-track
Nick Benton Microsoft Research, Cambridge Committee Member in Program Committee within the HOPE-track
Josh Berdine Facebook Committee Member in Program Committee within the HOPE-track
Lars Bergstrom Mozilla Research Committee Member in External Review Committee within the ICFP Research Papers-track
Jost Berthold Commonwealth Bank, Australia Session Chair of Code Generation (part of FHPC) Committee Member in Program Committee within the FHPC-track
Karthikeyan Bhargavan INRIA Author of Extracting from F* to C: a progress report within the ML-track in ML 2016
Annette Bieniusa Technischen Universität Kaiserslautern Author of Observing the consistency of distributed systems within the Erlang-track in Erlang 2016
Walter Binder University of Lugano Author of Profiling Actor Utilization and Communication in Akka within the Erlang-track in Erlang 2016
Lars Birkedal Aarhus University, Denmark Denmark Author of A Logical Account of a Type-and-Effect System within the HOPE-track in HOPE 2016 Author of Opening remarks within the HOPE-track in HOPE 2016 Author of Higher-Order Ghost State within the Research Papers-track in ICFP 2016 Co-chair in Program Committee within the HOPE-track Committee Member in External Review Committee within the ICFP Research Papers-track
Sandrine Blazy University of Rennes 1, France France Author of An Abstract Memory Functor for Verified C Static Analyzers within the Research Papers-track in ICFP 2016
Guy Blelloch Carnegie Mellon University, USA Author of Hierarchical Memory Management for Parallel Programs within the Research Papers-track in ICFP 2016
Matthias Blume Google Committee Member in External Review Committee within the ICFP Research Papers-track
Johannes Borgström Uppsala University, Sweden Sweden Author of A Lambda-Calculus Foundation for Universal Probabilistic Programming within the Research Papers-track in ICFP 2016
Dmitri Boulytchev Author of Typed Embedding of Relational Language in OCaml within the ML-track in ML 2016
Timothy Bourke INRIA France Author of Sundials/ML: interfacing with numerical solvers within the OCaml-track in OCaml 2016
Frédéric Bour Author of Inuit library: from printf to interactive user-interfaces within the OCaml-track in OCaml 2016
William J. Bowman Northeastern University United States Author of Growing a Proof Assistant within the HOPE-track in HOPE 2016 Author of Fully Abstract Compilation via Universal Embedding within the Research Papers-track in ICFP 2016
Çagdas Bozman Author of Learn OCaml: An Online Learning Center for OCaml within the OCaml-track in OCaml 2016 Author of ocp-lint, A Plugin-based Style-Checker with Semantic Patches within the OCaml-track in OCaml 2016
Jan Bracker Author of Supermonads: One Notion to Bind Them All within the Haskell-track in Haskell 2016
Edwin Brady University of St. Andrews, UK United Kingdom Author of Elaborator Reflection: Extending Idris in Idris within the Research Papers-track in ICFP 2016
Rudy Braquehais Author of FitSpec: Refining Property Sets for Functional Testing within the Haskell-track in Haskell 2016
Joachim Breitner Karlsruhe Institute of Technology Germany Committee Member in Program Committee within the HIW-track
Jean Bresson UMR STMS: IRCAM-CNRS-UPMC Author of o.OM: Structured-Functional Communication between Computer Music Systems using OSC and Odot within the FARM-track in FARM 2016
Flavien Breuvart Inria, France Author of Combining Effects and Coeffects via Grading within the Research Papers-track in ICFP 2016
Christopher Brown Author of Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang within the Erlang-track in Erlang 2016
Pablo Buiras Chalmers University of Technology Author of QuickFuzz: An Automatic Random Fuzzer for Common File Formats within the Haskell-track in Haskell 2016 Author of The Key Monad: Type-Safe Unconstrained Dynamic Typing within the Haskell-track in Haskell 2016
William E. Byrd University of Utah United States Author of miniAdapton: A Minimal Implementation of Incremental Computation in Scheme within the Scheme-track in Scheme 2016 Committee Member in Steering Committee within the Scheme-track
Romain Calascibetta France Author of Who's got your Mail? Mr. Mime! within the OCaml-track in OCaml 2016
Jose Calderon Galois Video Co-Chair in Organizing Committee for ICFP 2016
Benjamin Canou Author of Learn OCaml: An Online Learning Center for OCaml within the OCaml-track in OCaml 2016
Daniel Carballa Author of Automatic generation of UML sequence diagrams from test counterexamples within the Erlang-track in Erlang 2016
Jacques Carette McMaster University Canada Author of Trees That Grow within the HIW-track in HIW 2016 Committee Member in Program Committee within the ML-track
Giuseppe Castagna Paris Diderot University & CNRS Italy Author of Set-Theoretic Types for Polymorphic Variants within the Research Papers-track in ICFP 2016
Laura M. Castro University of A Coruña Spain Author of Making everybody comfortable with Erlang: a SCADA system for thermal control within the Erlang-track in Erlang 2016 Author of Automatic generation of UML sequence diagrams from test counterexamples within the Erlang-track in Erlang 2016 Committee Member in Program Committee within the Erlang-track
David Castro University of St. Andrews, UK Author of Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang within the Erlang-track in Erlang 2016 Author of Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms within the Research Papers-track in ICFP 2016
Andrew Cave McGill University, Canada Author of Indexed Codata Types within the Research Papers-track in ICFP 2016
Martín Ceresa Author of QuickFuzz: An Automatic Random Fuzzer for Common File Formats within the Haskell-track in Haskell 2016
Francesco Cesarini Author of CRDTs for the Configuration of Distributed Erlang Systems within the Erlang-track in Erlang 2016
Manuel Chakravarty University of New South Wales ICFP'14 Program Chair in Steering Committee for ICFP 2016
Pierre Chambart OCamlPRO Author of Semantics of the Lambda intermediate language within the OCaml-track in OCaml 2016 Author of Partial evaluation and metaprogramming within the OCaml-track in OCaml 2016
James Chapman University of Strathclyde Co-chair in Program Committee within the TyDe-track Co-chair in Organizing Committee within the TyDe-track
Arthur Charguéraud Inria, France France Author of Dag-Calculus: A Calculus for Parallel Computation within the Research Papers-track in ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the ML-track
Satvik Chauhan Author of How to Twist Pointers without Breaking Them within the Haskell-track in Haskell 2016
Natalia Chechina University of Glasgow Author of Towards Reliable and Scalable Robot Communication within the Erlang-track in Erlang 2016 Author of A Scalable Reliable Instant Messenger using the SD Erlang Libraries within the Erlang-track in Erlang 2016 Committee Member in Program Committee within the Erlang-track
James Cheney University of Edinburgh United States Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the Haskell-track
Yan Chen Google Committee Member in Program Committee within the ML-track
Zilin Chen UNSW, Australia Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track in ICFP 2016
Lydia Y. Chen IBM Research Lab Zurich Author of Profiling Actor Utilization and Communication in Akka within the Erlang-track in Erlang 2016
Yu-Hsi Chiang National Taiwan University, Taiwan Author of Queueing and Glueing for Optimal Partitioning (Functional Pearl) within the Research Papers-track in ICFP 2016
Kenneth Chiu Author of Lazy Graph Processing in Haskell within the Haskell-track in Haskell 2016
Adam Chlipala MIT United States Committee Member in External Review Committee within the ICFP Research Papers-track
David Thrane Christiansen Indiana University, USA United States Author of Elaborator Reflection: Extending Idris in Idris within the Research Papers-track in ICFP 2016 Committee Member in Program Committee within the TyDe-track
Jan Christiansen Flensburg University of Applied Sciences, Germany Author of All Sorts of Permutations (Functional Pearl) within the Research Papers-track in ICFP 2016
Matteo Cimini Indiana University, USA Author of Ghostbuster: A Tool for Simplifying and Converting GADTs within the Research Papers-track in ICFP 2016
Koen Claessen Chalmers University of Technology Author of Using Fusion to Enable Late Design Decisions for Pipelined Computations within the FHPC-track in FHPC 2016 Author of The Key Monad: Type-Safe Unconstrained Dynamic Typing within the Haskell-track in Haskell 2016 Committee Member in Program Committee within the ICFP Research Papers-track
James Clarke Author of Classes for the Masses within the ML-track in ML 2016
Will Clinger Northeastern University Committee Member in Steering Committee within the Scheme-track
Jesper Cockx iMinds, Belgium Belgium Author of Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data within the Research Papers-track in ICFP 2016
Onofre Coll Ruiz Kochi University of Technology Author of s6raph: Vertex-Centric Graph Processing Framework with Functional Interface within the FHPC-track in FHPC 2016
Ludovic Courtès INRIA Author of GNU Guix: The Functional GNU/Linux Distro That’s a Scheme Library within the Scheme-track in Scheme 2016 Author of Guix: Scheme as a uniform OS admin and deployment interface within the CUFP-track in CUFP 2016
Duncan Coutts Well-Typed Committee Member in Program Committee within the HIW-track
Pierre-Evariste Dagand UPMC, France Author of Partial Type Equivalences for Verified Dependent Interoperability within the Research Papers-track in ICFP 2016 Committee Member in Program Committee within the TyDe-track
Ugo Dal Lago University of Bologna, France Author of A Lambda-Calculus Foundation for Universal Probabilistic Programming within the Research Papers-track in ICFP 2016
Nikita Danilenko University of Kiel, Germany Author of All Sorts of Permutations (Functional Pearl) within the Research Papers-track in ICFP 2016
David Darais University of Maryland, USA United States Author of Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory within the Research Papers-track in ICFP 2016
Kei Davis Los Alamos National Laboratory Committee Member in Program Committee within the FHPC-track
Enguerrand Decorne Author of OCaml inside: a drop-in replacement for libtls within the OCaml-track in OCaml 2016
Germán Andrés Delbianco IMDEA Software Institute Spain Author of Concurrent Data Structures Linked in Time within the HOPE-track in HOPE 2016
Dominique Devriese iMinds, Belgium Belgium Author of Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data within the Research Papers-track in ICFP 2016 Committee Member in Program Committee within the HOPE-track Committee Member in External Review Committee within the ICFP Research Papers-track
Philip Dexter Author of Lazy Graph Processing in Haskell within the Haskell-track in Haskell 2016
Iavor Diatchki Galois, Inc. Video Chair in Organizing Committee for ICFP 2016 Session Chair of Web Technology (part of Haskell) Committee Member in Program Committee within the Haskell-track
Larry Diehl Author of Generic Lookup and Update for Infinitary Inductive-Recursive Types within the TyDe-track in TyDe 2016
Christos Dimoulas Harvard University Author of Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl) within the Research Papers-track in ICFP 2016
Stephen Dolan Author of Malfunctional Programming within the ML-track in ML 2016
Damien Doligez Author of Invited Talk within the OCaml-track in OCaml 2016
Paul Downen University of Oregon, USA Author of Administrative normal form, continued: Sharing control in direct style within the HOPE-track in HOPE 2016 Author of Sequent Calculus as a Compiler Intermediate Language within the Research Papers-track in ICFP 2016
Derek Dreyer MPI-SWS, Germany Author of How to Write Papers So People Can Read Them within the PLMW-track in PLMW 2016 Author of Higher-Order Ghost State within the Research Papers-track in ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Speakers within the PLMW-track
David Duke University of Leeds Session Chair of DIscussion (part of FHPC) Session Chair of Types (part of Haskell) Committee Member in Program Committee within the Haskell-track Co-chair in Organizing Committee within the FHPC-track Co-chair in Program Committee within the FHPC-track
Joshua Dunfield University of British Columbia, Canada Committee Member in Program Committee within the ICFP Research Papers-track
Martin Dybdal Author of APL on GPUs: A TAIL from the Past, Scribbled in Futhark within the FHPC-track in FHPC 2016 Author of Low-Level Functional GPU Programming for Parallel Algorithms within the FHPC-track in FHPC 2016
Sandra Dylus University of Kiel, Germany Germany Author of All Sorts of Permutations (Functional Pearl) within the Research Papers-track in ICFP 2016
Richard A. Eisenberg Bryn Mawr College United States Session Chair of Strictness and STM (part of Haskell) Author of A Dependent Haskell Triptych within the HIW-track in HIW 2016 Author of Pattern Synonyms within the Haskell-track in Haskell 2016 Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the TyDe-track
Anton Ekblad Author of High-Performance Client-Side Web Applications through Haskell EDSLs within the Haskell-track in Haskell 2016
Spiridon Eliopoulos Author of Improving the OCaml Web Stack: Motivations and Progress within the OCaml-track in OCaml 2016
Martin Elsman Department of Computer Science, University of Copenhagen Denmark Author of APL on GPUs: A TAIL from the Past, Scribbled in Futhark within the FHPC-track in FHPC 2016 Author of Low-Level Functional GPU Programming for Parallel Algorithms within the FHPC-track in FHPC 2016
Kento Emoto Kyushu Institute of Technology, Japan Author of Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing within the Research Papers-track in ICFP 2016 Committee Member in Program Committee within the FHPC-track
Gergo Erdi Author of Pattern Synonyms within the Haskell-track in Haskell 2016
Kavon Farvardin University of Chicago United States Author of Compiling with Continuations and LLVM within the ML-track in ML 2016
Marc Feeley Université de Montréal Committee Member in Steering Committee within the Scheme-track
Matthias Felleisen Northeastern University Author of Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl) within the Research Papers-track in ICFP 2016
J. Daniel Fernandez Author of Making everybody comfortable with Erlang: a SCADA system for thermal control within the Erlang-track in Erlang 2016
Rebecca Fiebrink Goldsmiths University of London Committee Member in Program Committee within the FARM-track
Andrzej Filinski DIKU, University of Copenhagen Author of Streaming Nested Data Parallelism on Multicores within the FHPC-track in FHPC 2016
Robby Findler Northwestern University United States ICFP'18 General Chair in Steering Committee for ICFP 2016 Session Chair of Session 5 (part of ICFP Research Papers) Session Chair of 3 (part of PLMW) Author of Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl) within the Research Papers-track in ICFP 2016 Committee Member in Organizers within the PLMW-track
Sebastian Fischer Freelance Committee Member in External Review Committee within the ICFP Research Papers-track
Kathleen Fisher Tufts University United States ICFP'15 General Chair in Steering Committee for ICFP 2016 Session Chair of Session 2 (part of ICFP Research Papers) Author of Welcome to ICFP! within the PLMW-track in PLMW 2016 Author of Autobahn: Using Genetic Algorithms to Infer Strictness Annotations within the Haskell-track in Haskell 2016 Committee Member in Speakers within the PLMW-track
Dakota Fisher Author of miniAdapton: A Minimal Implementation of Incremental Computation in Scheme within the Scheme-track in Scheme 2016
Matthew Flatt University of Utah United States ICFP'18 Program Chair in Steering Committee for ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track
Matthew Fluet Rochester Institute of Technology United States Author of Revisiting Software Transactional Memory in Haskell within the Haskell-track in Haskell 2016 Committee Member in Program Committee within the ICFP Research Papers-track
Kenneth Foner Author of Choose Your Own Derivative within the TyDe-track in TyDe 2016
Chris Ford ThoughtWorks (UK) Ltd. Author of Call for Collaboration: Computational Musicology, ????, Profit within the FARM-track in FARM 2016 Author of Demo: Klangmeister within the FARM-track in FARM 2016
Nate Foster Cornell University Committee Member in Program Committee within the ICFP Research Papers-track
Cédric Fournet Microsoft Research Author of Extracting from F* to C: a progress report within the ML-track in ML 2016
Anthony Fox University of Cambridge, UK Author of A New Verified Compiler Backend for CakeML within the Research Papers-track in ICFP 2016
Adrian Freed CNMAT - UC Berkeley Author of o.OM: Structured-Functional Communication between Computer Music Systems using OSC and Odot within the FARM-track in FARM 2016
Daniel Friedman Indiana University United States Author of Deriving Pure, Functional One-Pass Operations for Processing Tail-Aligned Lists within the Scheme-track in Scheme 2016 Committee Member in Steering Committee within the Scheme-track
Scott Lystig Fritchie VMware Research United States Co-chair in Organizing Committee within the Erlang-track Co-chair in Program Committee within the Erlang-track
Yosuke Fukuda Kyoto University Student Volunteer Co-Chair in Organizing Committee for ICFP 2016
Viktória Fördős Erlang Solutions Ltd. Author of CRDTs for the Configuration of Distributed Erlang Systems within the Erlang-track in Erlang 2016 Author of Observing the consistency of distributed systems within the Erlang-track in Erlang 2016 Committee Member in Program Committee within the Erlang-track
Marco Gaboardi SUNY Buffalo, USA Italy Author of Combining Effects and Coeffects via Grading within the Research Papers-track in ICFP 2016
Ben Gamari Well-Typed LLP Author of Pita: Tools for making GHC fast again within the HIW-track in HIW 2016 Author of Contributing to GHC within the HIW-track in HIW 2016
Alfonso Garcia-Caro Spain Author of T5: Fable, an F# to JavaScript compiler within the Tutorials-track in ICFP 2016
Deepak Garg MPI-SWS, Germany Germany Author of A Type Theory for Incremental Computational Complexity with Control Flow Changes within the Research Papers-track in ICFP 2016
Jacques Garrigue Nagoya University ICFP'16 General Chair in Steering Committee for ICFP 2016
Jacques Garrigue Nagoya University General Co-Chair in Organizing Committee for ICFP 2016 Session Chair of Keynote 3 (part of ICFP Keynote Talks) Committee Member in Steering Committee within the ML-track
Daniel Gavin DIKU, University of Copenhagen Author of APL on GPUs: A TAIL from the Past, Scribbled in Futhark within the FHPC-track in FHPC 2016
Pierre Geneves CNRS France Committee Member in External Review Committee within the ICFP Research Papers-track
Louis Gesbert OCamlPro Author of Conex -- establishing trust into data repositories within the OCaml-track in OCaml 2016 On behalf of the OCaml Platform team of The State of the OCaml Platform: September 2016 within the OCaml-track in OCaml 2016
Dan Ghica University of Birmingham Committee Member in Program Committee within the HOPE-track
Jeremy Gibbons University of Oxford, UK ICFP'17 General Chair in Steering Committee for ICFP 2016 Session Chair of Session 12 (part of ICFP Research Papers) Author of APLicative Programming with Naperian Functors within the TyDe-track in TyDe 2016 Author of Free Delivery (Functional Pearl) within the Haskell-track in Haskell 2016 Committee Member in External Review Committee within the ICFP Research Papers-track
Andy Gill University of Kansas Committee Member in Program Committee within the Haskell-track
Thomas Gilray University of Utah, USA Author of Allocation Characterizes Polyvariance: A Unified Methodology for Polyvariant Control-Flow Analysis within the Research Papers-track in ICFP 2016
Román González Committee Member in Program within the ICFP Tutorials-track
Andrew D. Gordon Microsoft Research, UK United Kingdom Author of A Lambda-Calculus Foundation for Universal Probabilistic Programming within the Research Papers-track in ICFP 2016
Kathy Gray University of Cambridge Program Chair in Program Committee within the Scheme-track
Gustavo Grieco Author of QuickFuzz: An Automatic Random Fuzzer for Common File Formats within the Haskell-track in Haskell 2016
Dan Grossman University of Washington, USA Committee Member in Program Committee within the ICFP Research Papers-track
Sean Grove Speaker of Baby steps to unikernels in production within the CUFP-track in CUFP 2016
Sam Guyer Author of Demo: Juniper: A Functional Reactive Programming Language for the Arduino within the FARM-track in FARM 2016 Author of Juniper: A Functional Reactive Programming Language for the Arduino within the FARM-track in FARM 2016
Jurriaan Hage Utrecht University Netherlands Committee Member in Program Committee within the ICFP Research Papers-track
Matthew Hammer University of Colorado, Boulder United States Author of miniAdapton: A Minimal Implementation of Incremental Computation in Scheme within the Scheme-track in Scheme 2016
Kevin Hammond University of St. Andrews, UK Author of Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang within the Erlang-track in Erlang 2016 Author of Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms within the Research Papers-track in ICFP 2016
Yosuke Hara Rakuten, Inc. Committee Member in Program Committee within the Erlang-track
Caleb Helbling Tufts University Author of Demo: Juniper: A Functional Reactive Programming Language for the Arduino within the FARM-track in FARM 2016 Author of Juniper: A Functional Reactive Programming Language for the Arduino within the FARM-track in FARM 2016
Jason Hemann Indiana University Author of Deriving Pure, Functional One-Pass Operations for Processing Tail-Aligned Lists within the Scheme-track in Scheme 2016
Troels Henriksen DIKU, University of Copenhagen Denmark Author of APL on GPUs: A TAIL from the Past, Scribbled in Futhark within the FHPC-track in FHPC 2016
Grégoire Henry Author of Learn OCaml: An Online Learning Center for OCaml within the OCaml-track in OCaml 2016
Mario Moro Hernandez Author of A Scalable Reliable Instant Messenger using the SD Erlang Libraries within the Erlang-track in Erlang 2016
Nick Hibberd Ambiata Speaker of Immutable Infrastructure Deployment with Haskell within the CUFP-track in CUFP 2016
Mark Hibberd Ambiata Australia Committee Member in Program Committee within the CUFP-track
Michael Hicks University of Maryland, College Park United States SIGPLAN Chair in Steering Committee for ICFP 2016
Daniel Hillerström The University of Edinburgh United Kingdom Author of Compiling Links Effect Handlers to the OCaml Backend within the ML-track in ML 2016
Daniel Hillerström Author of Liberating Effects with Rows and Handlers within the TyDe-track in TyDe 2016
Ralf Hinze Radboud University Nijmegen Committee Member in External Review Committee within the ICFP Research Papers-track
Stefan Holdermans Vector Fabrics Netherlands Committee Member in External Review Committee within the ICFP Research Papers-track
Reid Holmes University of Waterloo Mobile App Chair in Organizing Committee for ICFP 2016
Rupert Horlick Author of Classes for the Masses within the ML-track in ML 2016
Atsuro Hoshino Author of Nash: a tracing JIT for Extension Language within the Scheme-track in Scheme 2016
Natsuki Hosono Kyoto University Author of Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation within the FHPC-track in FHPC 2016
Hideyuki Hotta University of Chile, Chile Author of Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation within the FHPC-track in FHPC 2016
Cătălin Hriţcu INRIA Romania Committee Member in Program Committee within the TyDe-track
Théophane Hufschmitt Author of ocp-lint, A Plugin-based Style-Checker with Semantic Patches within the OCaml-track in OCaml 2016
John Hughes Chalmers University of Technology Member at large in Steering Committee for ICFP 2016 Author of Unaccustomed as I am to public speaking within the PLMW-track in PLMW 2016 Committee Member in Speakers within the PLMW-track
Zhenjiang Hu National Institute of Informatics, Japan Japan Session Chair of Domain Specific Languages (part of FHPC) Session Chair of Functors (part of Haskell) Author of Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing within the Research Papers-track in ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the FHPC-track
Atsushi Igarashi Kyoto University Japan Session Chair of 4 (part of PLMW) Session Chair of 5 (part of PLMW) Committee Member in Organizers within the PLMW-track
Bashar Igried Deb Alkhawaldeh Author of Programming with Monadic CSP-Style Processes in Dependent Type Theory within the TyDe-track in TyDe 2016
Mirai Ikebuchi Nagoya University Committee Member in Program Committee within the CUFP-track
Jun Inoue National Institute of Advanced Industrial Science and Technology, Japan Author of Sundials/ML: interfacing with numerical solvers within the OCaml-track in OCaml 2016
Hikaru Inoue Fujitsu Limited Author of Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation within the FHPC-track in FHPC 2016
Hideya Iwasaki University of Electro-Communications, Japan Author of Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing within the Research Papers-track in ICFP 2016
Masaki Iwasawa RIKEN Author of Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation within the FHPC-track in FHPC 2016
Guilhem Jaber IRIF, Université Paris Diderot France Committee Member in Program Committee within the HOPE-track
Bart Jacobs iMinds - Distrinet, KU Leuven Belgium Author of Simple Dependent Polymorphic I/O Effects within the HOPE-track in HOPE 2016
Suresh Jagannathan DARPA United States Committee Member in External Review Committee within the ICFP Research Papers-track
David Janin University of Bordeaux Author of Structured reactive programming with polymorphic temporal tiles within the FARM-track in FARM 2016 Co-chair in Program Committee within the FARM-track Workshops Chair in Organizing Committee within the FARM-track
Patrik Jansson Chalmers University of Technology Sweden Author of An Agda formalisation of the transitive closure of block matrices within the TyDe-track in TyDe 2016
Johan Jeuring Utrecht University ICFP'14 General Chair in Steering Committee for ICFP 2016 Session Chair of Session 6 (part of ICFP Research Papers)
Ranjit Jhala University of California at San Diego, USA Author of Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong) within the Research Papers-track in ICFP 2016 Committee Member in Program Committee within the Haskell-track
Mark Jones Portland State University ICFP'17 Program Chair in Steering Committee for ICFP 2016
Simon Peyton Jones Microsoft Research, UK Author of Administrative normal form, continued: Sharing control in direct style within the HOPE-track in HOPE 2016 Author of The State of GHC within the HIW-track in HIW 2016 Author of Trees That Grow within the HIW-track in HIW 2016 Author of Desugaring Haskell's do-Notation into Applicative Operations within the Haskell-track in Haskell 2016 Author of Non-recursive Make Considered Harmful: Build Systems at Scale within the Haskell-track in Haskell 2016 Author of Pattern Synonyms within the Haskell-track in Haskell 2016 Author of Sequent Calculus as a Compiler Intermediate Language within the Research Papers-track in ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track
Jacques-Henri Jourdan Author of Statistically profiling memory in OCaml within the OCaml-track in OCaml 2016
Ralf Jung MPI-SWS, Germany Germany Author of Higher-Order Ghost State within the Research Papers-track in ICFP 2016
David Kaloper-Meršinjak Author of Generic partially-static data within the TyDe-track in TyDe 2016 Author of OCaml inside: a drop-in replacement for libtls within the OCaml-track in OCaml 2016
Yukiyoshi Kameyama University of Tsukuba Session Chair of Invited Talk (part of FHPC) Session Chair of Graph Processing (part of FHPC) Session Chair of Monads (part of Haskell) Committee Member in Program Committee within the Haskell-track Co-chair in Organizing Committee within the FHPC-track Co-chair in Program Committee within the FHPC-track
Ohad Kammar Author of Functional models of full ground, and general, reference cells within the HOPE-track in HOPE 2016
Mate Karacsony Eötvös Loránd University Hungary Author of Using Fusion to Enable Late Design Decisions for Pipelined Computations within the FHPC-track in FHPC 2016
Brandon Kase Pinterest Author of Composable Caching in Swift within the CUFP-track in CUFP 2016
Takashi Kato Author of A Scheme concurrency library within the Scheme-track in Scheme 2016
Shin-ya Katsumata Kyoto University, Japan Local Organizer co-Chair in Organizing Committee for ICFP 2016 Author of Combining Effects and Coeffects via Grading within the Research Papers-track in ICFP 2016
Shiro Kawai Scheme Arts LLC Committee Member in Program Committee within the Scheme-track
Gabriele Keller University of New South Wales General Co-Chair in Organizing Committee for ICFP 2016 ICFP'16 General Chair in Steering Committee for ICFP 2016 Session Chair of Keynote 2 (part of ICFP Keynote Talks)
R. Kent Dybvig Cisco Systems, Inc Committee Member in External Review Committee within the ICFP Research Papers-track
Paul Khuong AppNexus Committee Member in Program Committee within the CUFP-track
Anna Sofie Kiehn DIKU, University of Copenhagen Author of APL on GPUs: A TAIL from the Past, Scribbled in Futhark within the FHPC-track in FHPC 2016
Fumiaki Kinoshita Tsuru Capital Author of T8: Transforming data into GUI: a new style graphical user interface library for Haskell within the Tutorials-track in ICFP 2016
Oleg Kiselyov Tohoku University Author of Eff Directly in OCaml within the ML-track in ML 2016 Author of Parameterized Extensible Effects and Session Types within the TyDe-track in TyDe 2016 Author of T2: Extensible Effects: understanding them, implementing them, using them within the Tutorials-track in ICFP 2016 Committee Member in Program Committee within the OCaml-track Committee Member in Steering Committee within the ML-track
Csongor Kiss Imperial College London Author of Demo: VoxelCAD, a collaborative voxel-based CAD tool within the FARM-track in FARM 2016
Gerwin Klein UNSW, Australia Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track in ICFP 2016
Edward Kmett Author of Desugaring Haskell's do-Notation into Applicative Operations within the Haskell-track in Haskell 2016
Naoki Kobayashi University of Tokyo, Japan Author of Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms within the Research Papers-track in ICFP 2016 Author of Automatically Disproving Fair Termination of Higher-Order Functional Programs within the Research Papers-track in ICFP 2016
Dmitrii Kosarev Author of Typed Embedding of Relational Language in OCaml within the ML-track in ML 2016
Robbert Krebbers Aarhus University, Denmark Denmark Author of Higher-Order Ghost State within the Research Papers-track in ICFP 2016
Neel Krishnaswami University of Birmingham, UK Session Chair of Session 3 (part of ICFP Research Papers) Invited speaker of Making Reactive Programs Function within the ML-track in ML 2016 Author of Datafun: A Functional Datalog within the Research Papers-track in ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track
Morten Krogh-Jespersen Aarhus University Author of A Logical Account of a Type-and-Effect System within the HOPE-track in HOPE 2016
Akihiro Kubota Tama Art University Committee Member in Program Committee within the FARM-track
Ramana Kumar Data61 at CSIRO, Australia Author of A New Verified Compiler Backend for CakeML within the Research Papers-track in ICFP 2016 Committee Member in Program Committee within the Scheme-track
Lindsey Kuper Intel Labs Publicity Chair in Organizing Committee for ICFP 2016 Publicity Chair in Steering Committee for ICFP 2016
Piyush Kurur Author of How to Twist Pointers without Breaking Them within the Haskell-track in Haskell 2016
Alex Lang Tsuru Capital Author of Opening remarks within the CUFP-track in CUFP 2016 Author of Closing remarks within the CUFP-track in CUFP 2016 Co-chair in Program Committee within the CUFP-track Committee Member in Organizing Committee within the CUFP-track
Michael Laporte Author of ocp-lint, A Plugin-based Style-Checker with Semantic Patches within the OCaml-track in OCaml 2016
Vincent Laporte IMDEA Software Institute, Spain Author of An Abstract Memory Functor for Verified C Static Analyzers within the Research Papers-track in ICFP 2016
Ken Friis Larsen DIKU, University of Copenhagen Committee Member in Program Committee within the Haskell-track
John Lato Google Committee Member in Program Committee within the FARM-track
Théo Laurent Author of Lock-free programming for the masses within the OCaml-track in OCaml 2016
Fabrice Le Fessant OCamlPro Author of Learn OCaml: An Online Learning Center for OCaml within the OCaml-track in OCaml 2016 Author of ocp-lint, A Plugin-based Style-Checker with Semantic Patches within the OCaml-track in OCaml 2016 Author of OPAM-builder: Continuous Monitoring of OPAM Repositories within the OCaml-track in OCaml 2016
Jakob Leben University of Victoria Author of Arrp: A Functional Language with Multi-dimensional Signals and Recurrence Equations within the FARM-track in FARM 2016
Daan Leijen Microsoft Research United States Author of Type Directed Compilation of Row-typed Algebraic Effects within the HOPE-track in HOPE 2016 Committee Member in Steering Committee within the ML-track
Mu Lei Author of Multi-purpose web framework design based on websocket over HTTP Gateway within the Scheme-track in Scheme 2016
Roman Leshchinskiy Standard Chartered Bank Committee Member in Program Committee within the ICFP Research Papers-track
Matthew Le Author of Revisiting Software Transactional Memory in Haskell within the Haskell-track in Haskell 2016
Dan Licata Wesleyan University United States Author of Introduction to Dependent Types within the PLMW-track in PLMW 2016 Keynote Speaker of A Functional Programmer's Guide to Homotopy Type Theory within the Keynote Talks-track in ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Speakers within the PLMW-track
Japheth Lim Data61, Australia Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track in ICFP 2016
Sam Lindley University of Edinburgh, UK Session Chair of Session 9 (part of ICFP Research Papers) Session Chair of Effects (part of ML) Author of Liberating Effects with Rows and Handlers within the TyDe-track in TyDe 2016 Author of Compiling Links Effect Handlers to the OCaml Backend within the ML-track in ML 2016 Author of Embedding Session Types in Haskell within the Haskell-track in Haskell 2016 Author of Talking Bananas: Structural Recursion for Session Types within the Research Papers-track in ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track
Ben Lippmeier University of New South Wales Session Chair of GPUs (part of FHPC) Author of Icicle: Write Once, Run Once within the FHPC-track in FHPC 2016 Author of Polarized Data Parallel Data Flow within the FHPC-track in FHPC 2016 Author of Automatically Escaping Monads within the HIW-track in HIW 2016 Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the FHPC-track
Fengyun Liu EPFL Switzerland Author of Effects as Capabilities within the HOPE-track in HOPE 2016
Yu David Liu Author of Lazy Graph Processing in Haskell within the Haskell-track in Haskell 2016
Hai Liu Intel Labs Session Chair of Streaming and Dataflow (part of FHPC) Author of Causal Commutative Arrows Revisited within the Haskell-track in Haskell 2016
Rita Loogen University of Marburg Committee Member in Program Committee within the FHPC-track
Carlos Lopez Pampin Author of Making everybody comfortable with Erlang: a SCADA system for thermal control within the Erlang-track in Erlang 2016
Andreea Lutac Author of Towards Reliable and Scalable Robot Communication within the Erlang-track in Erlang 2016
Yu-Han Lyu Dartmouth College, USA Author of Queueing and Glueing for Optimal Partitioning (Functional Pearl) within the Research Papers-track in ICFP 2016
Andres Löh Well-Typed LLP Germany Workshops Co-Chair in Organizing Committee for ICFP 2016 Session Chair of Session 7 (part of ICFP Research Papers) Author of T4: An Introduction to to Type-Level and Generic Programming in Haskell within the Tutorials-track in ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track
Andreas Löscher Author of The Nifty Way to Call Hell from Heaven within the Erlang-track in Erlang 2016
John MacCallum CNMAT - UC Berkeley Author of o.OM: Structured-Functional Communication between Computer Music Systems using OSC and Odot within the FARM-track in FARM 2016
Fil Mackay Vertigo Technology (Australia) Author of Polarized Data Parallel Data Flow within the FHPC-track in FHPC 2016
Frederik M. Madsen DIKU, University of Copenhagen Author of Streaming Nested Data Parallelism on Multicores within the FHPC-track in FHPC 2016
José Pedro Magalhães Standard Chartered Bank and Chordify Committee Member in Program Committee within the FARM-track
Patrick Maier University of Glasgow Author of JIT Costing Adaptive Skeletons for Performance Portability within the FHPC-track in FHPC 2016
Geoffrey Mainland Drexel University Session Chair of Lightning Talks (part of Haskell) Session Chair of Abstractions that Scale (part of Haskell) Committee Member in External Review Committee within the ICFP Research Papers-track Chair in Program Committee within the Haskell-track Committee Member in Program Committee within the FHPC-track
Junichiro Makino Kobe University Author of Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation within the FHPC-track in FHPC 2016
Luc Maranget INRIA Rocquencourt Author of Ambiguous pattern variables within the ML-track in ML 2016
Simon Marlow Facebook Author of Remote GHCi within the HIW-track in HIW 2016 Author of Desugaring Haskell's do-Notation into Applicative Operations within the Haskell-track in Haskell 2016 Author of Non-recursive Make Considered Harmful: Build Systems at Scale within the Haskell-track in Haskell 2016 Committee Member in External Review Committee within the ICFP Research Papers-track
Yutaka Maruyama Author of Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation within the FHPC-track in FHPC 2016
Kazutaka Matsuda Tohoku University Committee Member in External Review Committee within the ICFP Research Papers-track
Kiminori Matsuzaki Kochi University of Technology, Japan Japan Author of s6raph: Vertex-Centric Graph Processing Framework with Functional Interface within the FHPC-track in FHPC 2016 Author of Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing within the Research Papers-track in ICFP 2016
Michel Mauny Author of Generic Programming in OCaml within the OCaml-track in OCaml 2016
Luke Maurer University of Oregon, USA Author of Administrative normal form, continued: Sharing control in direct style within the HOPE-track in HOPE 2016 Author of Sequent Calculus as a Compiler Intermediate Language within the Research Papers-track in ICFP 2016
Conor McBride University of Strathclyde Committee Member in External Review Committee within the ICFP Research Papers-track
Jay McCarthy University of Massachusetts Lowell Author of Bithoven: Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis within the FARM-track in FARM 2016
Trevor L. McDonell Indiana University, USA Australia Author of Ghostbuster: A Tool for Simplifying and Converting GADTs within the Research Papers-track in ICFP 2016
Brian McKenna Atlassian Author of T7: PureScript Front-end Developement within the Tutorials-track in ICFP 2016
James McKinna Author of Bidirectional Transformations are Proof-Relevant Bisimulations within the TyDe-track in TyDe 2016
James McKinna University of Edinburgh Committee Member in Program Committee within the TyDe-track
Alex McLean FoAM / University of Leeds United Kingdom Committee Member in Program Committee within the FARM-track
Hannes Mehnert Author of Conex -- establishing trust into data repositories within the OCaml-track in OCaml 2016
Carin Meier Cognitect United States Committee Member in Program Committee within the CUFP-track
Jan Midtgaard Technical University of Denmark Committee Member in Program Committee within the ML-track
Matthew Might University of Utah, USA United States Author of miniAdapton: A Minimal Implementation of Incremental Computation in Scheme within the Scheme-track in Scheme 2016 Author of Allocation Characterizes Polyvariance: A Unified Methodology for Polyvariant Control-Flow Analysis within the Research Papers-track in ICFP 2016 Committee Member in Program Committee within the Scheme-track Committee Member in External Review Committee within the ICFP Research Papers-track
Yaron Minsky Jane Street Member at large in Steering Committee for ICFP 2016 Author of Keynote within the CUFP-track in CUFP 2016
Neil Mitchell Author of Non-recursive Make Considered Harmful: Build Systems at Scale within the Haskell-track in Haskell 2016
Wazim Mohammed Ismail Indiana University, USA Author of Deriving a Probability Density Calculator (Functional Pearl) within the Research Papers-track in ICFP 2016
Andrey Mokhov Author of Desugaring Haskell's do-Notation into Applicative Operations within the Haskell-track in Haskell 2016 Author of Non-recursive Make Considered Harmful: Build Systems at Scale within the Haskell-track in Haskell 2016
Akimasa Morihata University of Tokyo, Japan Japan Session Chair of Session 1 (part of ICFP Research Papers) Author of Program Transformations for Developing Efficient and Correct Programs with Ease within the PLMW-track in PLMW 2016 Invited speaker of From Identification of Parallelizability to Derivation of Parallelizable Codes within the FHPC-track in FHPC 2016 Author of Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing within the Research Papers-track in ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Speakers within the PLMW-track
J. Garrett Morris University of Edinburgh, UK United Kingdom Author of Embedding Session Types in Haskell within the Haskell-track in Haskell 2016 Author of Talking Bananas: Structural Recursion for Session Types within the Research Papers-track in ICFP 2016 Author of The Best of Both Worlds: Linear Functional Programming without Compromise within the Research Papers-track in ICFP 2016
Sean K. Moss Author of Functional models of full ground, and general, reference cells within the HOPE-track in HOPE 2016
John Magnus Motron University of Glasgow Author of JIT Costing Adaptive Skeletons for Performance Portability within the FHPC-track in FHPC 2016
Stefan Muller Carnegie Mellon University, USA Author of Hierarchical Memory Management for Parallel Programs within the Research Papers-track in ICFP 2016
Takayuki Muranushi RIKEN Author of Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation within the FHPC-track in FHPC 2016 Committee Member in Program within the ICFP Tutorials-track
Andrzej Murawski University of Warwick, UK Committee Member in Program Committee within the HOPE-track
Tom Murphy Author of A Livecoding Semantics for Functional Reactive Programming within the FARM-track in FARM 2016
Toby Murray University of Melbourne, Australia Australia Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track in ICFP 2016
Rahul Muttineni TypeLead Author of GHCVM - A JVM Backend for GHC within the HIW-track in HIW 2016
Shin-Cheng Mu Academia Sinica, Taiwan Author of Queueing and Glueing for Optimal Partitioning (Functional Pearl) within the Research Papers-track in ICFP 2016
Magnus O. Myreen Chalmers University of Technology, Sweden Author of A verified Lisp implementation for a verified theorem prover within the Scheme-track in Scheme 2016 Author of A New Verified Compiler Backend for CakeML within the Research Papers-track in ICFP 2016
Yutaka Nagashima Data61, Australia Author of Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML within the ML-track in ML 2016 Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track in ICFP 2016
Shayan Najd Author of Trees That Grow within the HIW-track in HIW 2016
Yoshifumi Nakamura RIKEN Author of Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation within the FHPC-track in FHPC 2016
Keisuke Nakano The University of Electro-Communications Japan Programming Contest Organiser in Organizing Committee for ICFP 2016 Committee Member in Program Committee within the ICFP Research Papers-track
Keiko Nakata FireEye Dresden Germany Committee Member in Program Committee within the TyDe-track
Aleksandar Nanevski IMDEA Software Institute Author of Opening remarks within the HOPE-track in HOPE 2016 Author of Concurrent Data Structures Linked in Time within the HOPE-track in HOPE 2016 Co-chair in Program Committee within the HOPE-track Committee Member in Program Committee within the ICFP Research Papers-track
Georg Neis MPI-SWS & Saarland University Committee Member in External Review Committee within the ICFP Research Papers-track
Ryan R. Newton Indiana University, USA Author of Ghostbuster: A Tool for Simplifying and Converting GADTs within the Research Papers-track in ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track
Max New Northeastern University Author of Fully Abstract Compilation via Universal Embedding within the Research Papers-track in ICFP 2016 Author of Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl) within the Research Papers-track in ICFP 2016
Kim Nguyễn University of Paris-Sud, France Author of Set-Theoretic Types for Polymorphic Variants within the Research Papers-track in ICFP 2016
Henrik Nilsson Author of Supermonads: One Notion to Bind Them All within the Haskell-track in Haskell 2016 Author of Functional Reactive Programming, Refactored within the Haskell-track in Haskell 2016
Yuki Nishida Kyoto University Student Volunteer Co-Chair in Organizing Committee for ICFP 2016
Susumu Nishimura Kyoto University Local Organizer co-Chair in Organizing Committee for ICFP 2016
Seiya Nishizawa RIKEN Author of Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation within the FHPC-track in FHPC 2016
Keigo Nitadori RIKEN Author of Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation within the FHPC-track in FHPC 2016
Bartosz Nitka Facebook Author of GHC Determinism within the HIW-track in HIW 2016
Michael Norrish Data61 at CSIRO, Australia Australia Author of A New Verified Compiler Backend for CakeML within the Research Papers-track in ICFP 2016
Diogenes Nunez Author of Autobahn: Using Genetic Algorithms to Infer Strictness Annotations within the Haskell-track in Haskell 2016
Liam O'Connor UNSW, Australia Australia Author of Applications of Applicative Proof Search within the TyDe-track in TyDe 2016 Author of Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML within the ML-track in ML 2016 Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track in ICFP 2016
Cosmin Oancea DIKU, University of Copenhagen Denmark Author of APL on GPUs: A TAIL from the Past, Scribbled in Futhark within the FHPC-track in FHPC 2016
Martin Odersky Ecole Polytechnique Federale de Lausanne Switzerland Author of Effects as Capabilities within the HOPE-track in HOPE 2016
Atsushi Ohori Tohoku University, Japan Author of SML# with Natural Join within the ML-track in ML 2016 Author of A Fully Concurrent Garbage Collector for Functional Programs on Multicore Processors within the Research Papers-track in ICFP 2016
Bruno C. d. S. Oliveira University of Hong Kong, China Author of Disjoint Intersection Types within the Research Papers-track in ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track
Dominic Orchard University of Cambridge, UK United Kingdom Author of Combining Effects and Coeffects via Grading within the Research Papers-track in ICFP 2016
Peter-Michael Osera Grinnell College United States Author of Programming Assistance for Type-directed Programming within the TyDe-track in TyDe 2016
Katie Ots Facebook United Kingdom Author of Opening remarks within the CUFP-track in CUFP 2016 Author of Closing remarks within the CUFP-track in CUFP 2016 Co-chair in Program Committee within the CUFP-track Committee Member in Organizing Committee within the CUFP-track
Scott Owens University of Kent, UK Session Chair of Session 8 (part of ICFP Research Papers) Author of A New Verified Compiler Backend for CakeML within the Research Papers-track in ICFP 2016 Committee Member in Program Committee within the ICFP Research Papers-track
Zoe Paraskevopoulou Princeton University, USA United States Author of A Type Theory for Incremental Computational Complexity with Control Flow Changes within the Research Papers-track in ICFP 2016
Sungwoo Park Pohang University of Science and Technology Committee Member in Program Committee within the ICFP Research Papers-track
Bryan Parno Author of Extracting from F* to C: a progress report within the ML-track in ML 2016
Jennifer Paykin Author of Choose Your Own Derivative within the TyDe-track in TyDe 2016
Ivan Perez University of Nottingham Author of Functional Reactive Programming, Refactored within the Haskell-track in Haskell 2016
Tomas Petricek University of Cambridge Committee Member in Program Committee within the TyDe-track
Tommaso Petrucciani University of Genoa, France Italy Author of Set-Theoretic Types for Polymorphic Variants within the Research Papers-track in ICFP 2016
David Pichardie ENS Rennes, France France Author of An Abstract Memory Functor for Verified C Static Analyzers within the Research Papers-track in ICFP 2016
Matthew Pickering Author of Pattern Synonyms within the Haskell-track in Haskell 2016
Brigitte Pientka McGill University, Canada Author of Indexed Codata Types within the Research Papers-track in ICFP 2016 Committee Member in Program Committee within the TyDe-track
Benjamin C. Pierce University of Pennsylvania United States Committee Member in External Review Committee within the ICFP Research Papers-track
Frank Piessens iMinds, Belgium Author of Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data within the Research Papers-track in ICFP 2016
Igor Pikovets Ahrefs Research Committee Member in Program Committee within the OCaml-track
Dan Piponi Google Committee Member in Program Committee within the FARM-track
Maciej Piróg KU Leuven, Belgium Author of String Diagrams for Free Monads (Functional Pearl) within the Research Papers-track in ICFP 2016
François Pottier INRIA Committee Member in Program Committee within the HOPE-track Committee Member in External Review Committee within the ICFP Research Papers-track
Marc Pouzet Author of Sundials/ML: interfacing with numerical solvers within the OCaml-track in OCaml 2016
Mindy Preston Docker Committee Member in Program Committee within the OCaml-track
Jonathan Protzenko Microsoft Research United States Author of Extracting from F* to C: a progress report within the ML-track in ML 2016
Vincent Prunet Inria, France Author of A Glimpse of Hopjs within the Research Papers-track in ICFP 2016
Alexey Radul MIT Committee Member in Program Committee within the Scheme-track
Prabhakar Ragde University of Waterloo Committee Member in Program Committee within the FARM-track
Ram Raghunathan Carnegie Mellon University, USA Author of Hierarchical Memory Management for Parallel Programs within the Research Papers-track in ICFP 2016
Mike Rainey Inria, France Author of Dag-Calculus: A Calculus for Parallel Computation within the Research Papers-track in ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the FHPC-track
Aseem Rastogi Microsoft Research India India Author of Extracting from F* to C: a progress report within the ML-track in ML 2016
Rachel Reese Jet.com Author of Chaos testing with F# and Azure within the CUFP-track in CUFP 2016
John Reppy University of Chicago ICFP'15 Program Chair in Steering Committee for ICFP 2016 Session Chair of Session 10 (part of ICFP Research Papers) Session Chair of Classes (part of ML) Author of Compiling with Continuations and LLVM within the ML-track in ML 2016 Committee Member in Steering Committee within the ML-track Committee Member in Program Committee within the ML-track
Kenji Rikitake Kenji Rikitake Professional Engineer's Office Japan Committee Member in Program Committee within the CUFP-track Committee Member in Program Committee within the Erlang-track
Christine Rizkallah University of Pennsylvania, USA United States Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track in ICFP 2016
Amos Robinson Ambiata (Australia) Author of Icicle: Write Once, Run Once within the FHPC-track in FHPC 2016 Author of Polarized Data Parallel Data Flow within the FHPC-track in FHPC 2016
Tiark Rompf Purdue & Oracle Labs Committee Member in External Review Committee within the ICFP Research Papers-track
Andreas Rossberg Google Germany Author of WebAssembly: high speed at low cost for everyone within the ML-track in ML 2016 Committee Member in External Review Committee within the ICFP Research Papers-track
Andrea Rosà Università della Svizzera italiana Switzerland Author of Profiling Actor Utilization and Communication in Akka within the Erlang-track in Erlang 2016
María del Mar Rubio González Invited speaker of Keynote: Solutions to distributed system problems, 'Akka', actors. within the Erlang-track in Erlang 2016
Colin Runciman Author of FitSpec: Refining Property Sets for Functional Testing within the Haskell-track in Haskell 2016
Claudio Russo Microsoft Research Author of Classes for the Masses within the ML-track in ML 2016
Alejandro Russo Chalmers University of Technology Session Chair of Session 11 (part of ICFP Research Papers) Committee Member in External Review Committee within the ICFP Research Papers-track
Sukyoung Ryu KAIST Korea, South Author of Analyzing JavaScript Web Applications in the Wild (Mostly) Statically within the PLMW-track in PLMW 2016 Keynote Speaker of Journey to Find Bugs in JavaScript Web Applications in the Wild within the Keynote Talks-track in ICFP 2016 Committee Member in Speakers within the PLMW-track
Thomas Réfis Author of Ambiguous pattern variables within the ML-track in ML 2016
Didier Rémy INRIA Session Chair of Implementation (part of ML) Committee Member in Steering Committee within the ML-track
Amr Sabry Indiana University Committee Member in Program Committee within the ICFP Research Papers-track
Konstantinos (Kostis) Sagonas Author of The Nifty Way to Call Hell from Heaven within the Erlang-track in Erlang 2016
Adam Sandberg Eriksson Author of An Agda formalisation of the transitive closure of block matrices within the TyDe-track in TyDe 2016
Mark Santolucito Yale Publicity Chair in Program Committee within the FARM-track Publicity Chair in Organizing Committee within the FARM-track
Susmit Sarkar University of St. Andrews, UK Author of Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms within the Research Papers-track in ICFP 2016
Tomohiro Sasaki Tohoku University Author of SML# with Natural Join within the ML-track in ML 2016
Ryosuke Sato University of Tokyo, Japan Author of Automatically Disproving Fair Termination of Higher-Order Functional Programs within the Research Papers-track in ICFP 2016
Shigeyuki Sato Kochi University of Technology Author of s6raph: Vertex-Centric Graph Processing Framework with Functional Interface within the FHPC-track in FHPC 2016
Gabriel Scherer Northeastern University United States Student Volunteer Co-Chair in Organizing Committee for ICFP 2016 Author of Ambiguous pattern variables within the ML-track in ML 2016 Committee Member in Program Committee within the OCaml-track
Tom Schrijvers KU Leuven Session Chair of Session 4 (part of ICFP Research Papers) Committee Member in Program Committee within the ICFP Research Papers-track Committee Member in Program Committee within the TyDe-track
Eric Seidel University of California at San Diego, USA United States Author of Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong) within the Research Papers-track in ICFP 2016
Ilya Sergey University College London, UK Author of Concurrent Data Structures Linked in Time within the HOPE-track in HOPE 2016 Author of Experience Report: Growing and Shrinking Polygons for Random Testing of Computational Geometry Algorithms within the Research Papers-track in ICFP 2016
Manuel Serrano Inria, France Author of A Glimpse of Hopjs within the Research Papers-track in ICFP 2016
Fabienne Serrière KnitYak Committee Member in Program Committee within the FARM-track
Anton Setzer Author of Programming with Monadic CSP-Style Processes in Dependent Type Theory within the TyDe-track in TyDe 2016
Will Sewell Speaker of Developing a fast and durable pub/sub message bus within the CUFP-track in CUFP 2016
Thomas Sewell UNSW, Australia Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track in ICFP 2016
Peter Sewell University of Cambridge Committee Member in External Review Committee within the ICFP Research Papers-track
Chung-chieh Shan Indiana University, USA Author of Deriving a Probability Density Calculator (Functional Pearl) within the Research Papers-track in ICFP 2016
Toby Shaw Imperial College London Author of Demo: VoxelCAD, a collaborative voxel-based CAD tool within the FARM-track in FARM 2016
Tim Sheard Portland State University Author of Generic Lookup and Update for Infinitary Inductive-Recursive Types within the TyDe-track in TyDe 2016 Committee Member in External Review Committee within the ICFP Research Papers-track
Mary Sheeran Chalmers University of Technology Author of Low-Level Functional GPU Programming for Parallel Algorithms within the FHPC-track in FHPC 2016 Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the FHPC-track
Alex Shinn Indeed.com Author of Opening Remarks within the Scheme-track in Scheme 2016 General Chair in Program Committee within the Scheme-track Committee Member in Organizing Committee within the Scheme-track
Ayumi Shinohara Tohoku University, Japan Author of Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms within the Research Papers-track in ICFP 2016
Mark Shinwell Jane Street Author of Welcome within the OCaml-track in OCaml 2016 Chair in Program Committee within the OCaml-track Committee Member in Organizing Committee within the OCaml-track Committee Member in Program Committee within the ML-track
Olin Shivers Northeastern University Committee Member in Steering Committee within the Scheme-track Committee Member in Program Committee within the ICFP Research Papers-track
Zhiyuan Shi University of Hong Kong, China Author of Disjoint Intersection Types within the Research Papers-track in ICFP 2016
Steve Shogren SmartStream Technologies Committee Member in Program Committee within the Scheme-track
Francis Shuman Author of Demo: Epimorphism within the FARM-track in FARM 2016
Filip Sieczkowski Inria, France Author of Dag-Calculus: A Calculus for Parallel Computation within the Research Papers-track in ICFP 2016
Satnam Singh Facebook Committee Member in Program Committee within the FHPC-track
KC Sivaramakrishnan University of Cambridge India Author of Compiling Links Effect Handlers to the OCaml Backend within the ML-track in ML 2016 Author of Eff Directly in OCaml within the ML-track in ML 2016 Author of Lock-free programming for the masses within the OCaml-track in OCaml 2016 Author of T3: Introduction to OCaml within the Tutorials-track in ICFP 2016 Committee Member in Program Committee within the OCaml-track
Michael Snoyman FP Complete Committee Member in Program Committee within the HIW-track
Antal Spector-Zabusky Author of Choose Your Own Derivative within the TyDe-track in TyDe 2016
Michael Sperber Active Group GmbH Member at large in Steering Committee for ICFP 2016 Author of Hope is a Monad within the CUFP-track in CUFP 2016 Author of T1: Teaching Functional Programming within the Tutorials-track in ICFP 2016 Co-chair in Program Committee within the FARM-track Program Chair in Organizing Committee within the FARM-track
Jacob Stanley Ambiata Australia Speaker of The Highs and Lows of Optimising DSLs within the CUFP-track in CUFP 2016
Luite Stegeman Committee Member in Program Committee within the HIW-track
John Stell University of Leeds Committee Member in Program Committee within the FARM-track
Sandro Stucki EPFL Switzerland Author of Effects as Capabilities within the HOPE-track in HOPE 2016
Nicolas Stucki EPFL, LAMP Switzerland Author of Effects as Capabilities within the HOPE-track in HOPE 2016
Eijiro Sumii Tohoku University Program Chair in Organizing Committee for ICFP 2016 ICFP'16 Program Chair in Steering Committee for ICFP 2016 Session Chair of Keynote 1 (part of ICFP Keynote Talks) Program Chair in Program Committee within the ICFP Research Papers-track
Kasper Svendsen Aarhus University Author of A Logical Account of a Type-and-Effect System within the HOPE-track in HOPE 2016
Bo Joel Svensson Chalmers University of Technology, Sweden Sweden Author of Low-Level Functional GPU Programming for Parallel Algorithms within the FHPC-track in FHPC 2016
Nikhil Swamy Microsoft Research United States Author of Extracting from F* to C: a progress report within the ML-track in ML 2016 Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the ML-track
Wouter Swierstra University of Utrecht Member at large in Steering Committee for ICFP 2016 Co-chair in Program Committee within the TyDe-track Co-chair in Organizing Committee within the TyDe-track
Don Syme Microsoft Author of Classes for the Masses within the ML-track in ML 2016
Daniel Szmulewicz None Israel Author of Ghosts in the machine within the Scheme-track in Scheme 2016
Marcin Szymczak University of Edinburgh, UK Author of A Lambda-Calculus Foundation for Universal Probabilistic Programming within the Research Papers-track in ICFP 2016
Nicolas Tabareau Inria, France Author of Partial Type Equivalences for Verified Dependent Interoperability within the Research Papers-track in ICFP 2016
Walid Taha Halmstad University Committee Member in Program Committee within the ICFP Research Papers-track
Kotaro Takeda University of Tokyo, Japan Author of Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms within the Research Papers-track in ICFP 2016
Makoto Takeyama Kanagawa University Committee Member in Program Committee within the TyDe-track
Éric Tanter University of Chile, Chile Author of Partial Type Equivalences for Verified Dependent Interoperability within the Research Papers-track in ICFP 2016
Yong Kiam Tan IHPC at A*STAR, Singapore Author of A New Verified Compiler Backend for CakeML within the Research Papers-track in ICFP 2016
Bruce Tate iCanMakeItBetter Committee Member in Program Committee within the Erlang-track
David Terei Stanford United States Session Chair of FRP (part of Haskell) Committee Member in Program Committee within the Haskell-track
David Thibodeau McGill University, Canada Author of Indexed Codata Types within the Research Papers-track in ICFP 2016
Peter Thiemann University of Freiburg, Germany Germany SIGPLAN Vice Chair in Steering Committee for ICFP 2016 Author of Context-Free Session Types within the Research Papers-track in ICFP 2016
Simon Thompson University of Kent Committee Member in Program Committee within the Erlang-track
Vasco Thudichum Vasconcelos Author of Context-Free Session Types within the Research Papers-track in ICFP 2016
Amin Timany Author of Simple Dependent Polymorphic I/O Effects within the HOPE-track in HOPE 2016
Sam Tobin-Hochstadt Indiana University United States Committee Member in External Review Committee within the ICFP Research Papers-track
Hirofumi Tomita RIKEN Author of Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation within the FHPC-track in FHPC 2016
Melinda Toth Eötvös Loránd University Hungary Co-chair in Organizing Committee within the Erlang-track Co-chair in Program Committee within the Erlang-track
Phil Trinder University of Glasgow Author of JIT Costing Adaptive Skeletons for Performance Portability within the FHPC-track in FHPC 2016 Author of Towards Reliable and Scalable Robot Communication within the Erlang-track in Erlang 2016 Author of A Scalable Reliable Instant Messenger using the SD Erlang Libraries within the Erlang-track in Erlang 2016
Ryan Trinkle Obsidian Systems LLC United States Industrial Relations Chair in Organizing Committee for ICFP 2016
Takeshi Tsukada University of Tokyo, Japan Author of Automatically Disproving Fair Termination of Higher-Order Functional Programs within the Research Papers-track in ICFP 2016
Aaron Turon MPI-SWS Author of Rust: PL research in industry within the PLMW-track in PLMW 2016 Committee Member in Speakers within the PLMW-track
Katsuhiro Ueno Tohoku University, Japan Session Chair of Web (part of ML) Author of SML# with Natural Join within the ML-track in ML 2016 Author of A Fully Concurrent Garbage Collector for Functional Programs on Multicore Processors within the Research Papers-track in ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the ML-track
Henrik Urms DIKU, University of Copenhagen Author of APL on GPUs: A TAIL from the Past, Scribbled in Futhark within the FHPC-track in FHPC 2016
Tarmo Uustalu Tallinn University of Technology, Estonia Author of Combining Effects and Coeffects via Grading within the Research Papers-track in ICFP 2016
David Van Horn University of Maryland, USA Student Research Competition Chair in Organizing Committee for ICFP 2016 Author of Basic Mechanics of Operational Semantics within the PLMW-track in PLMW 2016 Author of Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory within the Research Papers-track in ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Speakers within the PLMW-track
Jasper Van der Jeugt Fugue Speaker of Creating an approachable Haskell-like DSL within the CUFP-track in CUFP 2016
Marco Vassena Author of Generic diff3 for Algebraic Datatypes within the TyDe-track in TyDe 2016
Niki Vazou UC San Diego Session Chair of Language Features (part of Haskell) Author of T6: LiquidHaskell: Verification of Haskell Programs with SMTs within the Tutorials-track in ICFP 2016 Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the HIW-track
Jerome Vouillon CNRS PPS Committee Member in Program Committee within the OCaml-track
Dimitrios Vytiniotis Microsoft Research, Cambridge Committee Member in Program Committee within the ICFP Research Papers-track Committee Member in Program Committee within the Haskell-track
Philip Wadler University of Edinburgh United States Author of Some Types of Types within the PLMW-track in PLMW 2016 Committee Member in Speakers within the PLMW-track
David Walker Princeton University Committee Member in Program Committee within the ICFP Research Papers-track
Jordan Walke Facebook Committee Member in Program Committee within the OCaml-track
Yisu Remy Wang Tufts University United States Author of Autobahn: Using Genetic Algorithms to Infer Strictness Annotations within the Haskell-track in Haskell 2016
Meng Wang University of Kent, UK Singapore Committee Member in External Review Committee within the ICFP Research Papers-track
Keiichi Watanabe University of Tokyo, Japan Author of Automatically Disproving Fair Termination of Higher-Order Functional Programs within the Research Papers-track in ICFP 2016
Westley Weimer University of Virginia, USA Author of Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong) within the Research Papers-track in ICFP 2016
Stephanie Weirich University of Pennsylvania Session Chair of Testing (part of Haskell) Committee Member in Program Committee within the HOPE-track Committee Member in Program Committee within the HIW-track
Leo White Jane Street Author of Effective programming: bringing algebraic effects and handlers to OCaml within the HOPE-track in HOPE 2016
Matthew Windsor Author of Classes for the Masses within the ML-track in ML 2016
Nicolas Wu University of Bristol, UK United Kingdom Workshops Co-Chair in Organizing Committee for ICFP 2016 Author of String Diagrams for Free Monads (Functional Pearl) within the Research Papers-track in ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the TyDe-track
Yuheng Xie Author of Function compose, Type cut, And the Algebra of logic within the Scheme-track in Scheme 2016
Kazuya Yaguchi Tohoku University, Japan Author of Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms within the Research Papers-track in ICFP 2016
Jeremy Yallop University of Cambridge, UK Author of Generic partially-static data within the TyDe-track in TyDe 2016 Author of OCaml inside: a drop-in replacement for libtls within the OCaml-track in OCaml 2016 Author of Causal Commutative Arrows Revisited within the Haskell-track in Haskell 2016 Committee Member in Steering Committee within the ML-track
Kazuhiko Yamamoto Author of Experience Report: Developing High Performance HTTP/2 Server in Haskell within the Haskell-track in Haskell 2016
Edward Z. Yang Stanford University United States Author of Backpack to Work: Towards Backpack in Practice within the HIW-track in HIW 2016 Program Chair in Program Committee within the HIW-track
Dave Yarwood Adzerk Author of Demo: Alda: A text-based music composition language within the FARM-track in FARM 2016
Hisashi Yashiro RIKEN Author of Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation within the FHPC-track in FHPC 2016
Ryan Yates Author of Revisiting Software Transactional Memory in Haskell within the Haskell-track in Haskell 2016
Brent Yorgey Hendrix College United States Author of How to Twist Pointers without Breaking Them within the Haskell-track in Haskell 2016 Committee Member in Program Committee within the TyDe-track
Nobuko Yoshida Imperial College London, UK Committee Member in Program Committee within the ICFP Research Papers-track
Seitaro Yuki Dwango Author of Building a web application with continuation monads within the CUFP-track in CUFP 2016
Timothy A. K. Zakian Oxford University, UK United Kingdom Author of Ghostbuster: A Tool for Simplifying and Converting GADTs within the Research Papers-track in ICFP 2016
Beta Ziliani Universidad Nacional de Córdoba Committee Member in Program Committee within the HOPE-track Committee Member in External Review Committee within the ICFP Research Papers-track
Jean-Karim Zinzindohoué INRIA Author of Extracting from F* to C: a progress report within the ML-track in ML 2016
Atze van der Ploeg Author of The Key Monad: Type-Safe Unconstrained Dynamic Typing within the Haskell-track in Haskell 2016
Ezgi Çiçek MPI-SWS, Germany Author of A Type Theory for Incremental Computational Complexity with Control Flow Changes within the Research Papers-track in ICFP 2016
Rúnar Óli Bjarnason Verizon Labs Iceland Committee Member in Program Committee within the CUFP-track

ICFP 2016 Contributors

Results (463)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposiums