ICFP 2017 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (545)

Andreas Abel University of Gothenburg, Sweden Author of Normalization by Evaluation for Sized Dependent Types within the Research Papers-track in ICFP 2017
Samodya Abeysiriwardane Purdue University Author of Mergeable types within the ML 2017-track in ML 2017
Luca Aceto Reykjavik University Author of eAOP - An Aspect Oriented Programming Framework for Erlang within the Erlang 2017-track in Erlang 2017
Ashish Agarwal Committee Member in Program Committee within the OCaml-track
Alejandro Aguirre IMDEA Software Institute, Spain Author of A Relational Logic for Higher-Order Programs within the Research Papers-track in ICFP 2017
Danel Ahman University of Edinburgh Estonia Author of Handling fibred algebraic effects within the HOPE 2017-track in HOPE 2017 Author of Recalling a Witness within the HOPE 2017-track in HOPE 2017
Amal Ahmed Northeastern University, USA United States Author of Compositional Compiler Correctness within the PLMW 2017-track in PLMW 2017 Author of Panel Discussion: Careers in Programming Languages within the PLMW 2017-track in PLMW 2017 Author of Theorems for Free for Free: Parametricity, With and Without Types within the Research Papers-track in ICFP 2017
Benedikt Ahrens Author of Displayed categories within the FSCD 2017-track in FSCD 2017
Yohji Akama Author of The confluent terminating context-free substitutive rewriting system for the λ-calculus with surjective pairing and terminal type within the FSCD 2017-track in FSCD 2017
Baris Aktemur Ozyegin University Committee Member in Program Committee within the Scheme-track
Maximilian Algehed Chalmers University of Technology, Sweden Author of VisPar: Visualising dataflow graphs from the Par monad within the FHPC 2017-track in FHPC 2017 Author of QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) within the Haskell 2017-track in Haskell 2017
David Allsopp University of Cambridge United Kingdom Presenter of Invited talk: new contributors within the OCaml 2017-track in OCaml 2017
Nada Amin University of Cambridge United Kingdom Author of Scala: Types in Theory & Practice within the PLMW 2017-track in PLMW 2017 Committee Member in Program Committee within the TyDe-track Committee Member in Program Committee within the Scheme-track
Leif Andersen Northeastern University, USA Author of Super 8 Languages for Making Movies (Functional Pearl) within the Research Papers-track in ICFP 2017
Florian Angeletti Presenter of Invited talk: new contributors within the OCaml 2017-track in OCaml 2017
Takahito Aoto Author of Improving Rewriting Induction Approach for Proving Ground Confluence within the FSCD 2017-track in FSCD 2017
Vincent Archambault-Bouffard Université de Montréal Author of Typer: an infix statically typed Lisp within the ML 2017-track in ML 2017
Simon Archipoff CNRS LaBRI, Inria Bordeaux, Author of Unified Media Programming: An Algebraic Approach within the FARM 2017-track in FARM 2017 Author of Demo — Octopus: A High-Level Fast 3D Animation Language within the FARM 2017-track in FARM 2017
Stavros Aronis Uppsala University Author of The Shared-Memory Interferences of Erlang/OTP Built-ins within the Erlang 2017-track in Erlang 2017
Markus Aronsson Author of Hardware Software Co-Design in Haskell within the Haskell 2017-track in Haskell 2017
Kenichi Asai Ochanomizu University Japan Committee Member in Program Committee within the Scheme-track
Robert Atkey University of Strathclyde Author of Continuation Passing Style for Effect Handlers within the FSCD 2017-track in FSCD 2017 Committee Member in Program Committee within the ICFP Research Papers-track
Joshua Auerbach IBM Research Author of Prototyping a Query Compiler using Coq (Experience Report) within the Research Papers-track in ICFP 2017
Lennart Augustsson Committee Member in Program Committee within the Haskell-track
Martin Avanzini University of Innsbruck, Austria Author of Automating Sized-Type Inference for Complexity Analysis within the Research Papers-track in ICFP 2017
Jeremy Avigad Carnegie Mellon University, USA Author of A Metaprogramming Framework for Formal Verification within the Research Papers-track in ICFP 2017
Pedro Henrique Azevedo de Amorim Ecole Polytechnique, n.n. / University of Campinas, Brazil Author of A Specification for Dependent Types in Haskell within the Research Papers-track in ICFP 2017
Kagumi Azuma Kwansei Gakuin University Author of Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang within the Erlang 2017-track in Erlang 2017
Arthur BREITMAN Dynamic Ledger Solutions Author of Tezos: the OCaml Crypto-Ledger within the OCaml 2017-track in OCaml 2017
Patrick Bahr IT University of Copenhagen Denmark Author of Böhm Reduction in Infinitary Term Graph Rewriting Systems within the FSCD 2017-track in FSCD 2017
Thibaut Balabonski LRI, France / University of Paris-Sud, France Author of Foundations of Strong Call by Need within the Research Papers-track in ICFP 2017
Michael Ballantyne University of Utah, USA Author of A Unified Approach to Solving Seven Programming Problems (Functional Pearl) within the Research Papers-track in ICFP 2017 Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Stephanie Balzer Carnegie Mellon University, USA Author of Manifest Sharing with Session Types within the Research Papers-track in ICFP 2017
Pablo Barenbaum University of Buenos Aires, Argentina / IRIF, France / University of Paris Diderot, France Author of Optimality and the Linear Substitution Calculus within the FSCD 2017-track in FSCD 2017 Author of Foundations of Strong Call by Need within the Research Papers-track in ICFP 2017
Gilles Barthe IMDEA Software Institute, Spain Author of A Relational Logic for Higher-Order Programs within the Research Papers-track in ICFP 2017
Adam Barwell Author of In Search of a Map: using Program Slicing to Discover Potential Parallelism in Recursive Functions within the FHPC 2017-track in FHPC 2017
Eli Barzilay Committee Member in Program Committee within the Scheme-track
Renick Bell Committee Member in Program Committee within the FARM-track
Clara Benac Earle Universidad Politécnica de Madrid Committee Member in Program Committee within the Erlang-track
Nick Benton Facebook London United Kingdom Committee Member in Program Committee within the ML-track
Beatrice Berard LIP6-UPMC/INRIA Mexico France Committee Member in Program Committee within the FARM-track
Jean-Philippe Bernardy University of Gothenburg Author of A Pretty But Not Greedy Printer (Functional Pearl) within the Research Papers-track in ICFP 2017
Jost Berthold Digital Asset Australia Committee Member in Program Committee within the FHPC-track
Karthikeyan Bhargavan Inria, France Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017
Siddharth Bhat IIT Hyderabad Author of SimplexHC: Lowering High-Level Haskell to Imperative IR within the HIW 2017-track in HIW 2017
Malgorzata Biernacka University of Wroclaw Author of Generalized Refocusing: from Hybrid Strategies to Abstract Machines within the FSCD 2017-track in FSCD 2017 Committee Member in Program Committee within the ML-track
Dariusz Biernacki University of Wrocław Author of Logical Relations for Algebraic Effects within the HOPE 2017-track in HOPE 2017
Jasmin Christian Blanchette Vrije Universiteit Amsterdam Netherlands Author of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL within the FSCD 2017-track in FSCD 2017 Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL within the Tutorials-track in ICFP 2017 Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3) within the Tutorials-track in ICFP 2017 Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 2) within the Tutorials-track in ICFP 2017
Mario Blažević Author of Packrats Parse in Packs within the Haskell 2017-track in Haskell 2017
François Bobot CEA Committee Member in Program Committee within the OCaml-track
Mathieu Boespflug Tweag I/O Author of Tracking GHC Performance within the HIW 2017-track in HIW 2017
Eduardo Bonelli CONICET, Argentina / Universidad Nacional de Quilmes, Argentina Author of Optimality and the Linear Substitution Calculus within the FSCD 2017-track in FSCD 2017 Author of Foundations of Strong Call by Need within the Research Papers-track in ICFP 2017
Renzo Borgatti uSwitch United Kingdom Tutor of Tutorial C6: Transducers in Practice within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C6: Transducers in Practice (part 3) within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C6: Transducers in Practice (part 2) within the CUFP 2017-track in CUFP 2017
Gert-Jan Bottu Author of Quantified Class Constraints within the Haskell 2017-track in Haskell 2017
Dmitri Boulytchev Author of Relational conversion for OCaml within the ML 2017-track in ML 2017
Frédéric Bour OCaml Labs Committee Member in Program Committee within the OCaml-track
Ana Bove Chalmers University of Technology, Sweden Committee Member in Program Committee within the TyDe-track
William J. Bowman Northeastern University United States Author of Only Control Effects and Dependent Types within the HOPE 2017-track in HOPE 2017
István Bozó Eötvös Loránd University Author of Towards Change-driven Testing within the Erlang 2017-track in Erlang 2017
Edwin Brady University of St. Andrews, UK United Kingdom Author of Type-directed reasoning for probabilistic, non-compositional resources within the TyDe 2017-track in TyDe 2017 Author of State machines all the way down within the ML 2017-track in ML 2017 Committee Member in Program Committee within the HOPE-track
Rudy Braquehais Author of Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results within the Haskell 2017-track in Haskell 2017
Joachim Breitner University of Pennsylvania United States Author of Lock-Step Simulation Is Child's Play (Experience Report) within the Research Papers-track in ICFP 2017 Committee Member in Program Committee within the Haskell-track
Jean Bresson UMR STMS: IRCAM-CNRS-UPMC Session Chair of Session 4: Tutorial (part of FARM) Session Chair of Session 1: Papers/Demos (part of FARM) Program Chair of Welcome within the FARM 2017-track in FARM 2017 Program Chair in Program Committee within the FARM-track Program Chair in Organizing Committee within the FARM-track
Nick Brown EPCC Author of Type oriented programming for task based parallelism within the TyDe 2017-track in TyDe 2017
Matt Brown UCLA Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Christopher Brown University of St. Andrews, UK Author of ParaFormance Demo: Democratizing Parallel Software Development within the FHPC 2017-track in FHPC 2017
James Mark Bull EPCC Author of Type oriented programming for task based parallelism within the TyDe 2017-track in TyDe 2017
Joel Burget Author of Why GHC Core and Linear Logic Should be Best Friends within the HIW 2017-track in HIW 2017
William E. Byrd University of Utah, USA United States Author of A Unified Approach to Solving Seven Programming Problems (Functional Pearl) within the Research Papers-track in ICFP 2017 Committee Member in Selection Committee within the ICFP Student Research Competition-track Committee Member in Steering Committee within the Scheme-track
Romain Calascibetta France Tutor of Tutorial C4: Git under the hood with OCaml within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C4: Git under the hood with OCaml (part 3) within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C4: Git under the hood with OCaml (part 2) within the CUFP 2017-track in CUFP 2017
Cristiano Calcagno Facebook Committee Member in Program Committee within the OCaml-track
Jose Calderon Galois, Inc. United States Video Chair in Organizing Committee for ICFP 2017
Benjamin Canou OCamlPro, n.n. Author of Tezos: the OCaml Crypto-Ledger within the OCaml 2017-track in OCaml 2017 Author of Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC within the Research Papers-track in ICFP 2017
Ludovic Capelli EPCC United Kingdom Author of Type oriented programming for task based parallelism within the TyDe 2017-track in TyDe 2017
Richard Carlsson Klarna Sweden Committee Member in Program Committee within the Erlang-track
Ian Cassar University of Malta Author of eAOP - An Aspect Oriented Programming Framework for Erlang within the Erlang 2017-track in Erlang 2017
Giuseppe Castagna CNRS, France / University of Paris Diderot, France Italy Author of Gradual Typing with Union and Intersection Types within the Research Papers-track in ICFP 2017
Simon Castellan Author of Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or within the FSCD 2017-track in FSCD 2017
Laura M. Castro University of A Coruña Committee Member in Program Committee within the Erlang-track
Manuel Chakravarty Author of Tracking GHC Performance within the HIW 2017-track in HIW 2017 Author of Streaming Irregular Arrays within the Haskell 2017-track in Haskell 2017
Pierre Chambart OCamlPRO Author of Tezos: the OCaml Crypto-Ledger within the OCaml 2017-track in OCaml 2017
Buddhika Chamith Indiana University United States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Stephen Chang Northeastern University, USA Author of Super 8 Languages for Making Movies (Functional Pearl) within the Research Papers-track in ICFP 2017
Witold Charatonik Author of Generalized Refocusing: from Hybrid Strategies to Abstract Machines within the FSCD 2017-track in FSCD 2017
Arthur Charguéraud Inria France Author of VOCAL -- a verified OCAml Library within the ML 2017-track in ML 2017 Author of Efficient representation of large, dynamic sequences in ML within the ML 2017-track in ML 2017
Natalia Chechina University of Glasgow United Kingdom Co-chair in Organizing Committee within the Erlang-track
James Cheney University of Edinburgh, UK United States Author of Imperative Functional Programs That Explain Their Work within the Research Papers-track in ICFP 2017
Chao-Hong Chen Indiana University Author of Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping within the Haskell 2017-track in Haskell 2017
Zilin Chen UNSW, Australia Author of Cogent⇑: giving systems engineers a stepping stone within the TyDe 2017-track in TyDe 2017
Adam Chlipala Massachusetts Institute of Technology, USA United States Author of Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification within the Research Papers-track in ICFP 2017 Committee Member in Program Committee within the ICFP Research Papers-track
Joonwon Choi Massachusetts Institute of Technology, USA Author of Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification within the Research Papers-track in ICFP 2017
Stephen Chong Harvard University, USA Author of Whip: Higher-Order Contracts for Modern Services within the Research Papers-track in ICFP 2017
Vikraman Choudhury Author of Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping within the Haskell 2017-track in Haskell 2017
David Thrane Christiansen Indiana University United States Workshops Co-Chair in Organizing Committee for ICFP 2017
Tyng-Ruey Chuang Institute of Information Science, Academia Sinica Author of Type safe Redis queries -- a case study of type-level programming in Haskell within the TyDe 2017-track in TyDe 2017
Koen Claessen Chalmers University of Technology Author of QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) within the Haskell 2017-track in Haskell 2017
Pierre Clairambault Author of Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or within the FSCD 2017-track in FSCD 2017
Dave Clarke Uppsala Univ. Sweden and KU Leuvern Author of Affine killing within the TyDe 2017-track in TyDe 2017
Robert Clifton-Everest Author of Streaming Irregular Arrays within the Haskell 2017-track in Haskell 2017
Will Clinger Committee Member in Steering Committee within the Scheme-track
Robin Cockett Author of There is only one notion of differentiation within the FSCD 2017-track in FSCD 2017
Jesper Cockx iMinds, Belgium Belgium Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Youyou Cong Ochanomizu University Japan Author of Only Control Effects and Dependent Types within the HOPE 2017-track in HOPE 2017
Joe Corneli Author of Lightning Talk: Extending the LISP model from cons cells to triples, from trees to hypergraphs within the Scheme 2017-track in Scheme 2017 Author of Modelling the Way Mathematics Is Actually Done within the FARM 2017-track in FARM 2017
Benjamin Cosman University of California at San Diego, USA Author of Local Refinement Typing within the Research Papers-track in ICFP 2017
Nicholas Cowle G-Research Presenter of Functional Facades over Legacy Code within the CUFP 2017-track in CUFP 2017
Lukasz Czajka University of Innsbruck Author of Confluence of an extension of Combinatory Logic by Boolean constants within the FSCD 2017-track in FSCD 2017
Pierre-Evariste Dagand LIP6/CNRS France Author of Type-directed diffing of structured data within the TyDe 2017-track in TyDe 2017 Committee Member in Program Committee within the HOPE-track
Ugo Dal Lago University of Bologna, Italy / Inria, France Italy Author of Automating Sized-Type Inference for Complexity Analysis within the Research Papers-track in ICFP 2017
David Darais University of Maryland, USA United States Author of Abstracting Definitional Interpreters within the Research Papers-track in ICFP 2017
Milo Davis Northeastern University, USA Author of No-Brainer CPS Conversion within the Research Papers-track in ICFP 2017
Kei Davis Los Alamos National Laboratory United States Committee Member in Program Committee within the FHPC-track
Justin Dawson Author of Composable Network Stacks and Remote Monads within the Haskell 2017-track in Haskell 2017
Leonardo De Moura Microsoft Research, n.n. Author of A Metaprogramming Framework for Formal Verification within the Research Papers-track in ICFP 2017
Pierre Delaunay Université de Montréal Author of Typer: an infix statically typed Lisp within the ML 2017-track in ML 2017
Benjamin Delaware Purdue University Author of Using Coq to Write Fast and Correct Haskell within the Haskell 2017-track in Haskell 2017
Antoine Delignat-Lavaud Microsoft Research, n.n. Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017
Dominique Devriese KU Leuven, Belgium Belgium Author of Parametric Quantifiers for Dependent Type Theory within the Research Papers-track in ICFP 2017 Committee Member in Program Committee within the ICFP Research Papers-track
Roberto Di Cosmo Inria, France / University of Paris Diderot, France France Author of Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC within the Research Papers-track in ICFP 2017
Iavor Diatchki Galois, Inc. Chair in Program Committee within the Haskell-track
Jeremie Dimino Jane Street Europe Author of Jbuilder: a modern approach to OCaml development within the OCaml 2017-track in OCaml 2017
Christos Dimoulas Harvard University, USA Author of Whip: Higher-Order Contracts for Modern Services within the Research Papers-track in ICFP 2017
Stephen Dolan Author of First-class subtypes within the ML 2017-track in ML 2017 Author of Effectively tackling the awkward squad within the ML 2017-track in ML 2017 Author of A memory model for multicore OCaml within the OCaml 2017-track in OCaml 2017 Author of Testing with Crowbar within the OCaml 2017-track in OCaml 2017 Committee Member in Program Committee within the ML-track
Derek Dreyer MPI-SWS Author of How to Write Papers and Give Talks That People Can Follow within the PLMW 2017-track in PLMW 2017 Author of RustBelt: Securing the Foundations of the Rust Programming Language within the HOPE 2017-track in HOPE 2017 ICFP'19 General Chair in Steering Committee for ICFP 2017
Andrej Dudenhefner Technical University Dortmund Author of The Complexity of Principal Inhabitation within the FSCD 2017-track in FSCD 2017
Gabriel Ebner Vienna University of Technology, Austria Austria Author of A Metaprogramming Framework for Formal Verification within the Research Papers-track in ICFP 2017
Satoshi Egi Rakuten Institute of Technology Japan Author of Paper: Scalar and Tensor Parameters for Importing Tensor Index Notation including Einstein Summation Notation within the Scheme 2017-track in Scheme 2017
Richard A. Eisenberg Bryn Mawr College, USA United States Session Chair of State of GHC (part of HIW) Author of Panel Discussion: Careers in Programming Languages within the PLMW 2017-track in PLMW 2017 Author of Constrained Type Families within the Research Papers-track in ICFP 2017 Author of A Specification for Dependent Types in Haskell within the Research Papers-track in ICFP 2017 Chair in Program Committee within the HIW-track Committee Member in Selection Committee within the ICFP Student Research Competition-track
Anton Ekblad Chalmers University of Technology Sweden Author of A Meta-EDSL for Distributed Web Applications within the Haskell 2017-track in Haskell 2017
Spiros Eliopoulos Jane Street Group Author of Effectively tackling the awkward squad within the ML 2017-track in ML 2017
Conal Elliott Target, USA United States Author of Generic Functional Parallel Algorithms: Scan and FFT within the Research Papers-track in ICFP 2017 Author of Compiling to Categories within the Research Papers-track in ICFP 2017
Michael D. Ernst University of Washington, USA Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track in ICFP 2017
Martin Erwig Oregon State University United States Session Chair of Domain-Specific Languages (part of ICFP Research Papers) Committee Member in Program Committee within the ICFP Research Papers-track Committee Member in Program Committee within the Haskell-track
Kavon Farvardin University of Chicago United States Author of Native Support for Explicit Stacks in LLVM within the HIW 2017-track in HIW 2017
Marc Feeley Université de Montréal Canada Author of Panel: Future of Scheme within the Scheme 2017-track in Scheme 2017 Committee Member in Steering Committee within the Scheme-track
Matthias Felleisen Northeastern University, USA Author of Super 8 Languages for Making Movies (Functional Pearl) within the Research Papers-track in ICFP 2017
Daniel Feltey Northwestern University, USA Author of Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) within the Research Papers-track in ICFP 2017
Kiko Fernandez-Reyes Uppsala University Sweden Author of Affine killing within the TyDe 2017-track in TyDe 2017
Jean-Christophe Filliatre CNRS, Paris, France Author of VOCAL -- a verified OCAml Library within the ML 2017-track in ML 2017
Robby Findler Northwestern University, USA United States ICFP'18 General Chair of ICFP 2018 Announcement within the Keynotes and Reports-track in ICFP 2017 Author of Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) within the Research Papers-track in ICFP 2017 ICFP'18 General Chair in Steering Committee for ICFP 2017
Marcelo Fiore Computer Laboratory, University of Cambridge Author of List Objects with Algebraic Structure within the FSCD 2017-track in FSCD 2017
Kathleen Fisher Tufts University United States ICFP'15 General Chair in Steering Committee for ICFP 2017
Andrew Fitzgibbon Microsoft Research, Cambridge Author of Destination-Passing Style for Efficient Memory Management within the FHPC 2017-track in FHPC 2017
Matthew Flatt University of Utah United States Session Chair of Contracts and Sessions (part of ICFP Research Papers) ICFP'18 Program Chair in Steering Committee for ICFP 2017 Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2017 Committee Member in Program Committee within the ICFP Research Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Mathias Fleury MPI-INF Germany Author of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL within the FSCD 2017-track in FSCD 2017
Spencer P. Florence Northwestern University, USA Author of Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) within the Research Papers-track in ICFP 2017
Dominique Fober Author of FAUST Tutorial for Functional Programmers within the FARM 2017-track in FARM 2017
Kenneth Foner Author of Ode on a Random Urn (Functional Pearl) within the Haskell 2017-track in Haskell 2017
Chris Ford ThoughtWorks (UK) Ltd. Author of Demo — African Polyphony and Polyrhythm within the FARM 2017-track in FARM 2017
Yannick Forster Saarland University, Germany / University of Cambridge, UK Germany Author of On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control within the Research Papers-track in ICFP 2017
Cédric Fournet Microsoft Research, n.n. Author of Recalling a Witness within the HOPE 2017-track in HOPE 2017 Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017
Adrian Francalanza University of Malta Malta Author of eAOP - An Aspect Oriented Programming Framework for Erlang within the Erlang 2017-track in Erlang 2017
Daniel P. Friedman Indiana University, USA 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
Koichi Fujima Author of Streett Automata Model Checking of Higher-Order Recursion Schemes within the FSCD 2017-track in FSCD 2017
Yosuke Fukuda Kyoto University Japan Student Volunteer Co-Captain in Organizing Committee for ICFP 2017
Sebastian Funk Jane Street Tutor of Tutorial C1: Online Applications with Incremental within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C1: Online Applications with Incremental (part 3) within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C1: Online Applications with Incremental (part 2) within the CUFP 2017-track in CUFP 2017
Viktória Fördős Erlang Solutions Ltd, Hungary Author of Towards Change-driven Testing within the Erlang 2017-track in Erlang 2017
Viktória Fördős Committee Member in Program Committee within the Erlang-track
Evelina Gabasova University of Cambridge Committee Member in Program Committee within the CUFP-track
Marco Gaboardi University at Buffalo, SUNY, USA United States Author of Type systems for the relational verification of higher order programs within the FSCD 2017-track in FSCD 2017 Author of A Relational Logic for Higher-Order Programs within the Research Papers-track in ICFP 2017
Richard P. Gabriel Dream Songs, Inc. & HPI Committee Member in Program Committee within the FARM-track
Alejandro Gadea FAMAF, UNC and CONICET Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Michael Gale University of Warwick, UK United Kingdom Author of Well-Typed Music Does Not Sound Wrong (Experience Report) within the Haskell 2017-track in Haskell 2017
Ben Gamari Well-Typed LLP Session Chair of Constraints (part of HIW) Author of GHC Infrastructure Update and Discussion within the HIW 2017-track in HIW 2017 Author of Getting Ready for Hadrian within the HIW 2017-track in HIW 2017
Ronald Garcia University of British Columbia Session Chair of Integrating Static and Dynamic Typing (part of ICFP Research Papers) Author of Gradual Typing within the PLMW 2017-track in PLMW 2017 Committee Member in Program Committee within the ICFP Research Papers-track
Deepak Garg MPI-SWS, Germany Germany Author of A Relational Logic for Higher-Order Programs within the Research Papers-track in ICFP 2017
Andreas Garnæs Zendesk Denmark Tutor of Tutorial C8: GraphQL Servers in OCaml (part 2) within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C8: GraphQL Servers in OCaml (part 3) within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C8: GraphQL Servers in OCaml within the CUFP 2017-track in CUFP 2017
Jacques Garrigue ICFP'16 General Chair in Steering Committee for ICFP 2017
Louis Gesbert OCamlPro Committee Member in Program Committee within the OCaml-track
Jean-Louis Giavitto IRCAM France Committee Member in Program Committee within the FARM-track
Jeremy Gibbons Department of Computer Science, University of Oxford United Kingdom Session Chair of Monday Keynote (part of ICFP Keynotes and Reports) ICFP'17 General Chair in Steering Committee for ICFP 2017 General Chair in Organizing Committee for ICFP 2017
Jürgen Giesl Presenter of Termination and Complexity Competition 2017 within the FSCD 2017-track in FSCD 2017
Andy Gill Author of Composable Network Stacks and Remote Monads within the Haskell 2017-track in Haskell 2017
Thomas Gilray University of Utah, USA Author of Paper: Toward Parallelizing Control-flow Analysis with Datalog within the Scheme 2017-track in Scheme 2017
Joris Giovannangeli Ahrefs Research Presenter of Interfacing OCaml and Rust: picking the right tool for the job within the CUFP 2017-track in CUFP 2017
Arthur Gleckler SRFI Editor United States Author of Panel: Future of Scheme within the Scheme 2017-track in Scheme 2017
Sebastian Graf Karlsruhe Institute of Technology Author of Demand Analysis vs. Call Arity within the HIW 2017-track in HIW 2017
Kathryn E. Gray University of Cambridge Session Chair of Art and Education (part of ICFP Research Papers) Committee Member in Program Committee within the ICFP Research Papers-track
Kathy Gray Author of Panel: Future of Scheme within the Scheme 2017-track in Scheme 2017
Mark Grebe Author of Composable Network Stacks and Remote Monads within the Haskell 2017-track in Haskell 2017
Jason Gross MIT CSAIL United States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Stefano Guerrini Author of Is the optimal implementation inefficient? Elementarily not within the FSCD 2017-track in FSCD 2017
Bury Guillaume INRIA / LSV / CNRS Author of mSAT: An OCaml SAT Solver within the OCaml 2017-track in OCaml 2017
Adam Gundry Well-Typed LLP United Kingdom Session Chair of Working in Core (part of HIW) Committee Member in Program Committee within the HIW-track Committee Member in Program Committee within the Haskell-track
Emmanuel Gunther FAMAF, UNC and CONICET Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Andreas Haeberlen University of Pennsylvania, USA Author of A Framework for Adaptive Differential Privacy within the Research Papers-track in ICFP 2017
Jurriaan Hage Utrecht University Committee Member in Program Committee within the Haskell-track
Thomas Hallgren Chalmers University of Technology Sweden Committee Member in Program Committee within the Haskell-track
Makoto Hamana Gunma University, Japan Author of How to Prove Your Calculus Is Decidable: Practical Applications of Second-Order Algebraic Theories and Computation within the Research Papers-track in ICFP 2017
Kevin Hammond University of St. Andrews, UK Session Chair of First Keynote (part of FHPC) Author of Type-directed reasoning for probabilistic, non-compositional resources within the TyDe 2017-track in TyDe 2017 Author of In Search of a Map: using Program Slicing to Discover Potential Parallelism in Recursive Functions within the FHPC 2017-track in FHPC 2017 Contributor/Author of Panel Discussion: The challenges for Functional High Performance Computing within the FHPC 2017-track in FHPC 2017 Author of ParaFormance Demo: Democratizing Parallel Software Development within the FHPC 2017-track in FHPC 2017
Joseph Harrison University of Kent United Kingdom Author of Towards an Isabelle/HOL Formalisation of Core Erlang within the Erlang 2017-track in Erlang 2017
Troels Henriksen DIKU, University of Copenhagen Denmark Author of Futhark Demo within the FHPC 2017-track in FHPC 2017 Author of Strategies for Regular Segmented Reductions on GPU within the FHPC 2017-track in FHPC 2017
Grégoire Henry OCamlPro, n.n. Author of Tezos: the OCaml Crypto-Ledger within the OCaml 2017-track in OCaml 2017 Author of Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC within the Research Papers-track in ICFP 2017
Stefan Heule Stanford University, USA United States Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track in ICFP 2017
Rich Hickey Cognitect United States Keynote Speaker of Ten Years of Clojure -- FP Out of the Box within the Keynotes and Reports-track in ICFP 2017
Michael Hicks University of Maryland, College Park United States SIGPLAN Chair in Steering Committee for ICFP 2017
Daniel Hillerström The University of Edinburgh United Kingdom Author of Effectively tackling the awkward squad within the ML 2017-track in ML 2017 Tutor of Tutorial C3: Concurrent Programming with Effect Handlers (part 3) within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C3: Concurrent Programming with Effect Handlers within the CUFP 2017-track in CUFP 2017 Author of Continuation Passing Style for Effect Handlers within the FSCD 2017-track in FSCD 2017
Daniel Hillerström Tutor of Tutorial C3: Concurrent Programming with Effect Handlers (part 2) within the CUFP 2017-track in CUFP 2017
Sébastien Hinderer Inria France Author of Invited talk: new contributors within the OCaml 2017-track in OCaml 2017 Committee Member in Program Committee within the OCaml-track
Nao Hirokawa JAIST Author of Infinite Runs in Abstract Completion within the FSCD 2017-track in FSCD 2017
Martin Hirzel IBM Research United States Author of Prototyping a Query Compiler using Coq (Experience Report) within the Research Papers-track in ICFP 2017
Jan Hoffmann Carnegie Mellon University United States Author of Arrays and References in Resource Aware ML within the FSCD 2017-track in FSCD 2017
Eric Holk Google Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Reid Holmes Confero Mobile App Chair in Organizing Committee for ICFP 2017
Kuen-Bang Hou (Favonia) Carnegie Mellon University Taiwan Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Cătălin Hriţcu Inria Paris Author of Recalling a Witness within the HOPE 2017-track in HOPE 2017 Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017
Austin Huang Pfizer Presenter of Using Functional Programming to Accelerate Translational Research at Pfizer within the CUFP 2017-track in CUFP 2017
John Hughes Chalmers University of Technology Session Chair of Program Construction (part of ICFP Research Papers) Member at large in Steering Committee for ICFP 2017 Committee Member in Program Committee within the ICFP Research Papers-track
Chung-Kil Hur Seoul National University Korea, South Committee Member in Program Committee within the ICFP Research Papers-track
Graham Hutton University of Nottingham United Kingdom Session Chair of Functional Programming Techniques (part of ICFP Research Papers) Committee Member in Program Committee within the ICFP Research Papers-track
Zhenjiang Hu National Institute of Informatics Japan Committee Member in Program Committee within the FHPC-track
Renat Idrisov Presenter of Distributed load testing with MZBench within the CUFP 2017-track in CUFP 2017
Yuu Igarashi Kyoto University, Japan Author of On Polymorphic Gradual Typing within the Research Papers-track in ICFP 2017
Atsushi Igarashi Kyoto University, Japan Japan Author of On Polymorphic Gradual Typing within the Research Papers-track in ICFP 2017 Author of Gradual Session Types within the Research Papers-track in ICFP 2017 Member at large in Steering Committee for ICFP 2017 Committee Member in Program Committee within the HOPE-track Committee Member in Program Committee within the OCaml-track
Anna Ingolfsdottir Reykjavik University Author of eAOP - An Aspect Oriented Programming Framework for Erlang within the Erlang 2017-track in Erlang 2017
Benedetto Intrigila Author of Refutation of Sallé's Longstanding Conjecture within the FSCD 2017-track in FSCD 2017
Nagisa Ishiura Kwansei Gakuin University Author of Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang within the Erlang 2017-track in Erlang 2017
Suresh Jagannathan Purdue University Author of Mergeable types within the ML 2017-track in ML 2017
Dustin Jamner Northeastern University, USA Author of Theorems for Free for Free: Parametricity, With and Without Types within the Research Papers-track in ICFP 2017
David Janin Bordeaux INP / CNRS LaBRI / Bordeaux University France Session Chair of Session 5: Demos (part of FARM) Author of Unified Media Programming: An Algebraic Approach within the FARM 2017-track in FARM 2017 Author of Demo — Octopus: A High-Level Fast 3D Animation Language within the FARM 2017-track in FARM 2017
Patrik Jansson Chalmers University of Technology Sweden Author of VisPar: Visualising dataflow graphs from the Par monad within the FHPC 2017-track in FHPC 2017
Alan Jeffrey Mozilla Research United States Committee Member in Program Committee within the ICFP Research Papers-track
Ranjit Jhala University of California at San Diego, USA United States Author of Local Refinement Typing within the Research Papers-track in ICFP 2017 Committee Member in Program Committee within the ICFP Research Papers-track
Limin Jia Carnegie Mellon University Committee Member in Program Committee within the TyDe-track
Patricia Johann Appalachian State University Committee Member in Program Committee within the TyDe-track
Moa Johansson Chalmers University of Technology Author of QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) within the Haskell 2017-track in Haskell 2017
Mark Jones Portland State University Session Chair of Inference and Analysis (part of ICFP Research Papers) Session Chair of Tuesday Keynote (part of ICFP Keynotes and Reports) Program Chair of Program Chair's Report within the Keynotes and Reports-track in ICFP 2017 ICFP'17 Program Chair in Steering Committee for ICFP 2017 Programme Chair in Organizing Committee for ICFP 2017 Program Chair in Program Committee within the ICFP Research Papers-track
Timothy Jones Victoria University of Wellington New Zealand Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Simon Peyton Jones Microsoft Research, Cambridge Author of Destination-Passing Style for Efficient Memory Management within the FHPC 2017-track in FHPC 2017 Author of Progress on GHC within the HIW 2017-track in HIW 2017 Author of Native Support for Explicit Stacks in LLVM within the HIW 2017-track in HIW 2017
Jacques-Henri Jourdan MPI-SWS, Germany France Author of RustBelt: Securing the Foundations of the Rust Programming Language within the HOPE 2017-track in HOPE 2017
Ralf Jung MPI-SWS, Germany Germany Author of RustBelt: Securing the Foundations of the Rust Programming Language within the HOPE 2017-track in HOPE 2017
Mathias Nygaard Justesen DTU, Denmark Author of Effect-Driven QuickChecking of Compilers within the Research Papers-track in ICFP 2017
Jonas Kaiser Author of Relating System F and λ2: A Case Study in Coq, Abella and Beluga within the FSCD 2017-track in FSCD 2017
Gowtham Kaki Purdue University Author of Mergeable types within the ML 2017-track in ML 2017
Yukiyoshi Kameyama University of Tsukuba, Japan Japan Committee Member in Program Committee within the TyDe-track
Ohad Kammar University of Oxford, UK United Kingdom Author of A monadic solution to the Cartwright-Felleisen-Wadler conjecture within the HOPE 2017-track in HOPE 2017 Author of On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control within the Research Papers-track in ICFP 2017
Hiroyuki Kanbara ASTEM RI/KYOTO Author of Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang within the Erlang 2017-track in Erlang 2017
Max Kanovich Author of A polynomial-time algorithm for the Lambek calculus with brackets of bounded order within the FSCD 2017-track in FSCD 2017
Georgios Karachalias KU Leuven, Belgium Belgium Author of Quantified Class Constraints within the Haskell 2017-track in Haskell 2017 Author of Elaboration on Functional Dependencies within the Haskell 2017-track in Haskell 2017 Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Patrick Kasting DTU, Denmark Author of Effect-Driven QuickChecking of Compilers within the Research Papers-track in ICFP 2017
Shin-ya Katsumata National Institute of Informatics Japan Author of Invited Talk: Semantics of Effect Systems by Graded Monads within the HOPE 2017-track in HOPE 2017 Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the ICFP Research Papers-track
Akitoshi Kawamura Author of Polynomial running times for polynomial-time oracle machines within the FSCD 2017-track in FSCD 2017
Robin Kay G-Research Presenter of Functional Facades over Legacy Code within the CUFP 2017-track in CUFP 2017
Gabriele Keller Data61,CSIRO (formerly NICTA) and UNSW Australia Author of Streaming Irregular Arrays within the Haskell 2017-track in Haskell 2017 ICFP'16 General Chair in Steering Committee for ICFP 2017 Committee Member in Program Committee within the FHPC-track
Andrew Kennedy Facebook London invited speaker of Driving types into PHP within the TyDe 2017-track in TyDe 2017
Pavlo Kerestey Presenter of Using Haskell to run a datacenter within the CUFP 2017-track in CUFP 2017
Delia Kesner IRIF, France / University of Paris Diderot, France Author of Types as Resources for Classical Natural Deduction within the FSCD 2017-track in FSCD 2017 Author of Foundations of Strong Call by Need within the Research Papers-track in ICFP 2017
Yuta Kimura Author of Improving Rewriting Induction Approach for Proving Ground Confluence within the FSCD 2017-track in FSCD 2017
Oleg Kiselyov Author of Higher-order Programming is an Effect within the HOPE 2017-track in HOPE 2017 Author of Effects without monads: non-determinism within the ML 2017-track in ML 2017 Tutor of Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 2) within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C2: Extensible Effects: understanding them, implementing them, using them within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 3) within the CUFP 2017-track in CUFP 2017 Committee Member in Program Committee within the OCaml-track
Felix Klock Committee Member in Program Committee within the Scheme-track
Naoki Kobayashi University of Tokyo, Japan Author of Streett Automata Model Checking of Higher-Order Recursion Schemes within the FSCD 2017-track in FSCD 2017
Wen Kokke University of Edinburgh United Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Ekaterina Komendantskaya Heriot-Watt University United Kingdom Committee Member in Selection Committee within the ICFP Student Research Competition-track Committee Member in Program Committee within the Haskell-track
Robbert Krebbers Delft University of Technology, Netherlands Netherlands Author of RustBelt: Securing the Foundations of the Rust Programming Language within the HOPE 2017-track in HOPE 2017 Committee Member in Program Committee within the HOPE-track
Shriram Krishnamurthi Brown University, USA Author of Inferring Scope through Syntactic Sugar within the Research Papers-track in ICFP 2017
Neelakantan R. Krishnaswami Computer Laboratory, University of Cambridge Session Chair of Keynote (part of PLMW) Author of Welcome within the PLMW 2017-track in PLMW 2017 PLMW Co-Chair in Organizing Committee for ICFP 2017 Committee Member in Organizing Committee within the PLMW-track
Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia Australia Presenter of Tutorial T1: Writing Verified Programs in CakeML within the Tutorials-track in ICFP 2017 Presenter of Tutorial T1: Writing Verified Programs in CakeML (part 2) within the Tutorials-track in ICFP 2017 Author of Verifying Efficient Function Calls in CakeML within the Research Papers-track in ICFP 2017 Presenter of Tutorial T1: Writing Verified Programs in CakeML (part 3) within the Tutorials-track in ICFP 2017
Sidharth Kumar Author of Paper: Toward Parallelizing Control-flow Analysis with Datalog within the Scheme 2017-track in Scheme 2017
Lindsey Kuper Intel Labs Publicity Chair in Steering Committee for ICFP 2017 Publicity and Web Chair in Organizing Committee for ICFP 2017 Committee Member in Program Committee within the ICFP Research Papers-track
Stepan Kuznetsov Author of A polynomial-time algorithm for the Lambek calculus with brackets of bounded order within the FSCD 2017-track in FSCD 2017
Nicholas Labich University of Maryland, USA Author of Abstracting Definitional Interpreters within the Research Papers-track in ICFP 2017 Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Ting-Yan Lai Institute of Information Science, Academia Sinica Author of Type safe Redis queries -- a case study of type-level programming in Haskell within the TyDe 2017-track in TyDe 2017
Leonidas Lampropoulos University of Pennsylvania Greece Author of Ode on a Random Urn (Functional Pearl) within the Haskell 2017-track in Haskell 2017 Author of A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq within the Haskell 2017-track in Haskell 2017
Alex Lang Co-chair in Organizing Committee within the CUFP-track
Victor Lanvin ENS Cachan, France France Author of Gradual Typing with Union and Intersection Types within the Research Papers-track in ICFP 2017
Rasmus Wriedt Larsen DIKU, University of Copenhagen Denmark Author of Strategies for Regular Segmented Reductions on GPU within the FHPC 2017-track in FHPC 2017
James Larson Google, USA Committee Member in Program Committee within the Erlang-track
Jeremie Lasalle-Ratelle AppNexus Presenter of Bonsai: a DSL for serverless firm real-time decisioning within the CUFP 2017-track in CUFP 2017
John Launchbury Galois, Inc. invited speaker of Assuring AI within the Keynotes and Reports-track in ICFP 2017
Julia Lawall Inria/LIP6 Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the OCaml-track
Fabrice Le Fessant OCamlPro Author of Tezos: the OCaml Crypto-Ledger within the OCaml 2017-track in OCaml 2017
Peter Lefanu Lumsdaine Author of Displayed categories within the FSCD 2017-track in FSCD 2017
Daan Leijen Author of Panel Discussion: Careers in Programming Languages within the PLMW 2017-track in PLMW 2017
Daan Leijen Microsoft Research United States Author of Programming a Web Server with Algebraic Effects within the HOPE 2017-track in HOPE 2017 Author of Structured asynchrony with algebraic effects within the TyDe 2017-track in TyDe 2017
Jean-Simon Lemay Author of There is only one notion of differentiation within the FSCD 2017-track in FSCD 2017
Rebekah Leslie-Hurd Committee Member in Program Committee within the Haskell-track
Stéphane Letz Author of FAUST Tutorial for Functional Programmers within the FARM 2017-track in FARM 2017 Committee Member in Program Committee within the FARM-track
Zhanpeng Liang University of Southern California Author of Component-based Program Synthesis in OCaml within the OCaml 2017-track in OCaml 2017
Dan Licata Wesleyan University United States Session Chair of Dependently Typed Programming (part of ICFP Research Papers) Author of Welcome within the PLMW 2017-track in PLMW 2017 Author of A Fibrational Framework for Substructural and Modal Logics within the FSCD 2017-track in FSCD 2017 PLMW Co-Chair in Organizing Committee for ICFP 2017 Committee Member in Organizing Committee within the PLMW-track Committee Member in Program Committee within the ICFP Research Papers-track
Benjamin Lichtman Author of Arrays and References in Resource Aware ML within the FSCD 2017-track in FSCD 2017
Edward Lilley Author of Demo — Representation of Musical Notation in Haskell within the FARM 2017-track in FARM 2017
Sam Lindley University of Edinburgh, UK United Kingdom Session Chair of Invited talk (part of ML) Session Chair of Welcome (part of ML) Author of Welcome within the TyDe 2017-track in TyDe 2017 Author of Continuation Passing Style for Effect Handlers within the FSCD 2017-track in FSCD 2017 Author of On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control within the Research Papers-track in ICFP 2017 Programming Contest Organiser of Programming Contest Report within the Keynotes and Reports-track in ICFP 2017 Programming Contest Organiser in Organizing Committee for ICFP 2017 Chair in Organizing Committee within the ML-track Chair in Program Committee within the ML-track Co-chair in Organizing Committee within the TyDe-track Co-chair in Program Committee within the TyDe-track Committee Member in Program Committee within the OCaml-track
Ben Lippmeier Digital Asset / UNSW Australia Session Chair of Effects (part of ICFP Research Papers) Committee Member in Program Committee within the ICFP Research Papers-track
Tadeusz Litak Author of Negative Translations and Normal Modality within the FSCD 2017-track in FSCD 2017
Runhang Li Twitter, Inc Session Chair of CUFP Tutorials C1 (part of CUFP) Session Chair of CUFP Tutorials C8 (part of CUFP) Session Chair of CUFP Tutorials C5 (part of CUFP) Session Chair of CUFP Tutorials C2 (part of CUFP) Session Chair of CUFP Tutorials C7 (part of CUFP) Session Chair of CUFP Tutorials C6 (part of CUFP) Session Chair of CUFP Tutorials C3 (part of CUFP) Session Chair of CUFP Tutorials C4 (part of CUFP) Author of Extending OCaml's open within the OCaml 2017-track in OCaml 2017
Andreas Lochbihler Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL within the Tutorials-track in ICFP 2017 Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3) within the Tutorials-track in ICFP 2017 Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 2) within the Tutorials-track in ICFP 2017
Rita Loogen University of Marburg Committee Member in Program Committee within the FHPC-track
Petr Lozov Sain Petersburg State University, SPbGU Author of Relational conversion for OCaml within the ML 2017-track in ML 2017
Dániel Lukács Eötvös Loránd University Author of Structuring Erlang BEAM control flow within the Erlang 2017-track in Erlang 2017
Steven Lyubomirsky University of Washington, USA United States Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track in ICFP 2017
Jacques Légaré Author of Packrats Parse in Packs within the Haskell 2017-track in Haskell 2017
Andres Löh Well-Typed LLP Workshops Co-Chair in Organizing Committee for ICFP 2017
Anil Madhavapeddy OCaml Labs United Kingdom Author of Effectively tackling the awkward squad within the ML 2017-track in ML 2017 Author of The State of the OCaml Platform: September 2017 within the OCaml 2017-track in OCaml 2017
José Pedro Magalhães Committee Member in Program Committee within the FARM-track
Assia Mahboubi INRIA France Committee Member in Program Committee within the TyDe-track
Patrick Maier University of Glasgow Committee Member in Program Committee within the FHPC-track
Kenji Maillard Inria Paris, ENS Paris, and Microsoft Research Author of Recalling a Witness within the HOPE 2017-track in HOPE 2017
Geoffrey Mainland Drexel University, USA Session Chair of Parallel Programming (part of FHPC) Author of From High-level Radio Protocol Specifications to Efficient Low-level Implementations via Partial Evaluation within the FHPC 2017-track in FHPC 2017 Contributor/Author of Panel Discussion: The challenges for Functional High Performance Computing within the FHPC 2017-track in FHPC 2017 Author of Ziria Demo: Wringing performance from high-level code within the FHPC 2017-track in FHPC 2017 Author of Better Living through Operational Semantics: An Optimizing Compiler for Radio Protocols within the Research Papers-track in ICFP 2017 Committee Member in Program Committee within the FHPC-track
Louis Mandel IBM Research United States Author of Prototyping a Query Compiler using Coq (Experience Report) within the Research Papers-track in ICFP 2017 Committee Member in Program Committee within the OCaml-track
Giulio Manzonetto Author of Refutation of Sallé's Longstanding Conjecture within the FSCD 2017-track in FSCD 2017
Máté Marjai TestingPays Author of Building the largest payment sandbox on a tiny machine within the CUFP 2017-track in CUFP 2017
Simon Marlow Facebook Author of Haskell in the Datacentre within the FHPC 2017-track in FHPC 2017 Contributor/Author of Panel Discussion: The challenges for Functional High Performance Computing within the FHPC 2017-track in FHPC 2017
Chris Martens North Carolina State University United States Author of Keynote within the PLMW 2017-track in PLMW 2017 Keynote Speaker of Compositional creativity: some principles for talking to computers within the Keynotes and Reports-track in ICFP 2017
Ursula Martin Author of Modelling the Way Mathematics Is Actually Done within the FARM 2017-track in FARM 2017
Alain Marty Author of Lightning: {lambda talk} within the Scheme 2017-track in Scheme 2017
Conor McBride Author of A Few Frank Remarks within the PLMW 2017-track in PLMW 2017
Jay McCarthy University of Massachusetts Lowell Committee Member in Program Committee within the Scheme-track
Dylan McDermott University of Cambridge Author of A monadic solution to the Cartwright-Felleisen-Wadler conjecture within the HOPE 2017-track in HOPE 2017
Trevor L. McDonell University of New South Wales, Australia Australia Author of Streaming Irregular Arrays within the Haskell 2017-track in Haskell 2017 Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
James McKinna University of Edinburgh Author of On ringads and foldables within the TyDe 2017-track in TyDe 2017
Alex McLean Deutsches Museum Research Institute, Munich United Kingdom Session Chair of Performance Evening (part of FARM) Performance Chair in Organizing Committee within the FARM-track
William Meehan Northeastern University, USA Author of No-Brainer CPS Conversion within the Research Papers-track in ICFP 2017
Simon Meier Digital Asset Presenter of Formally Verifying a Smart-Contract Language Implementation with Isabelle within the CUFP 2017-track in CUFP 2017
Hernan Melgratti University of Buenos Aires, Argentina Author of Chaperone Contracts for Higher-Order Sessions within the Research Papers-track in ICFP 2017
Romain Michon Author of FAUST Tutorial for Functional Programmers within the FARM 2017-track in FARM 2017
aart Middeldorp Author of Infinite Runs in Abstract Completion within the FSCD 2017-track in FSCD 2017
Jan Midtgaard DTU, Denmark Author of Effect-Driven QuickChecking of Compilers within the Research Papers-track in ICFP 2017
Matthew Might University of Utah, USA United States Author of Invited Talk within the Scheme 2017-track in Scheme 2017 Author of A Unified Approach to Solving Seven Programming Problems (Functional Pearl) within the Research Papers-track in ICFP 2017
Dale Miller INRIA Saclay and LIX France Program Chair of Welcome message within the FSCD 2017-track in FSCD 2017
Yaron Minsky Tutor of Tutorial C1: Online Applications with Incremental within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C1: Online Applications with Incremental (part 3) within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C1: Online Applications with Incremental (part 2) within the CUFP 2017-track in CUFP 2017
Victor Cacciari Miraldo University of Utrecht Author of Type-directed diffing of structured data within the TyDe 2017-track in TyDe 2017
Neil Mitchell Author of Getting Ready for Hadrian within the HIW 2017-track in HIW 2017
Joshua Moerman Radboud University Netherlands Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Andrey Mokhov Author of Getting Ready for Hadrian within the HIW 2017-track in HIW 2017 Author of Algebraic Graphs with Class (Functional Pearl) within the Haskell 2017-track in Haskell 2017
Sebastien Mondet Mount Sinai - Hammer Lab Author of Genspio: Generating Shell Phrases In OCaml within the OCaml 2017-track in OCaml 2017 Author of Bioinformatics, The Typed Tagless Final Way within the OCaml 2017-track in OCaml 2017
Stefan Monnier Université de Montréal Author of Typer: an infix statically typed Lisp within the ML 2017-track in ML 2017
Glyn Morrill Author of A polynomial-time algorithm for the Lambek calculus with brackets of bounded order within the FSCD 2017-track in FSCD 2017
J. Garrett Morris University of Kansas, USA United States Author of On Unsatisfiability within the HIW 2017-track in HIW 2017 Author of Constrained Type Families within the Research Papers-track in ICFP 2017 Committee Member in Program Committee within the Haskell-track
Georg Moser University of Innsbruck Author of Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses within the FSCD 2017-track in FSCD 2017
Gihan Mudalige University of Warwick, UK United Kingdom Committee Member in Program Committee within the FHPC-track
Takayuki Muranushi RIKEN Committee Member in Program Committee within the Haskell-track
Koko Muroya University of Birmingham, UK Author of Towards abductive functional programming within the ML 2017-track in ML 2017
Tom Murphy Author of Demo — Vivid: Sound Synthesis with Haskell and SuperCollider within the FARM 2017-track in FARM 2017
Dave Murray-Rust Author of Modelling the Way Mathematics Is Actually Done within the FARM 2017-track in FARM 2017
Shin-Cheng Mu Academia Sinica, Taiwan Author of Type safe Redis queries -- a case study of type-level programming in Haskell within the TyDe 2017-track in TyDe 2017
Magnus O. Myreen Chalmers University of Technology, Sweden Sweden Presenter of Tutorial T1: Writing Verified Programs in CakeML within the Tutorials-track in ICFP 2017 Presenter of Tutorial T1: Writing Verified Programs in CakeML (part 2) within the Tutorials-track in ICFP 2017 Author of Verifying Efficient Function Calls in CakeML within the Research Papers-track in ICFP 2017 Presenter of Tutorial T1: Writing Verified Programs in CakeML (part 3) within the Tutorials-track in ICFP 2017
Stian Veum Møllersen Author of Demo — Ait: A Concatenative Language for Creative Programming within the FARM 2017-track in FARM 2017
Aleksandar Nanevski IMDEA Software Institute Spain Co-chair of Welcome within the HOPE 2017-track in HOPE 2017 Co-chair in Organizing Committee within the HOPE-track
Praveen Narayanan Indiana University, USA Author of Symbolic Conditioning of Arrays in Probabilistic Programs within the Research Papers-track in ICFP 2017
Ryan R. Newton Indiana University United States Author of Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping within the Haskell 2017-track in Haskell 2017 Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2017 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Phúc C. Nguyễn University of Maryland, USA Author of Abstracting Definitional Interpreters within the Research Papers-track in ICFP 2017 Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Flemming Nielson DTU, Denmark Author of Effect-Driven QuickChecking of Compilers within the Research Papers-track in ICFP 2017
Hanne Riis Nielson DTU, Denmark Author of Effect-Driven QuickChecking of Compilers within the Research Papers-track in ICFP 2017
Vivek Nigam Federal University of Paraiba / fortiss Germany Committee Member in Program Committee within the HOPE-track
Henrik Nilsson University of Nottingham, UK Session Chair of Session 6: Papers/Demos (part of FARM) Author of Demo — The Arpeggigon: A Functional Reactive Musical Automaton within the FARM 2017-track in FARM 2017 Author of Testing and Debugging Functional Reactive Programming within the Research Papers-track in ICFP 2017 Committee Member in Program Committee within the Haskell-track
Yuki Nishida Kyoto University Student Volunteer Co-Captain in Organizing Committee for ICFP 2017
Bartosz Nitka Facebook Session Chair of All Broken Up (part of HIW) Committee Member in Program Committee within the HIW-track
Ulf Norell Committee Member in Program Committee within the Haskell-track
Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia Australia Presenter of Tutorial T1: Writing Verified Programs in CakeML within the Tutorials-track in ICFP 2017 Presenter of Tutorial T1: Writing Verified Programs in CakeML (part 2) within the Tutorials-track in ICFP 2017 Author of Verifying Efficient Function Calls in CakeML within the Research Papers-track in ICFP 2017 Presenter of Tutorial T1: Writing Verified Programs in CakeML (part 3) within the Tutorials-track in ICFP 2017
Andreas Nuyts KU Leuven, Belgium Belgium Author of Parametric Quantifiers for Dependent Type Theory within the Research Papers-track in ICFP 2017
Liam O'Connor University of New South Wales Australia Committee Member in Program Committee within the TyDe-track
Cosmin Oancea DIKU, University of Copenhagen Denmark Session Chair of Tools (part of FHPC) Session Chair of Demo Session (part of FHPC) Co-chair of Welcome to FHPC'17 within the FHPC 2017-track in FHPC 2017 Co-chair in Program Committee within the FHPC-track
Atsushi Ohori Tohoku University, Japan Author of Making SML# a general-purpose high-performance language within the ML 2017-track in ML 2017
Bruno C. d. S. Oliveira University of Hong Kong, China Hong Kong Author of Quantified Class Constraints within the Haskell 2017-track in Haskell 2017
Yann Orlarey Author of FAUST Tutorial for Functional Programmers within the FARM 2017-track in FARM 2017
Ian Orton Author of Models of Type Theory Based on Moore Paths within the FSCD 2017-track in FSCD 2017
Nicolas Oury Jane Street Committee Member in Program Committee within the TyDe-track
Scott Owens University of Kent, UK United Kingdom Presenter of Tutorial T1: Writing Verified Programs in CakeML within the Tutorials-track in ICFP 2017 Presenter of Tutorial T1: Writing Verified Programs in CakeML (part 2) within the Tutorials-track in ICFP 2017 Author of Verifying Efficient Function Calls in CakeML within the Research Papers-track in ICFP 2017 Presenter of Tutorial T1: Writing Verified Programs in CakeML (part 3) within the Tutorials-track in ICFP 2017 Committee Member in Selection Committee within the ICFP Student Research Competition-track
Luca Padovani University of Turin, Italy Italy Author of Chaperone Contracts for Higher-Order Sessions within the Research Papers-track in ICFP 2017
Zoe Paraskevopoulou Princeton University, USA United States Committee Member in Program Committee within the OCaml-track
Jennifer Paykin University of Pennsylvania United States Author of The Linearity Monad within the Haskell 2017-track in Haskell 2017 Committee Member in Program Committee within the TyDe-track
Alison Pease Author of Modelling the Way Mathematics Is Actually Done within the FARM 2017-track in FARM 2017
Mário Pereira LRI - Université Paris-Sud Author of VOCAL -- a verified OCAml Library within the ML 2017-track in ML 2017
Roly Perera University of Edinburgh, UK / University of Glasgow, UK United Kingdom Author of Imperative Functional Programs That Explain Their Work within the Research Papers-track in ICFP 2017
Ivan Perez University of Nottingham, UK Session Chair of Session 2: Papers/Demos (part of FARM) Author of GALE: A Functional Graphic Adventure Library and Engine within the FARM 2017-track in FARM 2017 Author of Back to the Future: Time Travel in FRP within the Haskell 2017-track in Haskell 2017 Author of Haskell games and apps for iOS and Android within the CUFP 2017-track in CUFP 2017 Author of Testing and Debugging Functional Reactive Programming within the Research Papers-track in ICFP 2017 Committee Member in Program Committee within the FARM-track
Frank Pfenning Carnegie Mellon University, USA Author of Manifest Sharing with Session Types within the Research Papers-track in ICFP 2017
Matthew Pickering University of Bristol United Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Brigitte Pientka McGill University Session Chair of Welcome (part of PLMW) Author of Welcome within the PLMW 2017-track in PLMW 2017 Author of Relating System F and λ2: A Case Study in Coq, Abella and Beluga within the FSCD 2017-track in FSCD 2017 PLMW Co-Chair in Organizing Committee for ICFP 2017 Committee Member in Organizing Committee within the PLMW-track
Benjamin C. Pierce University of Pennsylvania United States Author of A Framework for Adaptive Differential Privacy within the Research Papers-track in ICFP 2017
Maciej Piróg University of Wrocław Poland Author of Logical Relations for Algebraic Effects within the HOPE 2017-track in HOPE 2017
Paolo Pistone Author of Dinaturality between syntax and semantics within the FSCD 2017-track in FSCD 2017
Andrew Pitts University of Cambridge Author of Models of Type Theory Based on Moore Paths within the FSCD 2017-track in FSCD 2017
Jeff Polakow Author of A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq within the Haskell 2017-track in Haskell 2017
Piotr Polesiuk Author of Logical Relations for Algebraic Effects within the HOPE 2017-track in HOPE 2017
Andrew Polonsky Author of Refutation of Sallé's Longstanding Conjecture within the FSCD 2017-track in FSCD 2017
Miriam Polzer Author of Negative Translations and Normal Modality within the FSCD 2017-track in FSCD 2017
Justin Pombrio Brown University, USA United States Author of Inferring Scope through Syntactic Sugar within the Research Papers-track in ICFP 2017
Andrei Popescu Middlesex University, London United Kingdom Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL within the Tutorials-track in ICFP 2017 Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3) within the Tutorials-track in ICFP 2017 Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 2) within the Tutorials-track in ICFP 2017
François Pottier Inria, France France Co-chair of Welcome within the HOPE 2017-track in HOPE 2017 Author of VOCAL -- a verified OCAml Library within the ML 2017-track in ML 2017 Author of Visitors Unchained within the Research Papers-track in ICFP 2017 Co-chair in Organizing Committee within the HOPE-track
Louis-Noel Pouchet Colorado State University Committee Member in Program Committee within the FHPC-track
Pierre Pradic Author of A Curry-Howard Approach to Church’s Synthesis within the FSCD 2017-track in FSCD 2017
Mindy Preston Author of Testing with Crowbar within the OCaml 2017-track in OCaml 2017
Matija Pretnar University of Ljubljana, Slovenia Slovenia Author of On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control within the Research Papers-track in ICFP 2017 Committee Member in Program Committee within the HOPE-track
Jonathan Protzenko Microsoft Research, n.n. United States Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017
Juan Pedro Bolívar Puente Independent Consultant, Sinusoidal Engineering Germany Author of Persistence for the Masses: RRB-Vectors in a Systems Language within the Research Papers-track in ICFP 2017
Raymond Puzio Author of Lightning Talk: Extending the LISP model from cons cells to triples, from trees to hypergraphs within the Scheme 2017-track in Scheme 2017 Author of Modelling the Way Mathematics Is Actually Done within the FARM 2017-track in FARM 2017
Christian Queinnec Université Pierre et Marie Curie, France France Committee Member in Program Committee within the Scheme-track
Donya Quick Stevens Institute of Technology United States Author of Algorithmic Music in Haskell (Invited Talk) within the Haskell 2017-track in Haskell 2017 Committee Member in Program Committee within the FARM-track
Azalea Raad Max Planck Institute for Software Systems (MPI-SWS) Germany Committee Member in Program Committee within the HOPE-track
Ulrich Rabenstein Author of Negative Translations and Normal Modality within the FSCD 2017-track in FSCD 2017
Gabriel Radanne Université Denis Diderot Paris 7, PPS France Author of Tierless modules within the ML 2017-track in ML 2017 Author of Tyre – Typed Regular Expressions within the OCaml 2017-track in OCaml 2017
Mike Rainey Author of Efficient representation of large, dynamic sequences in ML within the ML 2017-track in ML 2017
Tahina Ramananandro Microsoft Research, n.n. United States Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017 Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Aseem Rastogi Microsoft Research India Author of Recalling a Witness within the HOPE 2017-track in HOPE 2017 Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017 Committee Member in Program Committee within the HOPE-track
Rachel Reese Jet.com Co-chair in Organizing Committee within the CUFP-track
Jakob Rehof Technical University Dortmund Author of The Complexity of Principal Inhabitation within the FSCD 2017-track in FSCD 2017
John Reppy University of Chicago ICFP'15 Program Chair in Steering Committee for ICFP 2017
Christophe Rhodes Goldsmiths, University of London Committee Member in Program Committee within the FARM-track
Colin Riba Author of A Curry-Howard Approach to Church’s Synthesis within the FSCD 2017-track in FSCD 2017
Wilmer Ricciotti University of Edinburgh, UK Italy Author of Imperative Functional Programs That Explain Their Work within the Research Papers-track in ICFP 2017
François-René Rideau Author of Panel: Future of Scheme within the Scheme 2017-track in Scheme 2017 Committee Member in Program Committee within the Scheme-track
Tom Ridge University of Leicester, UK Author of A B-tree library for OCaml within the OCaml 2017-track in OCaml 2017
Mitchell Riley Author of A Fibrational Framework for Substructural and Modal Logics within the FSCD 2017-track in FSCD 2017
Gabriela Rino Nesin Author of Modelling the Way Mathematics Is Actually Done within the FARM 2017-track in FARM 2017
Jared Roesch University of Washington, USA United States Author of A Metaprogramming Framework for Formal Verification within the Research Papers-track in ICFP 2017
Wren Romano X United States Session Chair of Tool Support (part of HIW) Committee Member in Program Committee within the HIW-track
Gregory Rosenblatt n.n., n.n. Canada Author of A Unified Approach to Solving Seven Programming Problems (Functional Pearl) within the Research Papers-track in ICFP 2017
Andreas Rossberg Google Germany Author of Panel Discussion: Careers in Programming Languages within the PLMW 2017-track in PLMW 2017 Committee Member in Program Committee within the ML-track
Aaron Roth University of Pennsylvania, USA Author of A Framework for Adaptive Differential Privacy within the Research Papers-track in ICFP 2017
Reuben N. S. Rowe University of Kent Author of ROTOR: First Steps Towards a Refactoring Tool for OCaml within the OCaml 2017-track in OCaml 2017
Albert Rubio Presenter of Termination and Complexity Competition 2017 within the FSCD 2017-track in FSCD 2017
Colin Runciman Author of Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results within the Haskell 2017-track in Haskell 2017
Sukyoung Ryu KAIST Korea, South Committee Member in Program Committee within the ML-track
Didier Rémy INRIA Author of Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (Invited Talk) within the Haskell 2017-track in Haskell 2017
Konstantinos (Kostis) Sagonas Author of The Shared-Memory Interferences of Erlang/OTP Built-ins within the Erlang 2017-track in Erlang 2017
Mark Santolucito Publicity Chair in Organizing Committee within the FARM-track
Philip Saville Author of List Objects with Algebraic Structure within the FSCD 2017-track in FSCD 2017
Andre Scedrov Author of A polynomial-time algorithm for the Lambek calculus with brackets of bounded order within the FSCD 2017-track in FSCD 2017
Gabriel Scherer Northeastern University United States Session Chair of Foundations of Higher-Order Programming (part of ICFP Research Papers) Author of Not How To Do Your PhD within the PLMW 2017-track in PLMW 2017 Author of Opening within the OCaml 2017-track in OCaml 2017 Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the ICFP Research Papers-track Chair in Organizing Committee within the OCaml-track Committee Member in Program Committee within the OCaml-track
Carter Schonwald Author of Why GHC Core and Linear Logic Should be Best Friends within the HIW 2017-track in HIW 2017
Tom Schrijvers KU Leuven Author of Quantified Class Constraints within the Haskell 2017-track in Haskell 2017 Author of Elaboration on Functional Dependencies within the Haskell 2017-track in Haskell 2017
Philipp Schuster University of Tübingen Author of An Experiment in Fragment-Based Code Distribution within the HIW 2017-track in HIW 2017
Christopher Schwaab University of St Andrews Author of Type-directed reasoning for probabilistic, non-compositional resources within the TyDe 2017-track in TyDe 2017
Ryan Scott Indiana University United States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Michael Scott University of Rochester Author of Improving STM Performance with Transactional Structs within the Haskell 2017-track in Haskell 2017
Taro Sekiyama IBM Research, Japan Author of On Polymorphic Gradual Typing within the Research Papers-track in ICFP 2017
Ilya Sergey University College London United Kingdom Session Chair of SRC Awards (part of ICFP Student Research Competition) Session Chair of SRC Presentations (part of ICFP Student Research Competition) Student Research Competition Chair of Student Research Competition Awards within the Student Research Competition-track in ICFP 2017 Student Research Competition Chair in Organizing Committee for ICFP 2017 Student Research Competition Chair in Selection Committee within the ICFP Student Research Competition-track
Alejandro Serrano Utrecht University Netherlands Committee Member in Program Committee within the HIW-track
Paula Severi University of Leicester Committee Member in Program Committee within the TyDe-track
Amir Shaikhha EPFL, Switzerland Author of Destination-Passing Style for Efficient Memory Management within the FHPC 2017-track in FHPC 2017
Siddhanathan Shanmugam Drexel University, USA Author of From High-level Radio Protocol Specifications to Efficient Low-level Implementations via Partial Evaluation within the FHPC 2017-track in FHPC 2017 Author of Ziria Demo: Wringing performance from high-level code within the FHPC 2017-track in FHPC 2017
Chung-chieh Shan Indiana University, USA Author of Symbolic Conditioning of Arrays in Probabilistic Programs within the Research Papers-track in ICFP 2017
Mary Sheeran Author of Hardware Software Co-Design in Haskell within the Haskell 2017-track in Haskell 2017 Committee Member in Program Committee within the FHPC-track
Benjamin Sherman Massachusetts Institute of Technology, USA United States Author of Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification within the Research Papers-track in ICFP 2017
Avraham Shinnar IBM Research Author of Prototyping a Query Compiler using Coq (Experience Report) within the Research Papers-track in ICFP 2017
Mark Shinwell Author of Jbuilder: a modern approach to OCaml development within the OCaml 2017-track in OCaml 2017
Evgeniy Shishkin JSC "InfoTeCS" Russia Author of Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm within the Erlang 2017-track in Erlang 2017
Olin Shivers Northeastern University, USA Author of No-Brainer CPS Conversion within the Research Papers-track in ICFP 2017 Committee Member in Steering Committee within the Scheme-track
Michael Shulman Author of A Fibrational Framework for Substructural and Modal Logics within the FSCD 2017-track in FSCD 2017
Filip Sieczkowski University of Wrocław Poland Author of Logical Relations for Algebraic Effects within the HOPE 2017-track in HOPE 2017 Committee Member in Program Committee within the HOPE-track
Jeremy G. Siek Indiana University, USA United States Author of Theorems for Free for Free: Parametricity, With and Without Types within the Research Papers-track in ICFP 2017
Alexandra Silva University College London United Kingdom Session Chair of Applications (part of ICFP Research Papers) invited speaker of Brzozowski Goes Concurrent -- A Kleene Theorem for Pomset Languages within the FSCD 2017-track in FSCD 2017 Committee Member in Program Committee within the ICFP Research Papers-track
Jerome Simeon IBM Research United States Author of Prototyping a Query Compiler using Coq (Experience Report) within the Research Papers-track in ICFP 2017
KC Sivaramakrishnan University of Cambridge United Kingdom Author of Mergeable types within the ML 2017-track in ML 2017 Author of Effectively tackling the awkward squad within the ML 2017-track in ML 2017 Author of A memory model for multicore OCaml within the OCaml 2017-track in OCaml 2017 Tutor of Tutorial C3: Concurrent Programming with Effect Handlers (part 3) within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C3: Concurrent Programming with Effect Handlers (part 2) within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C3: Concurrent Programming with Effect Handlers within the CUFP 2017-track in CUFP 2017 Author of Continuation Passing Style for Effect Handlers within the FSCD 2017-track in FSCD 2017
Nicholas Smallbone Author of QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) within the Haskell 2017-track in Haskell 2017
Chris Smith Google, USA Author of Lock-Step Simulation Is Child's Play (Experience Report) within the Research Papers-track in ICFP 2017
Garrett Smith CloudBees Committee Member in Program Committee within the CUFP-track
Gert Smolka Saarland University Author of Relating System F and λ2: A Case Study in Coq, Abella and Beluga within the FSCD 2017-track in FSCD 2017
Alaric Snell-Pym United Kingdom Author of Report: Status of the ongoing R7RS standardization process within the Scheme 2017-track in Scheme 2017 Author of Panel: Future of Scheme within the Scheme 2017-track in Scheme 2017
Mallku Ernesto Soldevila Raffa FAMAF, UNC / CONICET Argentina Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Marco Solieri University of Bath United Kingdom Author of Is the optimal implementation inefficient? Elementarily not within the FSCD 2017-track in FSCD 2017
Andrew Sorensen Australian National University Committee Member in Program Committee within the FARM-track
Antal Spector-Zabusky Author of Ode on a Random Urn (Functional Pearl) within the Haskell 2017-track in Haskell 2017
Michael Sperber Active Group GmbH Germany Session Chair of Session 3: Paper (part of FARM) Chair of Welcome within the FARM 2017-track in FARM 2017 Tutor of Tutorial C5: Teaching Functional Programming (part 2) within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C5: Teaching Functional Programming within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C5: Teaching Functional Programming (part 3) within the CUFP 2017-track in CUFP 2017 Member at large in Steering Committee for ICFP 2017 General Chair in Program Committee within the FARM-track General Chair in Organizing Committee within the FARM-track
Mike Spivey University of Oxford, UK United Kingdom Author of Faster Coroutine Pipelines within the Research Papers-track in ICFP 2017
Vincent St-Amour Northwestern University, USA United States Author of Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) within the Research Papers-track in ICFP 2017
Jacob Stanley Ambiata Australia Presenter of Gens N' Roses: Appetite for Reduction within the CUFP 2017-track in CUFP 2017 Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Sam Staton University of Oxford Author of Panel Discussion: Careers in Programming Languages within the PLMW 2017-track in PLMW 2017 Conference Chair of Welcome message within the FSCD 2017-track in FSCD 2017
Florian Steinberg Author of Polynomial running times for polynomial-time oracle machines within the FSCD 2017-track in FSCD 2017
Christian Sternagel Author of Infinite Runs in Abstract Completion within the FSCD 2017-track in FSCD 2017
Michel Steuwer The University of Edinburgh United Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Bodil Stokke Church of Emacs United Kingdom Presenter of Keynote: Are We There Yet? within the CUFP 2017-track in CUFP 2017
Jan Stolarek University of Edinburgh, UK Poland Session Chair of Compiling to LLVM (part of HIW) Author of Imperative Functional Programs That Explain Their Work within the Research Papers-track in ICFP 2017 Committee Member in Program Committee within the HIW-track
Alley Stoughton Boston University United States Committee Member in Program Committee within the ML-track
Lutz Strassburger Author of Combinatorial Flows and their Normalisation within the FSCD 2017-track in FSCD 2017
Pierre-Yves Strub École Polytechnique, n.n. France Author of A Relational Logic for Higher-Order Programs within the Research Papers-track in ICFP 2017
Danielle Sucher Jane Street Committee Member in Program Committee within the CUFP-track
Eijiro Sumii Tohoku University ICFP'16 Program Chair in Steering Committee for ICFP 2017
Martin Sumner Speaker of Keynote within the Erlang 2017-track in Erlang 2017
Ryota Suzuki Author of Streett Automata Model Checking of Higher-Order Recursion Schemes within the FSCD 2017-track in FSCD 2017
Yukitoshi Suzuki Committee Member in Program Committee within the CUFP-track
Bo Joel Svensson Chalmers University of Technology, Sweden Sweden Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Nikhil Swamy Microsoft Research, n.n. United States Session Chair of Tools for Verification (part of ICFP Research Papers) Author of Recalling a Witness within the HOPE 2017-track in HOPE 2017 Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017 Committee Member in Program Committee within the ICFP Research Papers-track
Wouter Swierstra University of Utrecht Netherlands Author of Type-directed diffing of structured data within the TyDe 2017-track in TyDe 2017 Author of Generic packet descriptions: verified parsing and pretty printing of low-level data within the TyDe 2017-track in TyDe 2017 Member at large in Steering Committee for ICFP 2017
Dmitrij Szamozvancev Author of Well-Typed Music Does Not Sound Wrong (Experience Report) within the Haskell 2017-track in Haskell 2017
Yong Kiam Tan Carnegie Mellon University, USA Author of Verifying Efficient Function Calls in CakeML within the Research Papers-track in ICFP 2017
Christine Tasson Author of Quantitative semantics for probabilistic programming within the FSCD 2017-track in FSCD 2017
Zachary Tatlock University of Washington, USA United States Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track in ICFP 2017
Kenjiro Taura The University of Tokyo Author of Making SML# a general-purpose high-performance language within the ML 2017-track in ML 2017
Peter Thiemann University of Freiburg, Germany Session Chair of Monday Closing Events (part of ICFP Keynotes and Reports) Author of Gradual Session Types within the Research Papers-track in ICFP 2017 SIGPLAN Vice Chair in Steering Committee for ICFP 2017
Simon Thompson Author of ROTOR: First Steps Towards a Refactoring Tool for OCaml within the OCaml 2017-track in OCaml 2017
Sam Tobin-Hochstadt Indiana University United States Session Chair of Low-level and Systems Programming (part of ICFP Research Papers) Author of Keynote within the Scheme 2017-track in Scheme 2017 Committee Member in Program Committee within the ICFP Research Papers-track
Emina Torlak University of Washington, USA United States Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track in ICFP 2017
Melinda Toth Author of Structuring Erlang BEAM control flow within the Erlang 2017-track in Erlang 2017 Author of Towards Change-driven Testing within the Erlang 2017-track in Erlang 2017
Yoshihito Toyama Author of Improving Rewriting Induction Approach for Proving Ground Confluence within the FSCD 2017-track in FSCD 2017
Dmitriy Traytel ETH Zurich Switzerland Author of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL within the FSCD 2017-track in FSCD 2017 Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL within the Tutorials-track in ICFP 2017 Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3) within the Tutorials-track in ICFP 2017 Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 2) within the Tutorials-track in ICFP 2017
Phil Trinder University of Glasgow Session Chair of Demo and Panel (part of FHPC) Session Chair of Compilation (part of FHPC) Co-chair of Welcome to FHPC'17 within the FHPC 2017-track in FHPC 2017 Co-chair in Program Committee within the FHPC-track
Ryan Trinkle Obsidian Systems LLC United States Industrial Relations Chair in Organizing Committee for ICFP 2017
Charlotte Truchet LINA, UMR 6241, Université de Nantes Committee Member in Program Committee within the FARM-track
Takeshi Tsukada University of Tokyo, Japan Author of Streett Automata Model Checking of Higher-Order Recursion Schemes within the FSCD 2017-track in FSCD 2017
Kanae Tsushima Author of Component-based Program Synthesis in OCaml within the OCaml 2017-track in OCaml 2017
Katsuhiro Ueno Tohoku University Japan Author of Making SML# a general-purpose high-performance language within the ML 2017-track in ML 2017
Sebastian Ullrich KIT, Germany Germany Author of A Metaprogramming Framework for Formal Verification within the Research Papers-track in ICFP 2017
Tarmo Uustalu Tallinn University of Technology, Estonia Committee Member in Program Committee within the TyDe-track
David Van Horn University of Maryland, USA Author of Abstracting Definitional Interpreters within the Research Papers-track in ICFP 2017
Jasper Van der Jeugt Fugue Switzerland Committee Member in Program Committee within the CUFP-track
Vasco Vasconcelos University of Lisbon, Portugal Author of Gradual Session Types within the Research Papers-track in ICFP 2017
Niki Vazou University of Maryland Author of A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq within the Haskell 2017-track in Haskell 2017 Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the HOPE-track
Andrea Vezzosi Chalmers University of Technology, Sweden Author of Parametric Quantifiers for Dependent Type Theory within the Research Papers-track in ICFP 2017 Author of Normalization by Evaluation for Sized Dependent Types within the Research Papers-track in ICFP 2017
Pierre Vial Author of Types as Resources for Classical Natural Deduction within the FSCD 2017-track in FSCD 2017
Muralidaran Vijayaraghavan Massachusetts Institute of Technology, USA Author of Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification within the Research Papers-track in ICFP 2017
Antoine Voizard University of Pennsylvania, USA Author of A Specification for Dependent Types in Haskell within the Research Papers-track in ICFP 2017
Michael Vollmer Indiana University United States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Jérôme Vouillon Univ Paris Diderot, Sorbonne Paris Cité, BeSport Author of Tierless modules within the ML 2017-track in ML 2017
Dimitrios Vytiniotis Microsoft Research, Cambridge Author of Destination-Passing Style for Efficient Memory Management within the FHPC 2017-track in FHPC 2017
Dimitris Vyzovitis Author of Lightning: Gerbil on Gambit, as they say Racket on Chez within the Scheme 2017-track in Scheme 2017
Philip Wadler University of Edinburgh, UK United Kingdom Author of Quantified Class Constraints within the Haskell 2017-track in Haskell 2017 Author of Gradual Session Types within the Research Papers-track in ICFP 2017 Author of Theorems for Free for Free: Parametricity, With and Without Types within the Research Papers-track in ICFP 2017
Johannes Waldmann Presenter of Termination and Complexity Competition 2017 within the FSCD 2017-track in FSCD 2017
Mitchell Wand Northeastern University, USA Author of Inferring Scope through Syntactic Sugar within the Research Papers-track in ICFP 2017
Liang Wang University of Cambridge Author of Owl: A General-Purpose Numerical Library in OCaml within the OCaml 2017-track in OCaml 2017 Tutor of Tutorial C7: Owl - Data Science in OCaml (part 2) within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C7: Owl - Data Science in OCaml (part 3) within the CUFP 2017-track in CUFP 2017 Tutor of Tutorial C7: Owl - Data Science in OCaml within the CUFP 2017-track in CUFP 2017
Peng Wang Massachusetts Institute of Technology, USA Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017
Lucas Waye Harvard University, USA Author of Whip: Higher-Order Contracts for Modern Services within the Research Papers-track in ICFP 2017
Stephanie Weirich University of Pennsylvania, USA United States Author of A Specification for Dependent Types in Haskell within the Research Papers-track in ICFP 2017
Konstantin Weitz University of Washington, USA United States Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track in ICFP 2017
Leo White Jane Street Author of Effectively tackling the awkward squad within the ML 2017-track in ML 2017
John Whitington Author of ocamli: Interpreted OCaml within the OCaml 2017-track in OCaml 2017
John Wiegley Author of Using Coq to Write Fast and Correct Haskell within the Haskell 2017-track in Haskell 2017
Andy Wingo Igalia, S.L. Author of Panel: Future of Scheme within the Scheme 2017-track in Scheme 2017
Sarah Winkler Author of Infinite Runs in Abstract Completion within the FSCD 2017-track in FSCD 2017
Daniel Winograd-Cort University of Pennsylvania, USA Author of A Framework for Adaptive Differential Privacy within the Research Papers-track in ICFP 2017
Glynn Winskel Author of Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or within the FSCD 2017-track in FSCD 2017
Theo Winterhalter ENS Paris-Saclay, France Author of Normalization by Evaluation for Sized Dependent Types within the Research Papers-track in ICFP 2017
Nicolas Wu University of Bristol United Kingdom Committee Member in Program Committee within the ICFP Research Papers-track
Jeremy Yallop University of Cambridge, UK Author of First-class subtypes within the ML 2017-track in ML 2017 Author of Extending OCaml's open within the OCaml 2017-track in OCaml 2017 Author of Staged Generic Programming within the Research Papers-track in ICFP 2017 Committee Member in Program Committee within the TyDe-track
Akihisa Yamada Presenter of Termination and Complexity Competition 2017 within the FSCD 2017-track in FSCD 2017
Ryan Yates Author of Improving STM Performance with Transactional Structs within the Haskell 2017-track in Haskell 2017
Brent Yorgey Hendrix College United States Author of Welcome within the TyDe 2017-track in TyDe 2017 Co-chair in Organizing Committee within the TyDe-track Co-chair in Program Committee within the TyDe-track
Nobuaki Yoshida ASTEM RI/KYOTO Author of Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang within the Erlang 2017-track in Erlang 2017
Halley Young Author of A Categorial Grammar for Music and Its Use in Automatic Melody Generation within the FARM 2017-track in FARM 2017
Shu-Hung You Northwestern University, USA Taiwan Author of Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) within the Research Papers-track in ICFP 2017
Timothy A. K. Zakian Oxford University, UK United Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Jakub Zalewski Student Volunteer Co-Captain in Organizing Committee for ICFP 2017
Santiago Zanella-Béguelin Microsoft Research, n.n. Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017
Steve Zdancewic University of Pennsylvania United States Author of The Linearity Monad within the Haskell 2017-track in Haskell 2017
Noam Zeilberger University of Birmingham, UK Author of A sequent calculus for semi-associativity within the FSCD 2017-track in FSCD 2017
Zhen Zhang University of Washington Author of Getting Ready for Hadrian within the HIW 2017-track in HIW 2017
Klara Zielińska Author of Generalized Refocusing: from Hybrid Strategies to Abstract Machines within the FSCD 2017-track in FSCD 2017
Beta Ziliani FAMAF, UNC and CONICET Argentina Committee Member in Program Committee within the ICFP Research Papers-track
Alan Zimmerman South Africa Author of IDE Support in GHC within the HIW 2017-track in HIW 2017
Jean-Karim Zinzindohoué Inria, France Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017
Erik de Castro Lopo Ambiata (Australia) Australia Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Gabriel de Perthuis OCaml Labs Author of Wodan: a pure OCaml, flash-aware filesystem library within the OCaml 2017-track in OCaml 2017
Marcell van Geest Utrecht University Author of Generic packet descriptions: verified parsing and pretty printing of low-level data within the TyDe 2017-track in TyDe 2017
Arvind Massachusetts Institute of Technology, USA Author of Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification within the Research Papers-track in ICFP 2017

ICFP 2017 Contributors

Results (545)

Tracks

Co-hosted Conferences

Co-hosted Workshops

Co-hosted Symposiums