ICFP 2017 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (545)

A Andreas AbelAbel, Andreas University of Gothenburg, Sweden Normalization by Evaluation for Sized Dependent Types
Samodya AbeysiriwardaneAbeysiriwardane, Samodya Purdue University Mergeable types
Luca AcetoAceto, Luca Reykjavik University eAOP - An Aspect Oriented Programming Framework for Erlang
Ashish AgarwalAgarwal, Ashish Committee Member in Program Committee within the OCaml-track
Alejandro AguirreAguirre, Alejandro IMDEA Software Institute, Spain A Relational Logic for Higher-Order Programs
Danel AhmanAhman, Danel University of EdinburghEstonia Handling fibred algebraic effects Recalling a Witness
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Compositional Compiler Correctness Panel Discussion: Careers in Programming Languages Theorems for Free for Free: Parametricity, With and Without Types
Benedikt AhrensAhrens, Benedikt Displayed categories
Yohji AkamaAkama, Yohji The confluent terminating context-free substitutive rewriting system for the λ-calculus with surjective pairing and terminal type
Baris AktemurAktemur, Baris Ozyegin University Committee Member in Program Committee within the Scheme-track
Maximilian AlgehedAlgehed, Maximilian Chalmers University of Technology, Sweden VisPar: Visualising dataflow graphs from the Par monad QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration)
David AllsoppAllsopp, David University of CambridgeUnited Kingdom Invited talk: new contributors
Nada AminAmin, Nada University of CambridgeUnited Kingdom Scala: Types in Theory & Practice Committee Member in Program Committee within the TyDe-track Committee Member in Program Committee within the Scheme-track
Leif AndersenAndersen, Leif Northeastern University, USA Super 8 Languages for Making Movies (Functional Pearl)
Florian AngelettiAngeletti, Florian Invited talk: new contributors
Takahito AotoAoto, Takahito Improving Rewriting Induction Approach for Proving Ground Confluence
Vincent Archambault-BouffardArchambault-Bouffard, Vincent Université de Montréal Typer: an infix statically typed Lisp
Simon ArchipoffArchipoff, Simon CNRS LaBRI, Inria Bordeaux, Demo — Octopus: A High-Level Fast 3D Animation Language Unified Media Programming: An Algebraic Approach
Stavros AronisAronis, Stavros Uppsala University The Shared-Memory Interferences of Erlang/OTP Built-ins
Markus AronssonAronsson, Markus Hardware Software Co-Design in Haskell
ArvindArvind Massachusetts Institute of Technology, USA Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in Program Committee within the Scheme-track
Robert AtkeyAtkey, Robert University of Strathclyde Continuation Passing Style for Effect Handlers Committee Member in Program Committee within the ICFP Research Papers-track
Joshua AuerbachAuerbach, Joshua IBM Research Prototyping a Query Compiler using Coq (Experience Report)
Lennart AugustssonAugustsson, Lennart Committee Member in Program Committee within the Haskell-track
Martin AvanziniAvanzini, Martin University of Innsbruck, Austria Automating Sized-Type Inference for Complexity Analysis
Jeremy AvigadAvigad, Jeremy Carnegie Mellon University, USA A Metaprogramming Framework for Formal Verification
Pedro Henrique Azevedo de AmorimAzevedo de Amorim, Pedro Henrique Ecole Polytechnique, n.n. / University of Campinas, Brazil A Specification for Dependent Types in Haskell
Kagumi AzumaAzuma, Kagumi Kwansei Gakuin University Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang
B Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Böhm Reduction in Infinitary Term Graph Rewriting Systems
Thibaut BalabonskiBalabonski, Thibaut LRI, France / University of Paris-Sud, France Foundations of Strong Call by Need
Michael BallantyneBallantyne, Michael University of Utah, USA A Unified Approach to Solving Seven Programming Problems (Functional Pearl) Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Stephanie BalzerBalzer, Stephanie Carnegie Mellon University, USA Manifest Sharing with Session Types
Pablo BarenbaumBarenbaum, Pablo University of Buenos Aires, Argentina / IRIF, France / University of Paris Diderot, France Optimality and the Linear Substitution Calculus Foundations of Strong Call by Need
Gilles BartheBarthe, Gilles IMDEA Software Institute, Spain A Relational Logic for Higher-Order Programs
Adam BarwellBarwell, Adam In Search of a Map: using Program Slicing to Discover Potential Parallelism in Recursive Functions
Eli BarzilayBarzilay, Eli Committee Member in Program Committee within the Scheme-track
Renick BellBell, Renick Committee Member in Program Committee within the FARM-track
Clara Benac EarleBenac Earle, Clara Universidad Politécnica de Madrid Committee Member in Program Committee within the Erlang-track
Nick BentonBenton, Nick Facebook LondonUnited Kingdom Committee Member in Program Committee within the ML-track
Beatrice BerardBerard, Beatrice LIP6-UPMC/INRIA MexicoFrance Committee Member in Program Committee within the FARM-track
Jean-Philippe BernardyBernardy, Jean-Philippe University of Gothenburg A Pretty But Not Greedy Printer (Functional Pearl)
Jost BertholdBerthold, Jost Digital AssetAustralia Committee Member in Program Committee within the FHPC-track
Karthikeyan BhargavanBhargavan, Karthikeyan Inria, France Verified Low-Level Programming Embedded in F*
Siddharth BhatBhat, Siddharth IIT Hyderabad SimplexHC: Lowering High-Level Haskell to Imperative IR
Malgorzata BiernackaBiernacka, Malgorzata University of Wroclaw Generalized Refocusing: from Hybrid Strategies to Abstract Machines Committee Member in Program Committee within the ML-track
Dariusz BiernackiBiernacki, Dariusz University of Wrocław Logical Relations for Algebraic Effects
Jasmin BlanchetteBlanchette, Jasmin Vrije Universiteit AmsterdamNetherlands Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3) Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 2)
Mario BlaževićBlažević, Mario Packrats Parse in Packs
François BobotBobot, François CEA Committee Member in Program Committee within the OCaml-track
Mathieu BoespflugBoespflug, Mathieu Tweag I/O Tracking GHC Performance
Eduardo BonelliBonelli, Eduardo CONICET, Argentina / Universidad Nacional de Quilmes, Argentina Optimality and the Linear Substitution Calculus Foundations of Strong Call by Need
Renzo BorgattiBorgatti, Renzo uSwitchUnited Kingdom Tutorial C6: Transducers in Practice (part 2) Tutorial C6: Transducers in Practice Tutorial C6: Transducers in Practice (part 3)
Gert-Jan BottuBottu, Gert-Jan Quantified Class Constraints
Dmitri BoulytchevBoulytchev, Dmitri Relational conversion for OCaml
Frédéric BourBour, Frédéric OCaml Labs Committee Member in Program Committee within the OCaml-track
Ana BoveBove, Ana Chalmers University of Technology, Sweden Committee Member in Program Committee within the TyDe-track
William J. BowmanBowman, William J. Northeastern UniversityUnited States Only Control Effects and Dependent Types
István BozóBozó, István Eötvös Loránd University Towards Change-driven Testing
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Type-directed reasoning for probabilistic, non-compositional resources State machines all the way down Committee Member in Program Committee within the HOPE-track
Rudy BraquehaisBraquehais, Rudy Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results
Arthur BREITMANBREITMAN, Arthur Dynamic Ledger Solutions Tezos: the OCaml Crypto-Ledger
Joachim BreitnerBreitner, Joachim University of PennsylvaniaUnited States Lock-Step Simulation Is Child's Play (Experience Report) Committee Member in Program Committee within the Haskell-track
Jean BressonBresson, Jean UMR STMS: IRCAM-CNRS-UPMC Session Chair of Session 4: Tutorial (part of FARM) Session Chair of Session 1: Papers/Demos (part of FARM) Welcome Program Chair in Program Committee within the FARM-track Program Chair in Organizing Committee within the FARM-track
Christopher BrownBrown, Christopher University of St. Andrews, UK ParaFormance Demo: Democratizing Parallel Software Development
Matt BrownBrown, Matt UCLA Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Nick BrownBrown, Nick EPCC Type oriented programming for task based parallelism
James Mark BullBull, James Mark EPCC Type oriented programming for task based parallelism
Joel BurgetBurget, Joel Why GHC Core and Linear Logic Should be Best Friends
William E. ByrdByrd, William E. University of Utah, USAUnited States A Unified Approach to Solving Seven Programming Problems (Functional Pearl) Committee Member in Selection Committee within the ICFP Student Research Competition-track Committee Member in Steering Committee within the Scheme-track
C Romain CalascibettaCalascibetta, Romain France Tutorial C4: Git under the hood with OCaml Tutorial C4: Git under the hood with OCaml (part 3) Tutorial C4: Git under the hood with OCaml (part 2)
Cristiano CalcagnoCalcagno, Cristiano Facebook Committee Member in Program Committee within the OCaml-track
Jose CalderonCalderon, Jose Galois, Inc.United States Video Chair in Organizing Committee for ICFP 2017
Benjamin CanouCanou, Benjamin OCamlPro, n.n. Tezos: the OCaml Crypto-Ledger Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC
Ludovic CapelliCapelli, Ludovic EPCCUnited Kingdom Type oriented programming for task based parallelism
Richard CarlssonCarlsson, Richard KlarnaSweden Committee Member in Program Committee within the Erlang-track
Ian CassarCassar, Ian University of Malta eAOP - An Aspect Oriented Programming Framework for Erlang
Giuseppe CastagnaCastagna, Giuseppe CNRS, France / University of Paris Diderot, FranceItaly Gradual Typing with Union and Intersection Types
Simon CastellanCastellan, Simon Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or
Laura M. CastroCastro, Laura M. University of A Coruña Committee Member in Program Committee within the Erlang-track
Manuel ChakravartyChakravarty, Manuel Tracking GHC Performance Streaming Irregular Arrays
Pierre ChambartChambart, Pierre OCamlPRO Tezos: the OCaml Crypto-Ledger
Buddhika ChamithChamith, Buddhika Indiana UniversityUnited States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Stephen ChangChang, Stephen Northeastern University, USA Super 8 Languages for Making Movies (Functional Pearl)
Witold CharatonikCharatonik, Witold Generalized Refocusing: from Hybrid Strategies to Abstract Machines
Arthur CharguéraudCharguéraud, Arthur InriaFrance Efficient representation of large, dynamic sequences in ML VOCAL -- a verified OCAml Library
Natalia ChechinaChechina, Natalia University of GlasgowUnited Kingdom Co-chair in Organizing Committee within the Erlang-track
Chao-Hong ChenChen, Chao-Hong Indiana University Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping
Zilin ChenChen, Zilin UNSW, Australia Cogent⇑: giving systems engineers a stepping stone
James CheneyCheney, James University of Edinburgh, UKUnited States Imperative Functional Programs That Explain Their Work
Adam ChlipalaChlipala, Adam Massachusetts Institute of Technology, USAUnited States Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification Committee Member in Program Committee within the ICFP Research Papers-track
Joonwon ChoiChoi, Joonwon Massachusetts Institute of Technology, USA Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification
Stephen ChongChong, Stephen Harvard University, USA Whip: Higher-Order Contracts for Modern Services
Vikraman ChoudhuryChoudhury, Vikraman Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping
David Thrane ChristiansenChristiansen, David Thrane Indiana UniversityUnited States Workshops Co-Chair in Organizing Committee for ICFP 2017
Tyng-Ruey ChuangChuang, Tyng-Ruey Institute of Information Science, Academia Sinica Type safe Redis queries -- a case study of type-level programming in Haskell
Koen ClaessenClaessen, Koen Chalmers University of Technology QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration)
Pierre ClairambaultClairambault, Pierre Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or
Dave ClarkeClarke, Dave Uppsala Univ. Sweden and KU Leuvern Affine killing
Robert Clifton-EverestClifton-Everest, Robert Streaming Irregular Arrays
Will ClingerClinger, Will Committee Member in Steering Committee within the Scheme-track
Robin CockettCockett, Robin There is only one notion of differentiation
Jesper CockxCockx, Jesper iMinds, BelgiumBelgium Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Youyou CongCong, Youyou Ochanomizu UniversityJapan Only Control Effects and Dependent Types
Joe CorneliCorneli, Joe Lightning Talk: Extending the LISP model from cons cells to triples, from trees to hypergraphs Modelling the Way Mathematics Is Actually Done
Benjamin CosmanCosman, Benjamin University of California at San Diego, USA Local Refinement Typing
Nicholas CowleCowle, Nicholas G-Research Functional Facades over Legacy Code
Lukasz CzajkaCzajka, Lukasz University of Innsbruck Confluence of an extension of Combinatory Logic by Boolean constants
D Pierre-Evariste DagandDagand, Pierre-Evariste LIP6/CNRS France Type-directed diffing of structured data Committee Member in Program Committee within the HOPE-track
Ugo Dal LagoDal Lago, Ugo University of Bologna, Italy / Inria, FranceItaly Automating Sized-Type Inference for Complexity Analysis
David DaraisDarais, David University of Maryland, USAUnited States Abstracting Definitional Interpreters
Kei DavisDavis, Kei Los Alamos National LaboratoryUnited States Committee Member in Program Committee within the FHPC-track
Milo DavisDavis, Milo Northeastern University, USA No-Brainer CPS Conversion
Justin DawsonDawson, Justin Composable Network Stacks and Remote Monads
Erik de Castro Lopode Castro Lopo, Erik Ambiata (Australia)Australia Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Leonardo de Mourade Moura, Leonardo Microsoft Research, n.n. A Metaprogramming Framework for Formal Verification
Gabriel de Perthuisde Perthuis, Gabriel OCaml Labs Wodan: a pure OCaml, flash-aware filesystem library
Pierre DelaunayDelaunay, Pierre Université de Montréal Typer: an infix statically typed Lisp
Benjamin DelawareDelaware, Benjamin Purdue University Using Coq to Write Fast and Correct Haskell
Antoine Delignat-LavaudDelignat-Lavaud, Antoine Microsoft Research, n.n. Verified Low-Level Programming Embedded in F*
Dominique DevrieseDevriese, Dominique KU Leuven, BelgiumBelgium Parametric Quantifiers for Dependent Type Theory Committee Member in Program Committee within the ICFP Research Papers-track
Roberto Di CosmoDi Cosmo, Roberto Inria, France / University of Paris Diderot, FranceFrance Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC
Iavor DiatchkiDiatchki, Iavor Galois, Inc. Chair in Program Committee within the Haskell-track
Jeremie DiminoDimino, Jeremie Jane Street Europe Jbuilder: a modern approach to OCaml development
Christos DimoulasDimoulas, Christos Harvard University, USA Whip: Higher-Order Contracts for Modern Services
Stephen DolanDolan, Stephen First-class subtypes Effectively tackling the awkward squad Testing with Crowbar A memory model for multicore OCaml Committee Member in Program Committee within the ML-track
Derek DreyerDreyer, Derek MPI-SWS ICFP'19 General Chair in Steering Committee for ICFP 2017 How to Write Papers and Give Talks That People Can Follow RustBelt: Securing the Foundations of the Rust Programming Language
Andrej DudenhefnerDudenhefner, Andrej Technical University Dortmund The Complexity of Principal Inhabitation
E Gabriel EbnerEbner, Gabriel Vienna University of Technology, AustriaAustria A Metaprogramming Framework for Formal Verification
Satoshi EgiEgi, Satoshi Rakuten Institute of TechnologyJapan Paper: Scalar and Tensor Parameters for Importing Tensor Index Notation including Einstein Summation Notation
Richard A. EisenbergEisenberg, Richard A. Bryn Mawr College, USAUnited States Session Chair of State of GHC (part of HIW) Panel Discussion: Careers in Programming Languages Constrained Type Families A Specification for Dependent Types in Haskell Chair in Program Committee within the HIW-track Committee Member in Selection Committee within the ICFP Student Research Competition-track
Anton EkbladEkblad, Anton Chalmers University of TechnologySweden A Meta-EDSL for Distributed Web Applications
Spiros EliopoulosEliopoulos, Spiros Jane Street Group Effectively tackling the awkward squad
Conal ElliottElliott, Conal Target, USAUnited States Compiling to Categories Generic Functional Parallel Algorithms: Scan and FFT
Michael D. ErnstErnst, Michael D. University of Washington, USA SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
Martin ErwigErwig, Martin Oregon State UniversityUnited 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
F Kavon FarvardinFarvardin, Kavon University of ChicagoUnited States Native Support for Explicit Stacks in LLVM
Marc FeeleyFeeley, Marc Université de MontréalCanada Panel: Future of Scheme Committee Member in Steering Committee within the Scheme-track
Matthias FelleisenFelleisen, Matthias Northeastern University, USA Super 8 Languages for Making Movies (Functional Pearl)
Daniel FelteyFeltey, Daniel Northwestern University, USA Herbarium Racketensis: A Stroll through the Woods (Functional Pearl)
Kiko Fernandez-ReyesFernandez-Reyes, Kiko Uppsala UniversitySweden Affine killing
Jean-Christophe FilliatreFilliatre, Jean-Christophe CNRS, Paris, France VOCAL -- a verified OCAml Library
Robert Bruce FindlerFindler, Robert Bruce Northwestern University, USAUnited States ICFP'18 General Chair in Steering Committee for ICFP 2017 Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) ICFP 2018 Announcement
Marcelo FioreFiore, Marcelo Computer Laboratory, University of Cambridge List Objects with Algebraic Structure
Kathleen FisherFisher, Kathleen Tufts UniversityUnited States ICFP'15 General Chair in Steering Committee for ICFP 2017
Andrew FitzgibbonFitzgibbon, Andrew Microsoft Research, Cambridge Destination-Passing Style for Efficient Memory Management
Matthew FlattFlatt, Matthew University of UtahUnited States ICFP'18 Program Chair in Steering Committee for ICFP 2017 Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2017 Session Chair of Contracts and Sessions (part of ICFP Research Papers) 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 FleuryFleury, Mathias MPI-INFGermany Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL
Spencer P. FlorenceFlorence, Spencer P. Northwestern University, USA Herbarium Racketensis: A Stroll through the Woods (Functional Pearl)
Dominique FoberFober, Dominique FAUST Tutorial for Functional Programmers
Kenneth FonerFoner, Kenneth Ode on a Random Urn (Functional Pearl)
Chris FordFord, Chris ThoughtWorks (UK) Ltd. Demo — African Polyphony and Polyrhythm
Yannick ForsterForster, Yannick Saarland University, Germany / University of Cambridge, UKGermany On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control
Cédric FournetFournet, Cédric Microsoft Research, n.n. Recalling a Witness Verified Low-Level Programming Embedded in F*
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta eAOP - An Aspect Oriented Programming Framework for Erlang
Daniel P. FriedmanFriedman, Daniel P. Indiana University, USA Committee Member in Steering Committee within the Scheme-track
Scott Lystig FritchieFritchie, Scott Lystig VMware ResearchUnited States Co-chair in Organizing Committee within the Erlang-track
Koichi FujimaFujima, Koichi Streett Automata Model Checking of Higher-Order Recursion Schemes
Yosuke FukudaFukuda, Yosuke Kyoto UniversityJapan Student Volunteer Co-Captain in Organizing Committee for ICFP 2017
Sebastian FunkFunk, Sebastian Jane Street Tutorial C1: Online Applications with Incremental (part 3) Tutorial C1: Online Applications with Incremental Tutorial C1: Online Applications with Incremental (part 2)
Viktória FördősFördős, Viktória Towards Change-driven Testing Committee Member in Program Committee within the Erlang-track
G Evelina GabasovaGabasova, Evelina University of Cambridge Committee Member in Program Committee within the CUFP-track
Marco GaboardiGaboardi, Marco University at Buffalo, SUNY, USAUnited States Type systems for the relational verification of higher order programs A Relational Logic for Higher-Order Programs
Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & HPI Committee Member in Program Committee within the FARM-track
Alejandro GadeaGadea, Alejandro FAMAF, UNC and CONICET Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Michael GaleGale, Michael University of Warwick, UKUnited Kingdom Well-Typed Music Does Not Sound Wrong (Experience Report)
Ben GamariGamari, Ben Well-Typed LLP Session Chair of Constraints (part of HIW) Getting Ready for Hadrian GHC Infrastructure Update and Discussion
Ronald GarciaGarcia, Ronald University of British Columbia Session Chair of Integrating Static and Dynamic Typing (part of ICFP Research Papers) Gradual Typing Committee Member in Program Committee within the ICFP Research Papers-track
Deepak GargGarg, Deepak MPI-SWS, GermanyGermany A Relational Logic for Higher-Order Programs
Andreas GarnæsGarnæs, Andreas ZendeskDenmark Tutorial C8: GraphQL Servers in OCaml (part 3) Tutorial C8: GraphQL Servers in OCaml Tutorial C8: GraphQL Servers in OCaml (part 2)
Jacques GarrigueGarrigue, Jacques ICFP'16 General Chair in Steering Committee for ICFP 2017
Louis GesbertGesbert, Louis OCamlPro Committee Member in Program Committee within the OCaml-track
Jean-Louis GiavittoGiavitto, Jean-Louis IRCAMFrance Committee Member in Program Committee within the FARM-track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom ICFP'17 General Chair in Steering Committee for ICFP 2017 General Chair in Organizing Committee for ICFP 2017 Session Chair of Monday Keynote (part of ICFP Keynotes and Reports)
Jürgen GieslGiesl, Jürgen Termination and Complexity Competition 2017
Andy GillGill, Andy Composable Network Stacks and Remote Monads
Thomas GilrayGilray, Thomas University of Utah, USA Paper: Toward Parallelizing Control-flow Analysis with Datalog
Joris GiovannangeliGiovannangeli, Joris Ahrefs Research Interfacing OCaml and Rust: picking the right tool for the job
Arthur GlecklerGleckler, Arthur SRFI EditorUnited States Panel: Future of Scheme
Sebastian GrafGraf, Sebastian Karlsruhe Institute of Technology Demand Analysis vs. Call Arity
Kathryn E. GrayGray, Kathryn E. 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 GrayGray, Kathy Panel: Future of Scheme
Mark GrebeGrebe, Mark Composable Network Stacks and Remote Monads
Jason GrossGross, Jason MIT CSAILUnited States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Stefano GuerriniGuerrini, Stefano Is the optimal implementation inefficient? Elementarily not
Bury GuillaumeGuillaume, Bury INRIA / LSV / CNRS mSAT: An OCaml SAT Solver
Adam GundryGundry, Adam Well-Typed LLPUnited 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 GuntherGunther, Emmanuel FAMAF, UNC and CONICET Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
H Andreas HaeberlenHaeberlen, Andreas University of Pennsylvania, USA A Framework for Adaptive Differential Privacy
Jurriaan HageHage, Jurriaan Utrecht University Committee Member in Program Committee within the Haskell-track
Thomas HallgrenHallgren, Thomas Chalmers University of TechnologySweden Committee Member in Program Committee within the Haskell-track
Makoto HamanaHamana, Makoto Gunma University, JapanJapan How to Prove Your Calculus Is Decidable: Practical Applications of Second-Order Algebraic Theories and Computation
Kevin HammondHammond, Kevin University of St. Andrews, UK Session Chair of First Keynote (part of FHPC) Type-directed reasoning for probabilistic, non-compositional resources In Search of a Map: using Program Slicing to Discover Potential Parallelism in Recursive Functions ParaFormance Demo: Democratizing Parallel Software Development Panel Discussion: The challenges for Functional High Performance Computing
Joseph HarrisonHarrison, Joseph University of KentUnited Kingdom Towards an Isabelle/HOL Formalisation of Core Erlang
Troels HenriksenHenriksen, Troels DIKU, University of CopenhagenDenmark Futhark Demo Strategies for Regular Segmented Reductions on GPU
Grégoire HenryHenry, Grégoire OCamlPro, n.n. Tezos: the OCaml Crypto-Ledger Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC
Stefan HeuleHeule, Stefan Stanford University, USAUnited States SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
Rich HickeyHickey, Rich CognitectUnited States Ten Years of Clojure -- FP Out of the Box
Michael HicksHicks, Michael University of Maryland, College ParkUnited States SIGPLAN Chair in Steering Committee for ICFP 2017
Daniel HillerströmHillerström, Daniel The University of EdinburghUnited Kingdom Effectively tackling the awkward squad Tutorial C3: Concurrent Programming with Effect Handlers
Daniel HillerströmHillerström, Daniel Tutorial C3: Concurrent Programming with Effect Handlers (part 2)
Daniel HillerströmHillerström, Daniel The University of EdinburghUnited Kingdom Tutorial C3: Concurrent Programming with Effect Handlers (part 3) Continuation Passing Style for Effect Handlers
Sébastien HindererHinderer, Sébastien InriaFrance Invited talk: new contributors Committee Member in Program Committee within the OCaml-track
Nao HirokawaHirokawa, Nao JAIST Infinite Runs in Abstract Completion
Martin HirzelHirzel, Martin IBM ResearchUnited States Prototyping a Query Compiler using Coq (Experience Report)
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Arrays and References in Resource Aware ML
Eric HolkHolk, Eric Google Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Reid HolmesHolmes, Reid Confero Mobile App Chair in Organizing Committee for ICFP 2017
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang Carnegie Mellon UniversityTaiwan Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Cătălin HriţcuHriţcu, Cătălin Inria Paris Recalling a Witness Verified Low-Level Programming Embedded in F*
Zhenjiang HuHu, Zhenjiang National Institute of InformaticsJapan Committee Member in Program Committee within the FHPC-track
Austin HuangHuang, Austin Pfizer Using Functional Programming to Accelerate Translational Research at Pfizer
John HughesHughes, John Chalmers University of Technology Member at large in Steering Committee for ICFP 2017 Session Chair of Program Construction (part of ICFP Research Papers) Committee Member in Program Committee within the ICFP Research Papers-track
Chung-Kil HurHur, Chung-Kil Seoul National UniversityKorea, South Committee Member in Program Committee within the ICFP Research Papers-track
Graham HuttonHutton, Graham University of NottinghamUnited Kingdom Session Chair of Functional Programming Techniques (part of ICFP Research Papers) Committee Member in Program Committee within the ICFP Research Papers-track
I Renat IdrisovIdrisov, Renat Distributed load testing with MZBench
Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Member at large in Steering Committee for ICFP 2017 On Polymorphic Gradual Typing Gradual Session Types Committee Member in Program Committee within the HOPE-track Committee Member in Program Committee within the OCaml-track
Yuu IgarashiIgarashi, Yuu Kyoto University, Japan On Polymorphic Gradual Typing
Anna IngolfsdottirIngolfsdottir, Anna Reykjavik University eAOP - An Aspect Oriented Programming Framework for Erlang
Benedetto IntrigilaIntrigila, Benedetto Refutation of Sallé's Longstanding Conjecture
Nagisa IshiuraIshiura, Nagisa Kwansei Gakuin University Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang
J Suresh JagannathanJagannathan, Suresh Purdue University Mergeable types
Dustin JamnerJamner, Dustin Northeastern University, USA Theorems for Free for Free: Parametricity, With and Without Types
David JaninJanin, David Bordeaux INP / CNRS LaBRI / Bordeaux UniversityFrance Session Chair of Session 5: Demos (part of FARM) Demo — Octopus: A High-Level Fast 3D Animation Language Unified Media Programming: An Algebraic Approach
Patrik JanssonJansson, Patrik Chalmers University of TechnologySweden VisPar: Visualising dataflow graphs from the Par monad
Alan JeffreyJeffrey, Alan Mozilla ResearchUnited States Committee Member in Program Committee within the ICFP Research Papers-track
Ranjit JhalaJhala, Ranjit University of California at San Diego, USAUnited States Local Refinement Typing Committee Member in Program Committee within the ICFP Research Papers-track
Limin JiaJia, Limin Carnegie Mellon University Committee Member in Program Committee within the TyDe-track
Patricia JohannJohann, Patricia Appalachian State University Committee Member in Program Committee within the TyDe-track
Moa JohanssonJohansson, Moa Chalmers University of Technology QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration)
Mark JonesJones, Mark Portland State University ICFP'17 Program Chair in Steering Committee for ICFP 2017 Programme Chair in Organizing Committee for ICFP 2017 Session Chair of Inference and Analysis (part of ICFP Research Papers) Session Chair of Tuesday Keynote (part of ICFP Keynotes and Reports) Program Chair's Report Program Chair in Program Committee within the ICFP Research Papers-track
Timothy JonesJones, Timothy Victoria University of WellingtonNew Zealand Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Jacques-Henri JourdanJourdan, Jacques-Henri MPI-SWS, GermanyFrance RustBelt: Securing the Foundations of the Rust Programming Language
Ralf JungJung, Ralf MPI-SWS, GermanyGermany RustBelt: Securing the Foundations of the Rust Programming Language
Mathias Nygaard JustesenJustesen, Mathias Nygaard DTU, Denmark Effect-Driven QuickChecking of Compilers
K Jonas KaiserKaiser, Jonas Relating System F and λ2: A Case Study in Coq, Abella and Beluga
Gowtham KakiKaki, Gowtham Purdue University Mergeable types
Yukiyoshi KameyamaKameyama, Yukiyoshi University of Tsukuba, JapanJapan Committee Member in Program Committee within the TyDe-track
Ohad KammarKammar, Ohad University of Oxford, UKUnited Kingdom A monadic solution to the Cartwright-Felleisen-Wadler conjecture On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control
Hiroyuki KanbaraKanbara, Hiroyuki ASTEM RI/KYOTO Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang
Max KanovichKanovich, Max A polynomial-time algorithm for the Lambek calculus with brackets of bounded order
Georgios KarachaliasKarachalias, Georgios KU Leuven, BelgiumBelgium Elaboration on Functional Dependencies Quantified Class Constraints Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Patrick KastingKasting, Patrick DTU, Denmark Effect-Driven QuickChecking of Compilers
Shin-ya KatsumataKatsumata, Shin-ya National Institute of InformaticsJapan Invited Talk: Semantics of Effect Systems by Graded Monads Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the ICFP Research Papers-track
Akitoshi KawamuraKawamura, Akitoshi Polynomial running times for polynomial-time oracle machines
Robin KayKay, Robin G-Research Functional Facades over Legacy Code
Gabriele KellerKeller, Gabriele Data61,CSIRO (formerly NICTA) and UNSWAustralia ICFP'16 General Chair in Steering Committee for ICFP 2017 Streaming Irregular Arrays Committee Member in Program Committee within the FHPC-track
Andrew KennedyKennedy, Andrew Facebook London Driving types into PHP
Pavlo KeresteyKerestey, Pavlo Using Haskell to run a datacenter
Delia KesnerKesner, Delia Université de Paris, CNRS, IRIF, France Types as Resources for Classical Natural Deduction Foundations of Strong Call by Need
Yuta KimuraKimura, Yuta Improving Rewriting Induction Approach for Proving Ground Confluence
Oleg KiselyovKiselyov, Oleg Higher-order Programming is an Effect Effects without monads: non-determinism Tutorial C2: Extensible Effects: understanding them, implementing them, using them Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 3) Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 2) Committee Member in Program Committee within the OCaml-track
Felix KlockKlock, Felix Committee Member in Program Committee within the Scheme-track
Naoki KobayashiKobayashi, Naoki University of Tokyo, Japan Streett Automata Model Checking of Higher-Order Recursion Schemes
Wen KokkeKokke, Wen University of EdinburghUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt UniversityUnited Kingdom Committee Member in Selection Committee within the ICFP Student Research Competition-track Committee Member in Program Committee within the Haskell-track
Robbert KrebbersKrebbers, Robbert Delft University of Technology, NetherlandsNetherlands RustBelt: Securing the Foundations of the Rust Programming Language Committee Member in Program Committee within the HOPE-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, USA Inferring Scope through Syntactic Sugar
Neel KrishnaswamiKrishnaswami, Neel Computer Laboratory, University of Cambridge PLMW Co-Chair in Organizing Committee for ICFP 2017 Session Chair of Keynote (part of PLMW) Welcome Committee Member in Organizing Committee within the PLMW-track
Ramana KumarKumar, Ramana Data61 at CSIRO, Australia / UNSW, AustraliaAustralia Verifying Efficient Function Calls in CakeML Tutorial T1: Writing Verified Programs in CakeML (part 3) Tutorial T1: Writing Verified Programs in CakeML Tutorial T1: Writing Verified Programs in CakeML (part 2)
Sidharth KumarKumar, Sidharth Paper: Toward Parallelizing Control-flow Analysis with Datalog
Lindsey KuperKuper, Lindsey 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 KuznetsovKuznetsov, Stepan A polynomial-time algorithm for the Lambek calculus with brackets of bounded order
L Nicholas LabichLabich, Nicholas University of Maryland, USA Abstracting Definitional Interpreters Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Ting-Yan LaiLai, Ting-Yan Institute of Information Science, Academia Sinica Type safe Redis queries -- a case study of type-level programming in Haskell
Leonidas LampropoulosLampropoulos, Leonidas University of PennsylvaniaGreece Ode on a Random Urn (Functional Pearl) A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq
Alex LangLang, Alex Co-chair in Organizing Committee within the CUFP-track
Victor LanvinLanvin, Victor ENS Cachan, FranceFrance Gradual Typing with Union and Intersection Types
Rasmus Wriedt LarsenLarsen, Rasmus Wriedt DIKU, University of CopenhagenDenmark Strategies for Regular Segmented Reductions on GPU
James LarsonLarson, James Google, USA Committee Member in Program Committee within the Erlang-track
Jeremie Lasalle-RatelleLasalle-Ratelle, Jeremie AppNexus Bonsai: a DSL for serverless firm real-time decisioning
John LaunchburyLaunchbury, John Galois, Inc. Assuring AI
Julia LawallLawall, Julia Inria/LIP6 Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the OCaml-track
Fabrice Le FessantLe Fessant, Fabrice OCamlPro Tezos: the OCaml Crypto-Ledger
Peter Lefanu LumsdaineLefanu Lumsdaine, Peter Displayed categories
Daan LeijenLeijen, Daan Panel Discussion: Careers in Programming Languages
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Programming a Web Server with Algebraic Effects Structured asynchrony with algebraic effects
Jean-Simon LemayLemay, Jean-Simon There is only one notion of differentiation
Rebekah Leslie-HurdLeslie-Hurd, Rebekah Committee Member in Program Committee within the Haskell-track
Stéphane LetzLetz, Stéphane FAUST Tutorial for Functional Programmers Committee Member in Program Committee within the FARM-track
Runhang LiLi, Runhang 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) Extending OCaml's open
Zhanpeng LiangLiang, Zhanpeng University of Southern California Component-based Program Synthesis in OCaml
Daniel R. LicataLicata, Daniel R. Wesleyan UniversityUnited States PLMW Co-Chair in Organizing Committee for ICFP 2017 Session Chair of Dependently Typed Programming (part of ICFP Research Papers) Welcome A Fibrational Framework for Substructural and Modal Logics Committee Member in Organizing Committee within the PLMW-track Committee Member in Program Committee within the ICFP Research Papers-track
Benjamin LichtmanLichtman, Benjamin Arrays and References in Resource Aware ML
Edward LilleyLilley, Edward Demo — Representation of Musical Notation in Haskell
Sam LindleyLindley, Sam University of Edinburgh, UKUnited Kingdom Programming Contest Organiser in Organizing Committee for ICFP 2017 Session Chair of Invited talk (part of ML) Session Chair of Welcome (part of ML) Welcome Continuation Passing Style for Effect Handlers On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control Programming Contest Report 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 LippmeierLippmeier, Ben 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 LitakLitak, Tadeusz Negative Translations and Normal Modality
Andreas LochbihlerLochbihler, Andreas Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3) Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 2)
Rita LoogenLoogen, Rita University of Marburg Committee Member in Program Committee within the FHPC-track
Petr LozovLozov, Petr Sain Petersburg State University, SPbGU Relational conversion for OCaml
Dániel LukácsLukács, Dániel Eötvös Loránd University Structuring Erlang BEAM control flow
Steven LyubomirskyLyubomirsky, Steven University of Washington, USAUnited States SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
Jacques LégaréLégaré, Jacques Packrats Parse in Packs
Andres LöhLöh, Andres Well-Typed LLP Workshops Co-Chair in Organizing Committee for ICFP 2017
M Anil MadhavapeddyMadhavapeddy, Anil OCaml LabsUnited Kingdom Effectively tackling the awkward squad The State of the OCaml Platform: September 2017
José Pedro MagalhãesMagalhães, José Pedro Committee Member in Program Committee within the FARM-track
Assia MahboubiMahboubi, Assia INRIAFrance Committee Member in Program Committee within the TyDe-track
Patrick MaierMaier, Patrick University of Glasgow Committee Member in Program Committee within the FHPC-track
Kenji MaillardMaillard, Kenji Inria Paris, ENS Paris, and Microsoft Research Recalling a Witness
Geoffrey MainlandMainland, Geoffrey Drexel University, USA Session Chair of Parallel Programming (part of FHPC) Panel Discussion: The challenges for Functional High Performance Computing From High-level Radio Protocol Specifications to Efficient Low-level Implementations via Partial Evaluation Ziria Demo: Wringing performance from high-level code Better Living through Operational Semantics: An Optimizing Compiler for Radio Protocols Committee Member in Program Committee within the FHPC-track
Louis MandelMandel, Louis IBM ResearchUnited States Prototyping a Query Compiler using Coq (Experience Report) Committee Member in Program Committee within the OCaml-track
Giulio ManzonettoManzonetto, Giulio Refutation of Sallé's Longstanding Conjecture
Máté MarjaiMarjai, Máté TestingPays Building the largest payment sandbox on a tiny machine
Simon MarlowMarlow, Simon Facebook Haskell in the Datacentre Panel Discussion: The challenges for Functional High Performance Computing
Chris MartensMartens, Chris North Carolina State UniversityUnited States Keynote Compositional creativity: some principles for talking to computers
Ursula MartinMartin, Ursula Modelling the Way Mathematics Is Actually Done
Alain MartyMarty, Alain Lightning: {lambda talk}
Conor McBrideMcBride, Conor A Few Frank Remarks
Jay McCarthyMcCarthy, Jay University of Massachusetts Lowell Committee Member in Program Committee within the Scheme-track
Dylan McDermottMcDermott, Dylan University of Cambridge A monadic solution to the Cartwright-Felleisen-Wadler conjecture
Trevor L. McDonellMcDonell, Trevor L. University of New South Wales, AustraliaAustralia Streaming Irregular Arrays Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
James McKinnaMcKinna, James University of Edinburgh On ringads and foldables
Alex McLeanMcLean, Alex Deutsches Museum Research Institute, MunichUnited Kingdom Session Chair of Performance Evening (part of FARM) Performance Chair in Organizing Committee within the FARM-track
William MeehanMeehan, William Northeastern University, USA No-Brainer CPS Conversion
Simon MeierMeier, Simon Digital Asset Formally Verifying a Smart-Contract Language Implementation with Isabelle
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Chaperone Contracts for Higher-Order Sessions
Romain MichonMichon, Romain FAUST Tutorial for Functional Programmers
Aart MiddeldorpMiddeldorp, Aart Infinite Runs in Abstract Completion
Jan MidtgaardMidtgaard, Jan DTU, Denmark Effect-Driven QuickChecking of Compilers
Matthew MightMight, Matthew University of Utah, USAUnited States Invited Talk A Unified Approach to Solving Seven Programming Problems (Functional Pearl)
Dale MillerMiller, Dale INRIA Saclay and LIXFrance Welcome message
Yaron MinskyMinsky, Yaron Tutorial C1: Online Applications with Incremental (part 3) Tutorial C1: Online Applications with Incremental Tutorial C1: Online Applications with Incremental (part 2)
Victor Cacciari MiraldoMiraldo, Victor Cacciari University of Utrecht Type-directed diffing of structured data
Neil MitchellMitchell, Neil Getting Ready for Hadrian
Joshua MoermanMoerman, Joshua Radboud UniversityNetherlands Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Andrey MokhovMokhov, Andrey Getting Ready for Hadrian Algebraic Graphs with Class (Functional Pearl)
Sebastien MondetMondet, Sebastien Mount Sinai - Hammer Lab Genspio: Generating Shell Phrases In OCaml Bioinformatics, The Typed Tagless Final Way
Stefan MonnierMonnier, Stefan Université de Montréal Typer: an infix statically typed Lisp
Glyn MorrillMorrill, Glyn A polynomial-time algorithm for the Lambek calculus with brackets of bounded order
J. Garrett MorrisMorris, J. Garrett University of Kansas, USAUnited States On Unsatisfiability Constrained Type Families Committee Member in Program Committee within the Haskell-track
Georg MoserMoser, Georg University of Innsbruck Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses
Shin-Cheng MuMu, Shin-Cheng Academia Sinica, Taiwan Type safe Redis queries -- a case study of type-level programming in Haskell
Gihan MudaligeMudalige, Gihan University of Warwick, UKUnited Kingdom Committee Member in Program Committee within the FHPC-track
Takayuki MuranushiMuranushi, Takayuki RIKEN Committee Member in Program Committee within the Haskell-track
Koko MuroyaMuroya, Koko University of Birmingham, UK Towards abductive functional programming
Tom MurphyMurphy, Tom Demo — Vivid: Sound Synthesis with Haskell and SuperCollider
Dave Murray-RustMurray-Rust, Dave Modelling the Way Mathematics Is Actually Done
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology, SwedenSweden Verifying Efficient Function Calls in CakeML Tutorial T1: Writing Verified Programs in CakeML (part 3) Tutorial T1: Writing Verified Programs in CakeML Tutorial T1: Writing Verified Programs in CakeML (part 2)
Stian Veum MøllersenMøllersen, Stian Veum Demo — Ait: A Concatenative Language for Creative Programming
N Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain Welcome Co-chair in Organizing Committee within the HOPE-track
Praveen NarayananNarayanan, Praveen Indiana University, USA Symbolic Conditioning of Arrays in Probabilistic Programs
Ryan R. NewtonNewton, Ryan R. Indiana UniversityUnited States Artifact Evaluation Co-Chair in Organizing Committee for ICFP 2017 Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Phúc C. NguyễnNguyễn, Phúc C. University of Maryland, USA Abstracting Definitional Interpreters Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Flemming NielsonNielson, Flemming DTU, Denmark Effect-Driven QuickChecking of Compilers
Hanne Riis NielsonNielson, Hanne Riis DTU, Denmark Effect-Driven QuickChecking of Compilers
Vivek NigamNigam, Vivek Federal University of Paraiba / fortissGermany Committee Member in Program Committee within the HOPE-track
Henrik NilssonNilsson, Henrik University of Nottingham, UK Session Chair of Session 6: Papers/Demos (part of FARM) Demo — The Arpeggigon: A Functional Reactive Musical Automaton Testing and Debugging Functional Reactive Programming Committee Member in Program Committee within the Haskell-track
Yuki NishidaNishida, Yuki Kyoto University Student Volunteer Co-Captain in Organizing Committee for ICFP 2017
Bartosz NitkaNitka, Bartosz Facebook Session Chair of All Broken Up (part of HIW) Committee Member in Program Committee within the HIW-track
Ulf NorellNorell, Ulf Committee Member in Program Committee within the Haskell-track
Michael NorrishNorrish, Michael Data61 at CSIRO, Australia / Australian National University, AustraliaAustralia Verifying Efficient Function Calls in CakeML Tutorial T1: Writing Verified Programs in CakeML (part 3) Tutorial T1: Writing Verified Programs in CakeML Tutorial T1: Writing Verified Programs in CakeML (part 2)
Andreas NuytsNuyts, Andreas KU Leuven, BelgiumBelgium Parametric Quantifiers for Dependent Type Theory
O Liam O'ConnorO'Connor, Liam University of New South WalesAustralia Committee Member in Program Committee within the TyDe-track
Cosmin OanceaOancea, Cosmin DIKU, University of CopenhagenDenmark Session Chair of Tools (part of FHPC) Session Chair of Demo Session (part of FHPC) Welcome to FHPC'17 Co-chair in Program Committee within the FHPC-track
Atsushi OhoriOhori, Atsushi Tohoku University, Japan Making SML# a general-purpose high-performance language
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong, ChinaHong Kong Quantified Class Constraints
Yann OrlareyOrlarey, Yann FAUST Tutorial for Functional Programmers
Ian OrtonOrton, Ian Models of Type Theory Based on Moore Paths
Nicolas OuryOury, Nicolas Jane Street Committee Member in Program Committee within the TyDe-track
Scott OwensOwens, Scott University of Kent, UKUnited Kingdom Verifying Efficient Function Calls in CakeML Tutorial T1: Writing Verified Programs in CakeML (part 3) Tutorial T1: Writing Verified Programs in CakeML Tutorial T1: Writing Verified Programs in CakeML (part 2) Committee Member in Selection Committee within the ICFP Student Research Competition-track
P Luca PadovaniPadovani, Luca University of Turin, ItalyItaly Chaperone Contracts for Higher-Order Sessions
Zoe ParaskevopoulouParaskevopoulou, Zoe Princeton University, USAUnited States Committee Member in Program Committee within the OCaml-track
Jennifer PaykinPaykin, Jennifer University of PennsylvaniaUnited States The Linearity Monad Committee Member in Program Committee within the TyDe-track
Alison PeasePease, Alison Modelling the Way Mathematics Is Actually Done
Mário PereiraPereira, Mário LRI - Université Paris-Sud VOCAL -- a verified OCAml Library
Roly PereraPerera, Roly University of Edinburgh, UK / University of Glasgow, UKUnited Kingdom Imperative Functional Programs That Explain Their Work
Ivan PerezPerez, Ivan University of Nottingham, UK Session Chair of Session 2: Papers/Demos (part of FARM) GALE: A Functional Graphic Adventure Library and Engine Back to the Future: Time Travel in FRP Haskell games and apps for iOS and Android Testing and Debugging Functional Reactive Programming Committee Member in Program Committee within the FARM-track
Simon Peyton JonesPeyton Jones, Simon Microsoft Research, Cambridge Destination-Passing Style for Efficient Memory Management Native Support for Explicit Stacks in LLVM Progress on GHC
Frank PfenningPfenning, Frank Carnegie Mellon University, USA Manifest Sharing with Session Types
Matthew PickeringPickering, Matthew University of BristolUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Brigitte PientkaPientka, Brigitte McGill University PLMW Co-Chair in Organizing Committee for ICFP 2017 Session Chair of Welcome (part of PLMW) Welcome Relating System F and λ2: A Case Study in Coq, Abella and Beluga Committee Member in Organizing Committee within the PLMW-track
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States A Framework for Adaptive Differential Privacy
Maciej PirógPiróg, Maciej University of WrocławPoland Logical Relations for Algebraic Effects
Paolo PistonePistone, Paolo Dinaturality between syntax and semantics
Andrew M. PittsPitts, Andrew M. University of Cambridge Models of Type Theory Based on Moore Paths
Jeff PolakowPolakow, Jeff A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq
Piotr PolesiukPolesiuk, Piotr Logical Relations for Algebraic Effects
Andrew PolonskyPolonsky, Andrew Refutation of Sallé's Longstanding Conjecture
Miriam PolzerPolzer, Miriam Negative Translations and Normal Modality
Justin PombrioPombrio, Justin Brown University, USAUnited States Inferring Scope through Syntactic Sugar
Andrei PopescuPopescu, Andrei Middlesex University, LondonUnited Kingdom Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3) Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 2)
François PottierPottier, François Inria, FranceFrance Welcome VOCAL -- a verified OCAml Library Visitors Unchained Co-chair in Organizing Committee within the HOPE-track
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University Committee Member in Program Committee within the FHPC-track
Pierre PradicPradic, Pierre A Curry-Howard Approach to Church’s Synthesis
Mindy PrestonPreston, Mindy Testing with Crowbar
Matija PretnarPretnar, Matija University of Ljubljana, SloveniaSlovenia On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control Committee Member in Program Committee within the HOPE-track
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, n.n.United States Verified Low-Level Programming Embedded in F*
Juan Pedro Bolívar PuentePuente, Juan Pedro Bolívar Independent Consultant, Sinusoidal EngineeringGermany Persistence for the Masses: RRB-Vectors in a Systems Language
Raymond PuzioPuzio, Raymond Lightning Talk: Extending the LISP model from cons cells to triples, from trees to hypergraphs Modelling the Way Mathematics Is Actually Done
Q Christian QueinnecQueinnec, Christian Université Pierre et Marie Curie, FranceFrance Committee Member in Program Committee within the Scheme-track
Donya QuickQuick, Donya Stevens Institute of TechnologyUnited States Algorithmic Music in Haskell (Invited Talk) Committee Member in Program Committee within the FARM-track
R Azalea RaadRaad, Azalea Max Planck Institute for Software Systems (MPI-SWS)Germany Committee Member in Program Committee within the HOPE-track
Ulrich RabensteinRabenstein, Ulrich Negative Translations and Normal Modality
Gabriel RadanneRadanne, Gabriel Université Denis Diderot Paris 7, PPSFrance Tierless modules Tyre – Typed Regular Expressions
Mike RaineyRainey, Mike Efficient representation of large, dynamic sequences in ML
Tahina RamananandroRamananandro, Tahina Microsoft Research, n.n.United States Verified Low-Level Programming Embedded in F* Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia Recalling a Witness Verified Low-Level Programming Embedded in F* Committee Member in Program Committee within the HOPE-track
Rachel ReeseReese, Rachel Jet.com Co-chair in Organizing Committee within the CUFP-track
Jakob RehofRehof, Jakob Technical University Dortmund The Complexity of Principal Inhabitation
John ReppyReppy, John University of Chicago ICFP'15 Program Chair in Steering Committee for ICFP 2017
Christophe RhodesRhodes, Christophe Goldsmiths, University of London Committee Member in Program Committee within the FARM-track
Colin RibaRiba, Colin A Curry-Howard Approach to Church’s Synthesis
Wilmer RicciottiRicciotti, Wilmer University of Edinburgh, UKItaly Imperative Functional Programs That Explain Their Work
François-René RideauRideau, François-René Panel: Future of Scheme Committee Member in Program Committee within the Scheme-track
Tom RidgeRidge, Tom University of Leicester, UK A B-tree library for OCaml
Mitchell RileyRiley, Mitchell A Fibrational Framework for Substructural and Modal Logics
Gabriela Rino NesinRino Nesin, Gabriela Modelling the Way Mathematics Is Actually Done
Jared RoeschRoesch, Jared University of Washington, USAUnited States A Metaprogramming Framework for Formal Verification
Wren RomanoRomano, Wren XUnited States Session Chair of Tool Support (part of HIW) Committee Member in Program Committee within the HIW-track
Gregory RosenblattRosenblatt, Gregory n.n., n.n.Canada A Unified Approach to Solving Seven Programming Problems (Functional Pearl)
Andreas RossbergRossberg, Andreas GoogleGermany Panel Discussion: Careers in Programming Languages Committee Member in Program Committee within the ML-track
Aaron RothRoth, Aaron University of Pennsylvania, USA A Framework for Adaptive Differential Privacy
Reuben N. S. RoweRowe, Reuben N. S. University of Kent ROTOR: First Steps Towards a Refactoring Tool for OCaml
Albert RubioRubio, Albert Termination and Complexity Competition 2017
Colin RuncimanRunciman, Colin Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results
Sukyoung RyuRyu, Sukyoung KAISTKorea, South Committee Member in Program Committee within the ML-track
Didier RémyRémy, Didier INRIA Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (Invited Talk)
S Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) The Shared-Memory Interferences of Erlang/OTP Built-ins
Mark SantolucitoSantolucito, Mark Publicity Chair in Organizing Committee within the FARM-track
Philip SavilleSaville, Philip List Objects with Algebraic Structure
Andre ScedrovScedrov, Andre A polynomial-time algorithm for the Lambek calculus with brackets of bounded order
Gabriel SchererScherer, Gabriel Northeastern UniversityUnited States Session Chair of Foundations of Higher-Order Programming (part of ICFP Research Papers) Not How To Do Your PhD Opening 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 SchonwaldSchonwald, Carter Why GHC Core and Linear Logic Should be Best Friends
Tom SchrijversSchrijvers, Tom KU Leuven Elaboration on Functional Dependencies Quantified Class Constraints
Philipp SchusterSchuster, Philipp University of Tübingen An Experiment in Fragment-Based Code Distribution
Christopher SchwaabSchwaab, Christopher University of St Andrews Type-directed reasoning for probabilistic, non-compositional resources
Michael ScottScott, Michael University of Rochester Improving STM Performance with Transactional Structs
Ryan ScottScott, Ryan Indiana UniversityUnited States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Taro SekiyamaSekiyama, Taro IBM Research, Japan On Polymorphic Gradual Typing
Ilya SergeySergey, Ilya University College LondonUnited Kingdom Student Research Competition Chair in Organizing Committee for ICFP 2017 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 Awards Student Research Competition Chair in Selection Committee within the ICFP Student Research Competition-track
Alejandro SerranoSerrano, Alejandro Utrecht UniversityNetherlands Committee Member in Program Committee within the HIW-track
Paula SeveriSeveri, Paula University of Leicester Committee Member in Program Committee within the TyDe-track
Amir ShaikhhaShaikhha, Amir EPFL, Switzerland Destination-Passing Style for Efficient Memory Management
Chung-chieh ShanShan, Chung-chieh Indiana University, USA Symbolic Conditioning of Arrays in Probabilistic Programs
Siddhanathan ShanmugamShanmugam, Siddhanathan Drexel University, USA From High-level Radio Protocol Specifications to Efficient Low-level Implementations via Partial Evaluation Ziria Demo: Wringing performance from high-level code
Mary SheeranSheeran, Mary Hardware Software Co-Design in Haskell Committee Member in Program Committee within the FHPC-track
Benjamin ShermanSherman, Benjamin Massachusetts Institute of Technology, USAUnited States Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification
Avraham ShinnarShinnar, Avraham IBM Research Prototyping a Query Compiler using Coq (Experience Report)
Mark ShinwellShinwell, Mark Jbuilder: a modern approach to OCaml development
Evgeniy ShishkinShishkin, Evgeniy JSC "InfoTeCS"Russia Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm
Olin ShiversShivers, Olin Northeastern University, USA No-Brainer CPS Conversion Committee Member in Steering Committee within the Scheme-track
Michael ShulmanShulman, Michael A Fibrational Framework for Substructural and Modal Logics
Filip SieczkowskiSieczkowski, Filip University of WrocławPoland Logical Relations for Algebraic Effects Committee Member in Program Committee within the HOPE-track
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Theorems for Free for Free: Parametricity, With and Without Types
Alexandra SilvaSilva, Alexandra University College LondonUnited Kingdom Session Chair of Applications (part of ICFP Research Papers) Brzozowski Goes Concurrent -- A Kleene Theorem for Pomset Languages Committee Member in Program Committee within the ICFP Research Papers-track
Jerome SimeonSimeon, Jerome IBM ResearchUnited States Prototyping a Query Compiler using Coq (Experience Report)
KC SivaramakrishnanSivaramakrishnan, KC University of CambridgeUnited Kingdom Mergeable types Effectively tackling the awkward squad A memory model for multicore OCaml Tutorial C3: Concurrent Programming with Effect Handlers Tutorial C3: Concurrent Programming with Effect Handlers (part 2) Tutorial C3: Concurrent Programming with Effect Handlers (part 3) Continuation Passing Style for Effect Handlers
Nicholas SmallboneSmallbone, Nicholas QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration)
Chris SmithSmith, Chris Google, USA Lock-Step Simulation Is Child's Play (Experience Report)
Garrett SmithSmith, Garrett CloudBees Committee Member in Program Committee within the CUFP-track
Gert SmolkaSmolka, Gert Saarland University Relating System F and λ2: A Case Study in Coq, Abella and Beluga
Alaric Snell-PymSnell-Pym, Alaric United Kingdom Report: Status of the ongoing R7RS standardization process Panel: Future of Scheme
Mallku SoldevilaSoldevila, Mallku FAMAF, UNC / CONICETArgentina Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Marco SolieriSolieri, Marco University of BathUnited Kingdom Is the optimal implementation inefficient? Elementarily not
Andrew SorensenSorensen, Andrew Australian National University Committee Member in Program Committee within the FARM-track
Antal Spector-ZabuskySpector-Zabusky, Antal Ode on a Random Urn (Functional Pearl)
Michael SperberSperber, Michael Active Group GmbHGermany Member at large in Steering Committee for ICFP 2017 Session Chair of Session 3: Paper (part of FARM) Welcome Tutorial C5: Teaching Functional Programming (part 2) Tutorial C5: Teaching Functional Programming Tutorial C5: Teaching Functional Programming (part 3) General Chair in Program Committee within the FARM-track General Chair in Organizing Committee within the FARM-track
Mike SpiveySpivey, Mike University of Oxford, UKUnited Kingdom Faster Coroutine Pipelines
Vincent St-AmourSt-Amour, Vincent Northwestern University, USAUnited States Herbarium Racketensis: A Stroll through the Woods (Functional Pearl)
Jacob StanleyStanley, Jacob AmbiataAustralia Gens N' Roses: Appetite for Reduction Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Sam StatonStaton, Sam University of Oxford Panel Discussion: Careers in Programming Languages Welcome message
Florian SteinbergSteinberg, Florian Polynomial running times for polynomial-time oracle machines
Christian SternagelSternagel, Christian Infinite Runs in Abstract Completion
Michel SteuwerSteuwer, Michel The University of EdinburghUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Bodil StokkeStokke, Bodil Church of EmacsUnited Kingdom Keynote: Are We There Yet?
Jan StolarekStolarek, Jan University of Edinburgh, UKPoland Session Chair of Compiling to LLVM (part of HIW) Imperative Functional Programs That Explain Their Work Committee Member in Program Committee within the HIW-track
Alley StoughtonStoughton, Alley Boston UniversityUnited States Committee Member in Program Committee within the ML-track
Lutz StrassburgerStrassburger, Lutz Combinatorial Flows and their Normalisation
Pierre-Yves StrubStrub, Pierre-Yves École Polytechnique, n.n.France A Relational Logic for Higher-Order Programs
Danielle SucherSucher, Danielle Jane Street Committee Member in Program Committee within the CUFP-track
Eijiro SumiiSumii, Eijiro Tohoku University ICFP'16 Program Chair in Steering Committee for ICFP 2017
Martin SumnerSumner, Martin Keynote
Ryota SuzukiSuzuki, Ryota Streett Automata Model Checking of Higher-Order Recursion Schemes
Yukitoshi SuzukiSuzuki, Yukitoshi Committee Member in Program Committee within the CUFP-track
Bo Joel SvenssonSvensson, Bo Joel Chalmers University of Technology, SwedenSweden Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Nikhil SwamySwamy, Nikhil Microsoft Research, n.n.United States Session Chair of Tools for Verification (part of ICFP Research Papers) Recalling a Witness Verified Low-Level Programming Embedded in F* Committee Member in Program Committee within the ICFP Research Papers-track
Wouter SwierstraSwierstra, Wouter University of UtrechtNetherlands Member at large in Steering Committee for ICFP 2017 Generic packet descriptions: verified parsing and pretty printing of low-level data Type-directed diffing of structured data
Dmitrij SzamozvancevSzamozvancev, Dmitrij Well-Typed Music Does Not Sound Wrong (Experience Report)
T Yong Kiam TanTan, Yong Kiam Carnegie Mellon University, USA Verifying Efficient Function Calls in CakeML
Christine TassonTasson, Christine Quantitative semantics for probabilistic programming
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
Kenjiro TauraTaura, Kenjiro The University of Tokyo Making SML# a general-purpose high-performance language
Peter ThiemannThiemann, Peter University of Freiburg, Germany SIGPLAN Vice Chair in Steering Committee for ICFP 2017 Session Chair of Monday Closing Events (part of ICFP Keynotes and Reports) Gradual Session Types
Simon ThompsonThompson, Simon ROTOR: First Steps Towards a Refactoring Tool for OCaml
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Session Chair of Low-level and Systems Programming (part of ICFP Research Papers) Keynote Committee Member in Program Committee within the ICFP Research Papers-track
Emina TorlakTorlak, Emina University of Washington, USAUnited States SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
Yoshihito ToyamaToyama, Yoshihito Improving Rewriting Induction Approach for Proving Ground Confluence
Dmitriy TraytelTraytel, Dmitriy ETH ZurichSwitzerland Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3) Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 2)
Phil TrinderTrinder, Phil University of Glasgow Session Chair of Demo and Panel (part of FHPC) Session Chair of Compilation (part of FHPC) Welcome to FHPC'17 Co-chair in Program Committee within the FHPC-track
Ryan TrinkleTrinkle, Ryan Obsidian Systems LLCUnited States Industrial Relations Chair in Organizing Committee for ICFP 2017
Charlotte TruchetTruchet, Charlotte LINA, UMR 6241, Université de Nantes Committee Member in Program Committee within the FARM-track
Takeshi TsukadaTsukada, Takeshi University of Tokyo, Japan Streett Automata Model Checking of Higher-Order Recursion Schemes
Kanae TsushimaTsushima, Kanae Component-based Program Synthesis in OCaml
Melinda TóthTóth, Melinda Towards Change-driven Testing Structuring Erlang BEAM control flow
U Katsuhiro UenoUeno, Katsuhiro Tohoku UniversityJapan Making SML# a general-purpose high-performance language
Sebastian UllrichUllrich, Sebastian KIT, GermanyGermany A Metaprogramming Framework for Formal Verification
Tarmo UustaluUustalu, Tarmo Tallinn University of Technology, Estonia Committee Member in Program Committee within the TyDe-track
V Jasper Van der JeugtVan der Jeugt, Jasper FugueSwitzerland Committee Member in Program Committee within the CUFP-track
Marcell van Geestvan Geest, Marcell Utrecht University Generic packet descriptions: verified parsing and pretty printing of low-level data
David Van HornVan Horn, David University of Maryland, USA Abstracting Definitional Interpreters
Vasco T. VasconcelosVasconcelos, Vasco T. University of Lisbon, Portugal Gradual Session Types
Niki VazouVazou, Niki University of Maryland A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq Committee Member in Program Committee within the ML-track Committee Member in Program Committee within the HOPE-track
Andrea VezzosiVezzosi, Andrea Chalmers University of Technology, Sweden Parametric Quantifiers for Dependent Type Theory Normalization by Evaluation for Sized Dependent Types
Pierre VialVial, Pierre Types as Resources for Classical Natural Deduction
Muralidaran VijayaraghavanVijayaraghavan, Muralidaran Massachusetts Institute of Technology, USA Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification
Antoine VoizardVoizard, Antoine University of Pennsylvania, USA A Specification for Dependent Types in Haskell
Michael VollmerVollmer, Michael Indiana UniversityUnited States Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Jérôme VouillonVouillon, Jérôme Univ Paris Diderot, Sorbonne Paris Cité, BeSport Tierless modules
Dimitrios VytiniotisVytiniotis, Dimitrios Microsoft Research, Cambridge Destination-Passing Style for Efficient Memory Management
Dimitris VyzovitisVyzovitis, Dimitris Lightning: Gerbil on Gambit, as they say Racket on Chez
W Philip WadlerWadler, Philip University of Edinburgh, UKUnited Kingdom Quantified Class Constraints Theorems for Free for Free: Parametricity, With and Without Types Gradual Session Types
Johannes WaldmannWaldmann, Johannes Termination and Complexity Competition 2017
Mitchell WandWand, Mitchell Northeastern University, USA Inferring Scope through Syntactic Sugar
Liang WangWang, Liang University of Cambridge Owl: A General-Purpose Numerical Library in OCaml Tutorial C7: Owl - Data Science in OCaml Tutorial C7: Owl - Data Science in OCaml (part 3) Tutorial C7: Owl - Data Science in OCaml (part 2)
Peng WangWang, Peng Massachusetts Institute of Technology, USA Verified Low-Level Programming Embedded in F*
Lucas WayeWaye, Lucas Harvard University, USA Whip: Higher-Order Contracts for Modern Services
Stephanie WeirichWeirich, Stephanie University of Pennsylvania, USAUnited States A Specification for Dependent Types in Haskell
Konstantin WeitzWeitz, Konstantin University of Washington, USAUnited States SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
Leo WhiteWhite, Leo Jane Street Effectively tackling the awkward squad
John WhitingtonWhitington, John ocamli: Interpreted OCaml
John WiegleyWiegley, John Using Coq to Write Fast and Correct Haskell
Andy WingoWingo, Andy Igalia, S.L. Panel: Future of Scheme
Sarah WinklerWinkler, Sarah Infinite Runs in Abstract Completion
Daniel Winograd-CortWinograd-Cort, Daniel University of Pennsylvania, USA A Framework for Adaptive Differential Privacy
Glynn WinskelWinskel, Glynn Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or
Théo WinterhalterWinterhalter, Théo ENS Paris-Saclay, France Normalization by Evaluation for Sized Dependent Types
Nicolas WuWu, Nicolas University of BristolUnited Kingdom Committee Member in Program Committee within the ICFP Research Papers-track
Y Jeremy YallopYallop, Jeremy University of Cambridge, UK First-class subtypes Extending OCaml's open Staged Generic Programming Committee Member in Program Committee within the TyDe-track
Akihisa YamadaYamada, Akihisa Termination and Complexity Competition 2017
Ryan YatesYates, Ryan Improving STM Performance with Transactional Structs
Brent YorgeyYorgey, Brent Hendrix CollegeUnited States Welcome Co-chair in Organizing Committee within the TyDe-track Co-chair in Program Committee within the TyDe-track
Nobuaki YoshidaYoshida, Nobuaki ASTEM RI/KYOTO Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang
Shu-Hung YouYou, Shu-Hung Northwestern University, USATaiwan Herbarium Racketensis: A Stroll through the Woods (Functional Pearl)
Halley YoungYoung, Halley A Categorial Grammar for Music and Its Use in Automatic Melody Generation
Z Timothy A. K. ZakianZakian, Timothy A. K. Oxford University, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ICFP Research Artifacts-track
Jakub ZalewskiZalewski, Jakub Student Volunteer Co-Captain in Organizing Committee for ICFP 2017
Santiago Zanella-BéguelinZanella-Béguelin, Santiago Microsoft Research, n.n. Verified Low-Level Programming Embedded in F*
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States The Linearity Monad
Noam ZeilbergerZeilberger, Noam University of Birmingham, UK A sequent calculus for semi-associativity
Zhen ZhangZhang, Zhen University of Washington Getting Ready for Hadrian
Klara ZielińskaZielińska, Klara Generalized Refocusing: from Hybrid Strategies to Abstract Machines
Beta ZilianiZiliani, Beta FAMAF, UNC and CONICETArgentina Committee Member in Program Committee within the ICFP Research Papers-track
Alan ZimmermanZimmerman, Alan South Africa IDE Support in GHC
Jean-Karim ZinzindohouéZinzindohoué, Jean-Karim Inria, France Verified Low-Level Programming Embedded in F*

ICFP 2017 Contributors

Results (545)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia