ICFP 2016 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (463)

A Martin AbadiAbadi, Martin Google TensorFlow: Learning Functions at Scale
Hjalte AbelskovAbelskov, Hjalte DIKU, University of Copenhagen APL on GPUs: A TAIL from the Past, Scribbled in Futhark
Umut A. AcarAcar, Umut A. Carnegie Mellon University Hierarchical Memory Management for Parallel Programs Dag-Calculus: A Calculus for Parallel Computation
Michael D. AdamsAdams, Michael D. University of Utah, USA Allocation Characterizes Polyvariance: A Unified Methodology for Polyvariant Control-Flow Analysis
Marten AgrenAgren, Marten Experience Report: Types for a Relational Algebra Library
Amal AhmedAhmed, Amal Northeastern University Session Chair of 1 (part of PLMW) Session Chair of 2 (part of PLMW) Fully Abstract Compilation via Universal Embedding Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Organizers within the PLMW-track
Deepthi Devaki AkkoorathAkkoorath, Deepthi Devaki Observing the consistency of distributed systems
Baris AktemurAktemur, Baris Ozyegin University Committee Member in Program Committee within the FHPC-track
Marco AldinucciAldinucci, Marco University of Torino Committee Member in Program Committee within the FHPC-track
Jamie AllenAllen, Jamie Lightbend Committee Member in Program Committee within the Erlang-track
João AlpuimAlpuim, João University of Hong Kong, China Disjoint Intersection Types
Claire AlvisAlvis, Claire SparkFund Committee Member in Program Committee within the Scheme-track
Sidney AmaniAmani, Sidney UNSW, Australia Refinement through Restraint: Bringing Down the Cost of Verification
Nada AminAmin, Nada EPFLSwitzerland Effects as Capabilities Committee Member in Program Committee within the ML-track
Abhishek AnandAnand, Abhishek Extracting from F* to C: a progress report
Moritz AngermannAngermann, Moritz More powerful GHC Plugins
Gerardo Aragon-CamarasaAragon-Camarasa, Gerardo Towards Reliable and Scalable Robot Communication
Simon ArchipoffArchipoff, Simon CNRS LaBRI, Inria Bordeaux, Structured reactive programming with polymorphic temporal tiles
Zena M. AriolaAriola, Zena M. University of Oregon, USA Administrative normal form, continued: Sharing control in direct style Sequent Calculus as a Compiler Intermediate Language
Michael ArntzeniusArntzenius, Michael University of Birmingham, UK Datafun: A Functional Datalog
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Session Chair of Invited Talk (part of ML) Session Chair of Future (part of ML) Principle and Practice of OCaml Type Debugger Committee Member in Speakers within the PLMW-track Committee Member in Program Committee within the OCaml-track Committee Member in Steering Committee within the ML-track Chair in Program Committee within the ML-track
Robert AtkeyAtkey, Robert University of Strathclyde Committee Member in Program Committee within the HOPE-track
Lennart AugustssonAugustsson, Lennart Experience Report: Types for a Relational Algebra Library
B Florent BalestrieriBalestrieri, Florent Generic Programming in OCaml
Anindya BanerjeeBanerjee, Anindya IMDEA Software Institute Concurrent Data Structures Linked in Time
Adam BarwellBarwell, Adam Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang
Renick BellBell, Renick Session Chair of Performance Evening (part of FARM) FARM 2016 Performance Evening Performance Chair in Program Committee within the FARM-track Performance Chair in Organizing Committee within the FARM-track
Nick BentonBenton, Nick Microsoft Research, Cambridge Committee Member in Program Committee within the HOPE-track
Josh BerdineBerdine, Josh Facebook Committee Member in Program Committee within the HOPE-track
Lars BergstromBergstrom, Lars Mozilla Research Committee Member in External Review Committee within the ICFP Research Papers-track
Jost BertholdBerthold, Jost Commonwealth Bank, Australia Session Chair of Code Generation (part of FHPC) Committee Member in Program Committee within the FHPC-track
Karthikeyan BhargavanBhargavan, Karthikeyan INRIA Extracting from F* to C: a progress report
Annette BieniusaBieniusa, Annette Technischen Universität Kaiserslautern Observing the consistency of distributed systems
Walter BinderBinder, Walter University of Lugano Profiling Actor Utilization and Communication in Akka
Lars BirkedalBirkedal, Lars Aarhus University, DenmarkDenmark A Logical Account of a Type-and-Effect System Opening remarks Higher-Order Ghost State Co-chair in Program Committee within the HOPE-track Committee Member in External Review Committee within the ICFP Research Papers-track
Sandrine BlazyBlazy, Sandrine University of Rennes 1, FranceFrance An Abstract Memory Functor for Verified C Static Analyzers
Guy BlellochBlelloch, Guy Carnegie Mellon University, USA Hierarchical Memory Management for Parallel Programs
Matthias BlumeBlume, Matthias Google Committee Member in External Review Committee within the ICFP Research Papers-track
Johannes BorgströmBorgström, Johannes Uppsala University, SwedenSweden A Lambda-Calculus Foundation for Universal Probabilistic Programming
Dmitri BoulytchevBoulytchev, Dmitri Typed Embedding of Relational Language in OCaml
Frédéric BourBour, Frédéric Inuit library: from printf to interactive user-interfaces
Timothy BourkeBourke, Timothy INRIAFrance Sundials/ML: interfacing with numerical solvers
William J. BowmanBowman, William J. Northeastern UniversityUnited States Growing a Proof Assistant Fully Abstract Compilation via Universal Embedding
Çagdas BozmanBozman, Çagdas Learn OCaml: An Online Learning Center for OCaml ocp-lint, A Plugin-based Style-Checker with Semantic Patches
Jan BrackerBracker, Jan Supermonads: One Notion to Bind Them All
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Elaborator Reflection: Extending Idris in Idris
Rudy BraquehaisBraquehais, Rudy FitSpec: Refining Property Sets for Functional Testing
Joachim BreitnerBreitner, Joachim Karlsruhe Institute of TechnologyGermany Committee Member in Program Committee within the HIW-track
Jean BressonBresson, Jean UMR STMS: IRCAM-CNRS-UPMC o.OM: Structured-Functional Communication between Computer Music Systems using OSC and Odot
Flavien BreuvartBreuvart, Flavien Inria, France Combining Effects and Coeffects via Grading
Christopher BrownBrown, Christopher Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang
Pablo BuirasBuiras, Pablo Chalmers University of Technology QuickFuzz: An Automatic Random Fuzzer for Common File Formats The Key Monad: Type-Safe Unconstrained Dynamic Typing
William E. ByrdByrd, William E. University of UtahUnited States miniAdapton: A Minimal Implementation of Incremental Computation in Scheme Committee Member in Steering Committee within the Scheme-track
Manuel BärenzBärenz, Manuel Functional Reactive Programming, Refactored
C Romain CalascibettaCalascibetta, Romain France Who's got your Mail? Mr. Mime!
Jose CalderonCalderon, Jose Galois Video Co-Chair in Organizing Committee for ICFP 2016
Benjamin CanouCanou, Benjamin Learn OCaml: An Online Learning Center for OCaml
Daniel CarballaCarballa, Daniel Automatic generation of UML sequence diagrams from test counterexamples
Jacques CaretteCarette, Jacques McMaster UniversityCanada Trees That Grow Committee Member in Program Committee within the ML-track
Giuseppe CastagnaCastagna, Giuseppe Paris Diderot University & CNRSItaly Set-Theoretic Types for Polymorphic Variants
Laura M. CastroCastro, Laura M. University of A CoruñaSpain Automatic generation of UML sequence diagrams from test counterexamples Making everybody comfortable with Erlang: a SCADA system for thermal control Committee Member in Program Committee within the Erlang-track
David Castro-PerezCastro-Perez, David University of St. Andrews, UK Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms
Andrew CaveCave, Andrew McGill University, Canada Indexed Codata Types
Martín CeresaCeresa, Martín QuickFuzz: An Automatic Random Fuzzer for Common File Formats
Francesco CesariniCesarini, Francesco CRDTs for the Configuration of Distributed Erlang Systems
Manuel ChakravartyChakravarty, Manuel University of New South Wales ICFP'14 Program Chair in Steering Committee for ICFP 2016
Pierre ChambartChambart, Pierre OCamlPRO Partial evaluation and metaprogramming Semantics of the Lambda intermediate language
James ChapmanChapman, James University of Strathclyde Co-chair in Program Committee within the TyDe-track Co-chair in Organizing Committee within the TyDe-track
Arthur CharguéraudCharguéraud, Arthur Inria, FranceFrance Dag-Calculus: A Calculus for Parallel Computation Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the ML-track
Satvik ChauhanChauhan, Satvik How to Twist Pointers without Breaking Them
Natalia ChechinaChechina, Natalia University of Glasgow Towards Reliable and Scalable Robot Communication A Scalable Reliable Instant Messenger using the SD Erlang Libraries Committee Member in Program Committee within the Erlang-track
Lydia Y. ChenChen, Lydia Y. IBM Research Lab Zurich Profiling Actor Utilization and Communication in Akka
Yan ChenChen, Yan Google Committee Member in Program Committee within the ML-track
Zilin ChenChen, Zilin UNSW, Australia Refinement through Restraint: Bringing Down the Cost of Verification
James CheneyCheney, James University of EdinburghUnited States Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the Haskell-track
Yu-Hsi ChiangChiang, Yu-Hsi National Taiwan University, Taiwan Queueing and Glueing for Optimal Partitioning (Functional Pearl)
Kenneth ChiuChiu, Kenneth Lazy Graph Processing in Haskell
Adam ChlipalaChlipala, Adam MITUnited States Committee Member in External Review Committee within the ICFP Research Papers-track
David Thrane ChristiansenChristiansen, David Thrane Indiana University, USAUnited States Elaborator Reflection: Extending Idris in Idris Committee Member in Program Committee within the TyDe-track
Jan ChristiansenChristiansen, Jan Flensburg University of Applied Sciences, Germany All Sorts of Permutations (Functional Pearl)
Matteo CiminiCimini, Matteo Indiana University, USA Ghostbuster: A Tool for Simplifying and Converting GADTs
Koen ClaessenClaessen, Koen Chalmers University of Technology Using Fusion to Enable Late Design Decisions for Pipelined Computations The Key Monad: Type-Safe Unconstrained Dynamic Typing Committee Member in Program Committee within the ICFP Research Papers-track
James ClarkeClarke, James Classes for the Masses
Will ClingerClinger, Will Northeastern University Committee Member in Steering Committee within the Scheme-track
Jesper CockxCockx, Jesper iMinds, BelgiumBelgium Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data
Onofre Coll RuizColl Ruiz, Onofre Kochi University of Technology s6raph: Vertex-Centric Graph Processing Framework with Functional Interface
Ludovic CourtèsCourtès, Ludovic INRIA GNU Guix: The Functional GNU/Linux Distro That’s a Scheme Library Guix: Scheme as a uniform OS admin and deployment interface
Duncan CouttsCoutts, Duncan Well-Typed Committee Member in Program Committee within the HIW-track
D Pierre-Evariste DagandDagand, Pierre-Evariste UPMC, France Partial Type Equivalences for Verified Dependent Interoperability Committee Member in Program Committee within the TyDe-track
Ugo Dal LagoDal Lago, Ugo University of Bologna, France A Lambda-Calculus Foundation for Universal Probabilistic Programming
Nikita DanilenkoDanilenko, Nikita University of Kiel, Germany All Sorts of Permutations (Functional Pearl)
David DaraisDarais, David University of Maryland, USAUnited States Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory
Kei DavisDavis, Kei Los Alamos National Laboratory Committee Member in Program Committee within the FHPC-track
Enguerrand DecorneDecorne, Enguerrand OCaml inside: a drop-in replacement for libtls
Germán Andrés DelbiancoDelbianco, Germán Andrés IMDEA Software InstituteSpain Concurrent Data Structures Linked in Time
Dominique DevrieseDevriese, Dominique iMinds, BelgiumBelgium Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data Committee Member in Program Committee within the HOPE-track Committee Member in External Review Committee within the ICFP Research Papers-track
Philip DexterDexter, Philip Lazy Graph Processing in Haskell
Iavor DiatchkiDiatchki, Iavor Galois, Inc. Video Chair in Organizing Committee for ICFP 2016 Session Chair of Web Technology (part of Haskell) Committee Member in Program Committee within the Haskell-track
Larry DiehlDiehl, Larry Generic Lookup and Update for Infinitary Inductive-Recursive Types
Christos DimoulasDimoulas, Christos Harvard University Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl)
Stephen DolanDolan, Stephen Malfunctional Programming
Damien DoligezDoligez, Damien Invited Talk
Paul DownenDownen, Paul University of Oregon, USA Administrative normal form, continued: Sharing control in direct style Sequent Calculus as a Compiler Intermediate Language
Derek DreyerDreyer, Derek MPI-SWS, Germany How to Write Papers So People Can Read Them Higher-Order Ghost State Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Speakers within the PLMW-track
David DukeDuke, David University of Leeds Session Chair of DIscussion (part of FHPC) Session Chair of Types (part of Haskell) Committee Member in Program Committee within the Haskell-track Co-chair in Organizing Committee within the FHPC-track Co-chair in Program Committee within the FHPC-track
Jana DunfieldDunfield, Jana University of British Columbia, Canada Committee Member in Program Committee within the ICFP Research Papers-track
Martin DybdalDybdal, Martin APL on GPUs: A TAIL from the Past, Scribbled in Futhark Low-Level Functional GPU Programming for Parallel Algorithms
R. Kent DybvigDybvig, R. Kent Cisco Systems, Inc Committee Member in External Review Committee within the ICFP Research Papers-track
Sandra DylusDylus, Sandra University of Kiel, GermanyGermany All Sorts of Permutations (Functional Pearl)
E Richard A. EisenbergEisenberg, Richard A. Bryn Mawr CollegeUnited States Session Chair of Strictness and STM (part of Haskell) A Dependent Haskell Triptych Pattern Synonyms Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the TyDe-track
Anton EkbladEkblad, Anton High-Performance Client-Side Web Applications through Haskell EDSLs
Spiridon EliopoulosEliopoulos, Spiridon Improving the OCaml Web Stack: Motivations and Progress
Martin ElsmanElsman, Martin Department of Computer Science, University of CopenhagenDenmark APL on GPUs: A TAIL from the Past, Scribbled in Futhark Low-Level Functional GPU Programming for Parallel Algorithms
Kento EmotoEmoto, Kento Kyushu Institute of Technology, Japan Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing Committee Member in Program Committee within the FHPC-track
F Kavon FarvardinFarvardin, Kavon University of ChicagoUnited States Compiling with Continuations and LLVM
Marc FeeleyFeeley, Marc Université de Montréal Committee Member in Steering Committee within the Scheme-track
Matthias FelleisenFelleisen, Matthias Northeastern University Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl)
J. Daniel FernandezFernandez, J. Daniel Making everybody comfortable with Erlang: a SCADA system for thermal control
Rebecca FiebrinkFiebrink, Rebecca Goldsmiths University of London Committee Member in Program Committee within the FARM-track
Andrzej FilinskiFilinski, Andrzej DIKU, University of Copenhagen Streaming Nested Data Parallelism on Multicores
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States ICFP'18 General Chair in Steering Committee for ICFP 2016 Session Chair of Session 5 (part of ICFP Research Papers) Session Chair of 3 (part of PLMW) Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl) Committee Member in Organizers within the PLMW-track
Sebastian FischerFischer, Sebastian Freelance Committee Member in External Review Committee within the ICFP Research Papers-track
Dakota FisherFisher, Dakota miniAdapton: A Minimal Implementation of Incremental Computation in Scheme
Kathleen FisherFisher, Kathleen Tufts UniversityUnited States ICFP'15 General Chair in Steering Committee for ICFP 2016 Session Chair of Session 2 (part of ICFP Research Papers) Welcome to ICFP! Autobahn: Using Genetic Algorithms to Infer Strictness Annotations Committee Member in Speakers within the PLMW-track
Matthew FlattFlatt, Matthew University of UtahUnited States ICFP'18 Program Chair in Steering Committee for ICFP 2016 Committee Member in External Review Committee within the ICFP Research Papers-track
Matthew FluetFluet, Matthew Rochester Institute of TechnologyUnited States Revisiting Software Transactional Memory in Haskell Committee Member in Program Committee within the ICFP Research Papers-track
Kenneth FonerFoner, Kenneth Choose Your Own Derivative
Chris FordFord, Chris ThoughtWorks (UK) Ltd. Call for Collaboration: Computational Musicology, ????, Profit Demo: Klangmeister
Nate FosterFoster, Nate Cornell University Committee Member in Program Committee within the ICFP Research Papers-track
Cédric FournetFournet, Cédric Microsoft Research Extracting from F* to C: a progress report
Anthony FoxFox, Anthony University of Cambridge, UK A New Verified Compiler Backend for CakeML
Adrian FreedFreed, Adrian CNMAT - UC Berkeley o.OM: Structured-Functional Communication between Computer Music Systems using OSC and Odot
Daniel FriedmanFriedman, Daniel Indiana UniversityUnited States Deriving Pure, Functional One-Pass Operations for Processing Tail-Aligned Lists 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 Co-chair in Program Committee within the Erlang-track
Yosuke FukudaFukuda, Yosuke Kyoto University Student Volunteer Co-Chair in Organizing Committee for ICFP 2016
Viktória FördősFördős, Viktória Erlang Solutions Ltd. CRDTs for the Configuration of Distributed Erlang Systems Observing the consistency of distributed systems Committee Member in Program Committee within the Erlang-track
G Marco GaboardiGaboardi, Marco SUNY Buffalo, USAItaly Combining Effects and Coeffects via Grading
Ben GamariGamari, Ben Well-Typed LLP Contributing to GHC Pita: Tools for making GHC fast again
Alfonso Garcia-CaroGarcia-Caro, Alfonso Spain T5: Fable, an F# to JavaScript compiler
Deepak GargGarg, Deepak MPI-SWS, GermanyGermany A Type Theory for Incremental Computational Complexity with Control Flow Changes
Jacques GarrigueGarrigue, Jacques Nagoya University General Co-Chair in Organizing Committee for ICFP 2016
Jacques GarrigueGarrigue, Jacques Nagoya University ICFP'16 General Chair in Steering Committee for ICFP 2016
Jacques GarrigueGarrigue, Jacques Nagoya University Session Chair of Keynote 3 (part of ICFP Keynote Talks) Committee Member in Steering Committee within the ML-track
Daniel GavinGavin, Daniel DIKU, University of Copenhagen APL on GPUs: A TAIL from the Past, Scribbled in Futhark
Pierre GenevesGeneves, Pierre CNRSFrance Committee Member in External Review Committee within the ICFP Research Papers-track
Louis GesbertGesbert, Louis OCamlPro The State of the OCaml Platform: September 2016 Conex -- establishing trust into data repositories
Dan GhicaGhica, Dan University of Birmingham Committee Member in Program Committee within the HOPE-track
Jeremy GibbonsGibbons, Jeremy University of Oxford, UK ICFP'17 General Chair in Steering Committee for ICFP 2016 Session Chair of Session 12 (part of ICFP Research Papers) APLicative Programming with Naperian Functors Free Delivery (Functional Pearl) Committee Member in External Review Committee within the ICFP Research Papers-track
Andy GillGill, Andy University of Kansas Committee Member in Program Committee within the Haskell-track
Thomas GilrayGilray, Thomas University of Utah, USA Allocation Characterizes Polyvariance: A Unified Methodology for Polyvariant Control-Flow Analysis
Román GonzálezGonzález, Román Committee Member in Program within the ICFP Tutorials-track
Andrew D. GordonGordon, Andrew D. Microsoft Research, UKUnited Kingdom A Lambda-Calculus Foundation for Universal Probabilistic Programming
Kathy GrayGray, Kathy University of Cambridge Program Chair in Program Committee within the Scheme-track
Gustavo GriecoGrieco, Gustavo QuickFuzz: An Automatic Random Fuzzer for Common File Formats
Dan GrossmanGrossman, Dan University of Washington, USA Committee Member in Program Committee within the ICFP Research Papers-track
Sean GroveGrove, Sean Baby steps to unikernels in production
Sam GuyerGuyer, Sam Juniper: A Functional Reactive Programming Language for the Arduino Demo: Juniper: A Functional Reactive Programming Language for the Arduino
H Jurriaan HageHage, Jurriaan Utrecht UniversityNetherlands Committee Member in Program Committee within the ICFP Research Papers-track
Matthew HammerHammer, Matthew University of Colorado, BoulderUnited States miniAdapton: A Minimal Implementation of Incremental Computation in Scheme
Kevin HammondHammond, Kevin University of St. Andrews, UK Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms
Yosuke HaraHara, Yosuke Rakuten, Inc. Committee Member in Program Committee within the Erlang-track
Caleb HelblingHelbling, Caleb Tufts University Juniper: A Functional Reactive Programming Language for the Arduino Demo: Juniper: A Functional Reactive Programming Language for the Arduino
Jason HemannHemann, Jason Indiana University Deriving Pure, Functional One-Pass Operations for Processing Tail-Aligned Lists
Troels HenriksenHenriksen, Troels DIKU, University of CopenhagenDenmark APL on GPUs: A TAIL from the Past, Scribbled in Futhark
Grégoire HenryHenry, Grégoire Learn OCaml: An Online Learning Center for OCaml
Mario Moro HernandezHernandez, Mario Moro A Scalable Reliable Instant Messenger using the SD Erlang Libraries
Mark HibberdHibberd, Mark AmbiataAustralia Committee Member in Program Committee within the CUFP-track
Nick HibberdHibberd, Nick Ambiata Immutable Infrastructure Deployment with Haskell
Michael HicksHicks, Michael University of Maryland, College ParkUnited States SIGPLAN Chair in Steering Committee for ICFP 2016
Daniel HillerströmHillerström, Daniel Liberating Effects with Rows and Handlers
Daniel HillerströmHillerström, Daniel The University of EdinburghUnited Kingdom Compiling Links Effect Handlers to the OCaml Backend
Ralf HinzeHinze, Ralf Radboud University Nijmegen Committee Member in External Review Committee within the ICFP Research Papers-track
Stefan HoldermansHoldermans, Stefan Vector FabricsNetherlands Committee Member in External Review Committee within the ICFP Research Papers-track
Reid HolmesHolmes, Reid University of Waterloo Mobile App Chair in Organizing Committee for ICFP 2016
Rupert HorlickHorlick, Rupert Classes for the Masses
Atsuro HoshinoHoshino, Atsuro Nash: a tracing JIT for Extension Language
Natsuki HosonoHosono, Natsuki Kyoto University Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
Hideyuki HottaHotta, Hideyuki University of Chile, Chile Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
Cătălin HriţcuHriţcu, Cătălin INRIARomania Committee Member in Program Committee within the TyDe-track
Zhenjiang HuHu, Zhenjiang National Institute of Informatics, JapanJapan Session Chair of Domain Specific Languages (part of FHPC) Session Chair of Functors (part of Haskell) Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the FHPC-track
Théophane HufschmittHufschmitt, Théophane ocp-lint, A Plugin-based Style-Checker with Semantic Patches
John HughesHughes, John Chalmers University of Technology Member at large in Steering Committee for ICFP 2016 Unaccustomed as I am to public speaking Committee Member in Speakers within the PLMW-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Session Chair of 4 (part of PLMW) Session Chair of 5 (part of PLMW) Committee Member in Organizers within the PLMW-track
Bashar Igried Deb AlkhawaldehIgried Deb Alkhawaldeh, Bashar Programming with Monadic CSP-Style Processes in Dependent Type Theory
Mirai IkebuchiIkebuchi, Mirai Nagoya University Committee Member in Program Committee within the CUFP-track
Hikaru InoueInoue, Hikaru Fujitsu Limited Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
Jun InoueInoue, Jun National Institute of Advanced Industrial Science and Technology, Japan Sundials/ML: interfacing with numerical solvers
Hideya IwasakiIwasaki, Hideya University of Electro-Communications, Japan Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing
Masaki IwasawaIwasawa, Masaki RIKEN Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
J Guilhem JaberJaber, Guilhem IRIF, Université Paris DiderotFrance Committee Member in Program Committee within the HOPE-track
Bart JacobsJacobs, Bart iMinds - Distrinet, KU LeuvenBelgium Simple Dependent Polymorphic I/O Effects
Suresh JagannathanJagannathan, Suresh DARPAUnited States Committee Member in External Review Committee within the ICFP Research Papers-track
David JaninJanin, David University of Bordeaux Structured reactive programming with polymorphic temporal tiles Co-chair in Program Committee within the FARM-track Workshops Chair in Organizing Committee within the FARM-track
Patrik JanssonJansson, Patrik Chalmers University of TechnologySweden An Agda formalisation of the transitive closure of block matrices
Johan JeuringJeuring, Johan Utrecht University ICFP'14 General Chair in Steering Committee for ICFP 2016 Session Chair of Session 6 (part of ICFP Research Papers)
Ranjit JhalaJhala, Ranjit University of California at San Diego, USA Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong) Committee Member in Program Committee within the Haskell-track
Mark JonesJones, Mark Portland State University ICFP'17 Program Chair in Steering Committee for ICFP 2016
Jacques-Henri JourdanJourdan, Jacques-Henri Statistically profiling memory in OCaml
Ralf JungJung, Ralf MPI-SWS, GermanyGermany Higher-Order Ghost State
K David Kaloper-MeršinjakKaloper-Meršinjak, David Generic partially-static data OCaml inside: a drop-in replacement for libtls
Yukiyoshi KameyamaKameyama, Yukiyoshi University of Tsukuba Session Chair of Invited Talk (part of FHPC) Session Chair of Graph Processing (part of FHPC) Session Chair of Monads (part of Haskell) Committee Member in Program Committee within the Haskell-track Co-chair in Organizing Committee within the FHPC-track Co-chair in Program Committee within the FHPC-track
Ohad KammarKammar, Ohad Functional models of full ground, and general, reference cells
Mate KaracsonyKaracsony, Mate Eötvös Loránd UniversityHungary Using Fusion to Enable Late Design Decisions for Pipelined Computations
Brandon KaseKase, Brandon Pinterest Composable Caching in Swift
Takashi KatoKato, Takashi A Scheme concurrency library
Shin-ya KatsumataKatsumata, Shin-ya Kyoto University, Japan Local Organizer co-Chair in Organizing Committee for ICFP 2016 Combining Effects and Coeffects via Grading
Shiro KawaiKawai, Shiro Scheme Arts LLC Committee Member in Program Committee within the Scheme-track
Gabriele KellerKeller, Gabriele University of New South Wales General Co-Chair in Organizing Committee for ICFP 2016 ICFP'16 General Chair in Steering Committee for ICFP 2016 Session Chair of Keynote 2 (part of ICFP Keynote Talks)
Paul KhuongKhuong, Paul AppNexus Committee Member in Program Committee within the CUFP-track
Anna Sofie KiehnKiehn, Anna Sofie DIKU, University of Copenhagen APL on GPUs: A TAIL from the Past, Scribbled in Futhark
Fumiaki KinoshitaKinoshita, Fumiaki Tsuru Capital T8: Transforming data into GUI: a new style graphical user interface library for Haskell
Oleg KiselyovKiselyov, Oleg Tohoku University Parameterized Extensible Effects and Session Types Eff Directly in OCaml T2: Extensible Effects: understanding them, implementing them, using them Committee Member in Program Committee within the OCaml-track Committee Member in Steering Committee within the ML-track
Csongor KissKiss, Csongor Imperial College London Demo: VoxelCAD, a collaborative voxel-based CAD tool
Gerwin KleinKlein, Gerwin UNSW, Australia Refinement through Restraint: Bringing Down the Cost of Verification
Edward KmettKmett, Edward Desugaring Haskell's do-Notation into Applicative Operations
Naoki KobayashiKobayashi, Naoki University of Tokyo, Japan Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms Automatically Disproving Fair Termination of Higher-Order Functional Programs
Dmitrii KosarevKosarev, Dmitrii Typed Embedding of Relational Language in OCaml
Robbert KrebbersKrebbers, Robbert Aarhus University, DenmarkDenmark Higher-Order Ghost State
Neel KrishnaswamiKrishnaswami, Neel University of Birmingham, UK Session Chair of Session 3 (part of ICFP Research Papers) Making Reactive Programs Function Datafun: A Functional Datalog Committee Member in External Review Committee within the ICFP Research Papers-track
Morten Krogh-JespersenKrogh-Jespersen, Morten Aarhus University A Logical Account of a Type-and-Effect System
Akihiro KubotaKubota, Akihiro Tama Art University Committee Member in Program Committee within the FARM-track
Ramana KumarKumar, Ramana Data61 at CSIRO, Australia A New Verified Compiler Backend for CakeML Committee Member in Program Committee within the Scheme-track
Lindsey KuperKuper, Lindsey Intel Labs Publicity Chair in Organizing Committee for ICFP 2016 Publicity Chair in Steering Committee for ICFP 2016
Piyush KururKurur, Piyush How to Twist Pointers without Breaking Them
L Alex LangLang, Alex Tsuru Capital Closing remarks Opening remarks Co-chair in Program Committee within the CUFP-track Committee Member in Organizing Committee within the CUFP-track
Michael LaporteLaporte, Michael ocp-lint, A Plugin-based Style-Checker with Semantic Patches
Vincent LaporteLaporte, Vincent IMDEA Software Institute, Spain An Abstract Memory Functor for Verified C Static Analyzers
Ken Friis LarsenLarsen, Ken Friis DIKU, University of Copenhagen Committee Member in Program Committee within the Haskell-track
John LatoLato, John Google Committee Member in Program Committee within the FARM-track
Théo LaurentLaurent, Théo Lock-free programming for the masses
Fabrice Le FessantLe Fessant, Fabrice OCamlPro Learn OCaml: An Online Learning Center for OCaml ocp-lint, A Plugin-based Style-Checker with Semantic Patches OPAM-builder: Continuous Monitoring of OPAM Repositories
Matthew LeLe, Matthew Revisiting Software Transactional Memory in Haskell
Jakob LebenLeben, Jakob University of Victoria Arrp: A Functional Language with Multi-dimensional Signals and Recurrence Equations
Mu LeiLei, Mu Multi-purpose web framework design based on websocket over HTTP Gateway
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Type Directed Compilation of Row-typed Algebraic Effects Committee Member in Steering Committee within the ML-track
Roman LeshchinskiyLeshchinskiy, Roman Standard Chartered Bank Committee Member in Program Committee within the ICFP Research Papers-track
Daniel R. LicataLicata, Daniel R. Wesleyan UniversityUnited States Introduction to Dependent Types A Functional Programmer's Guide to Homotopy Type Theory Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Speakers within the PLMW-track
Japheth LimLim, Japheth Data61, Australia Refinement through Restraint: Bringing Down the Cost of Verification
Sam LindleyLindley, Sam University of Edinburgh, UK Session Chair of Session 9 (part of ICFP Research Papers) Session Chair of Effects (part of ML) Liberating Effects with Rows and Handlers Compiling Links Effect Handlers to the OCaml Backend Embedding Session Types in Haskell Talking Bananas: Structural Recursion for Session Types Committee Member in External Review Committee within the ICFP Research Papers-track
Ben LippmeierLippmeier, Ben University of New South Wales Session Chair of GPUs (part of FHPC) Icicle: Write Once, Run Once Polarized Data Parallel Data Flow Automatically Escaping Monads Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the FHPC-track
Fengyun LiuLiu, Fengyun EPFLSwitzerland Effects as Capabilities
Hai LiuLiu, Hai Intel Labs Session Chair of Streaming and Dataflow (part of FHPC) Causal Commutative Arrows Revisited
Yu David LiuLiu, Yu David Lazy Graph Processing in Haskell
Rita LoogenLoogen, Rita University of Marburg Committee Member in Program Committee within the FHPC-track
Carlos Lopez PampinLopez Pampin, Carlos Making everybody comfortable with Erlang: a SCADA system for thermal control
Andreea LutacLutac, Andreea Towards Reliable and Scalable Robot Communication
Yu-Han LyuLyu, Yu-Han Dartmouth College, USA Queueing and Glueing for Optimal Partitioning (Functional Pearl)
Andres LöhLöh, Andres Well-Typed LLPGermany Workshops Co-Chair in Organizing Committee for ICFP 2016 Session Chair of Session 7 (part of ICFP Research Papers) T4: An Introduction to to Type-Level and Generic Programming in Haskell Committee Member in External Review Committee within the ICFP Research Papers-track
Andreas LöscherLöscher, Andreas The Nifty Way to Call Hell from Heaven
M John MacCallumMacCallum, John CNMAT - UC Berkeley o.OM: Structured-Functional Communication between Computer Music Systems using OSC and Odot
Fil MackayMackay, Fil Vertigo Technology (Australia) Polarized Data Parallel Data Flow
Frederik M. MadsenMadsen, Frederik M. DIKU, University of Copenhagen Streaming Nested Data Parallelism on Multicores
José Pedro MagalhãesMagalhães, José Pedro Standard Chartered Bank and Chordify Committee Member in Program Committee within the FARM-track
Patrick MaierMaier, Patrick University of Glasgow JIT Costing Adaptive Skeletons for Performance Portability
Geoffrey MainlandMainland, Geoffrey Drexel University Session Chair of Lightning Talks (part of Haskell) Session Chair of Abstractions that Scale (part of Haskell) Committee Member in External Review Committee within the ICFP Research Papers-track Chair in Program Committee within the Haskell-track Committee Member in Program Committee within the FHPC-track
Junichiro MakinoMakino, Junichiro Kobe University Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
Luc MarangetMaranget, Luc INRIA Rocquencourt Ambiguous pattern variables
Simon MarlowMarlow, Simon Facebook Remote GHCi Non-recursive Make Considered Harmful: Build Systems at Scale Desugaring Haskell's do-Notation into Applicative Operations Committee Member in External Review Committee within the ICFP Research Papers-track
Yutaka MaruyamaMaruyama, Yutaka Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
Kazutaka MatsudaMatsuda, Kazutaka Tohoku University Committee Member in External Review Committee within the ICFP Research Papers-track
Kiminori MatsuzakiMatsuzaki, Kiminori Kochi University of Technology, JapanJapan s6raph: Vertex-Centric Graph Processing Framework with Functional Interface Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing
Michel MaunyMauny, Michel Generic Programming in OCaml
Luke MaurerMaurer, Luke University of Oregon, USA Administrative normal form, continued: Sharing control in direct style Sequent Calculus as a Compiler Intermediate Language
Conor McBrideMcBride, Conor University of Strathclyde Committee Member in External Review Committee within the ICFP Research Papers-track
Jay McCarthyMcCarthy, Jay University of Massachusetts Lowell Bithoven: Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis
Trevor L. McDonellMcDonell, Trevor L. Indiana University, USAAustralia Ghostbuster: A Tool for Simplifying and Converting GADTs
Brian McKennaMcKenna, Brian Atlassian T7: PureScript Front-end Developement
James McKinnaMcKinna, James University of Edinburgh Bidirectional Transformations are Proof-Relevant Bisimulations Committee Member in Program Committee within the TyDe-track
Alex McLeanMcLean, Alex FoAM / University of LeedsUnited Kingdom Committee Member in Program Committee within the FARM-track
Hannes MehnertMehnert, Hannes Conex -- establishing trust into data repositories
Carin MeierMeier, Carin CognitectUnited States Committee Member in Program Committee within the CUFP-track
Jan MidtgaardMidtgaard, Jan Technical University of Denmark Committee Member in Program Committee within the ML-track
Matthew MightMight, Matthew University of Utah, USAUnited States miniAdapton: A Minimal Implementation of Incremental Computation in Scheme Allocation Characterizes Polyvariance: A Unified Methodology for Polyvariant Control-Flow Analysis Committee Member in Program Committee within the Scheme-track Committee Member in External Review Committee within the ICFP Research Papers-track
Yaron MinskyMinsky, Yaron Jane Street Member at large in Steering Committee for ICFP 2016 Keynote
Neil MitchellMitchell, Neil Non-recursive Make Considered Harmful: Build Systems at Scale
Wazim Mohammed IsmailMohammed Ismail, Wazim Indiana University, USA Deriving a Probability Density Calculator (Functional Pearl)
Andrey MokhovMokhov, Andrey Non-recursive Make Considered Harmful: Build Systems at Scale Desugaring Haskell's do-Notation into Applicative Operations
Akimasa MorihataMorihata, Akimasa University of Tokyo, JapanJapan Session Chair of Session 1 (part of ICFP Research Papers) Program Transformations for Developing Efficient and Correct Programs with Ease From Identification of Parallelizability to Derivation of Parallelizable Codes Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Speakers within the PLMW-track
J. Garrett MorrisMorris, J. Garrett University of Edinburgh, UKUnited Kingdom Embedding Session Types in Haskell The Best of Both Worlds: Linear Functional Programming without Compromise Talking Bananas: Structural Recursion for Session Types
Sean MossMoss, Sean Functional models of full ground, and general, reference cells
John Magnus MotronMotron, John Magnus University of Glasgow JIT Costing Adaptive Skeletons for Performance Portability
Shin-Cheng MuMu, Shin-Cheng Academia Sinica, Taiwan Queueing and Glueing for Optimal Partitioning (Functional Pearl)
Stefan K. MullerMuller, Stefan K. Carnegie Mellon University, USA Hierarchical Memory Management for Parallel Programs
Takayuki MuranushiMuranushi, Takayuki RIKEN Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation Committee Member in Program within the ICFP Tutorials-track
Andrzej MurawskiMurawski, Andrzej University of Warwick, UK Committee Member in Program Committee within the HOPE-track
Tom MurphyMurphy, Tom A Livecoding Semantics for Functional Reactive Programming
Toby MurrayMurray, Toby University of Melbourne, AustraliaAustralia Refinement through Restraint: Bringing Down the Cost of Verification
Rahul MuttineniMuttineni, Rahul TypeLead GHCVM - A JVM Backend for GHC
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology, Sweden A verified Lisp implementation for a verified theorem prover A New Verified Compiler Backend for CakeML
N Yutaka NagashimaNagashima, Yutaka Data61, Australia Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML Refinement through Restraint: Bringing Down the Cost of Verification
Shayan NajdNajd, Shayan Trees That Grow
Yoshifumi NakamuraNakamura, Yoshifumi RIKEN Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
Keisuke NakanoNakano, Keisuke The University of Electro-CommunicationsJapan Programming Contest Organiser in Organizing Committee for ICFP 2016 Committee Member in Program Committee within the ICFP Research Papers-track
Keiko NakataNakata, Keiko FireEye DresdenGermany Committee Member in Program Committee within the TyDe-track
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software Institute Opening remarks Concurrent Data Structures Linked in Time Co-chair in Program Committee within the HOPE-track Committee Member in Program Committee within the ICFP Research Papers-track
Georg NeisNeis, Georg MPI-SWS & Saarland University Committee Member in External Review Committee within the ICFP Research Papers-track
Max S. NewNew, Max S. Northeastern University Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl) Fully Abstract Compilation via Universal Embedding
Ryan R. NewtonNewton, Ryan R. Indiana University, USA Ghostbuster: A Tool for Simplifying and Converting GADTs Committee Member in External Review Committee within the ICFP Research Papers-track
Kim NguyễnNguyễn, Kim University of Paris-Sud, France Set-Theoretic Types for Polymorphic Variants
Henrik NilssonNilsson, Henrik Supermonads: One Notion to Bind Them All Functional Reactive Programming, Refactored
Yuki NishidaNishida, Yuki Kyoto University Student Volunteer Co-Chair in Organizing Committee for ICFP 2016
Susumu NishimuraNishimura, Susumu Kyoto University Local Organizer co-Chair in Organizing Committee for ICFP 2016
Seiya NishizawaNishizawa, Seiya RIKEN Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
Keigo NitadoriNitadori, Keigo RIKEN Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
Bartosz NitkaNitka, Bartosz Facebook GHC Determinism
Michael NorrishNorrish, Michael Data61 at CSIRO, AustraliaAustralia A New Verified Compiler Backend for CakeML
Diogenes NunezNunez, Diogenes Autobahn: Using Genetic Algorithms to Infer Strictness Annotations
O Liam O'ConnorO'Connor, Liam UNSW, AustraliaAustralia Applications of Applicative Proof Search Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML Refinement through Restraint: Bringing Down the Cost of Verification
Cosmin OanceaOancea, Cosmin DIKU, University of CopenhagenDenmark APL on GPUs: A TAIL from the Past, Scribbled in Futhark
Martin OderskyOdersky, Martin Ecole Polytechnique Federale de LausanneSwitzerland Effects as Capabilities
Atsushi OhoriOhori, Atsushi Tohoku University, Japan SML# with Natural Join A Fully Concurrent Garbage Collector for Functional Programs on Multicore Processors
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong, China Disjoint Intersection Types Committee Member in External Review Committee within the ICFP Research Papers-track
Dominic OrchardOrchard, Dominic University of Cambridge, UKUnited Kingdom Combining Effects and Coeffects via Grading
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Programming Assistance for Type-directed Programming
Katie OtsOts, Katie FacebookUnited Kingdom Closing remarks Opening remarks Co-chair in Program Committee within the CUFP-track Committee Member in Organizing Committee within the CUFP-track
Scott OwensOwens, Scott University of Kent, UK Session Chair of Session 8 (part of ICFP Research Papers) A New Verified Compiler Backend for CakeML Committee Member in Program Committee within the ICFP Research Papers-track
P Zoe ParaskevopoulouParaskevopoulou, Zoe Princeton University, USAUnited States A Type Theory for Incremental Computational Complexity with Control Flow Changes
Sungwoo ParkPark, Sungwoo Pohang University of Science and Technology Committee Member in Program Committee within the ICFP Research Papers-track
Bryan ParnoParno, Bryan Extracting from F* to C: a progress report
Jennifer PaykinPaykin, Jennifer Choose Your Own Derivative
Ivan PerezPerez, Ivan University of Nottingham Functional Reactive Programming, Refactored
Tomas PetricekPetricek, Tomas University of Cambridge Committee Member in Program Committee within the TyDe-track
Tommaso PetruccianiPetrucciani, Tommaso University of Genoa, FranceItaly Set-Theoretic Types for Polymorphic Variants
Simon Peyton JonesPeyton Jones, Simon Microsoft Research, UK Administrative normal form, continued: Sharing control in direct style The State of GHC Trees That Grow Non-recursive Make Considered Harmful: Build Systems at Scale Desugaring Haskell's do-Notation into Applicative Operations Pattern Synonyms Sequent Calculus as a Compiler Intermediate Language Committee Member in External Review Committee within the ICFP Research Papers-track
David PichardiePichardie, David ENS Rennes, FranceFrance An Abstract Memory Functor for Verified C Static Analyzers
Matthew PickeringPickering, Matthew Pattern Synonyms
Brigitte PientkaPientka, Brigitte McGill University, Canada Indexed Codata Types Committee Member in Program Committee within the TyDe-track
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Committee Member in External Review Committee within the ICFP Research Papers-track
Frank PiessensPiessens, Frank iMinds, Belgium Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data
Igor PikovetsPikovets, Igor Ahrefs Research Committee Member in Program Committee within the OCaml-track
Dan PiponiPiponi, Dan Google Committee Member in Program Committee within the FARM-track
Maciej PirógPiróg, Maciej KU Leuven, Belgium String Diagrams for Free Monads (Functional Pearl)
François PottierPottier, François INRIA Committee Member in Program Committee within the HOPE-track Committee Member in External Review Committee within the ICFP Research Papers-track
Marc PouzetPouzet, Marc Sundials/ML: interfacing with numerical solvers
Mindy PrestonPreston, Mindy Docker Committee Member in Program Committee within the OCaml-track
Jonathan ProtzenkoProtzenko, Jonathan Microsoft ResearchUnited States Extracting from F* to C: a progress report
Vincent PrunetPrunet, Vincent Inria, France A Glimpse of Hopjs
R Alexey RadulRadul, Alexey MIT Committee Member in Program Committee within the Scheme-track
Prabhakar RagdeRagde, Prabhakar University of Waterloo Committee Member in Program Committee within the FARM-track
Ram RaghunathanRaghunathan, Ram Carnegie Mellon University, USA Hierarchical Memory Management for Parallel Programs
Mike RaineyRainey, Mike Inria, France Dag-Calculus: A Calculus for Parallel Computation Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the FHPC-track
Aseem RastogiRastogi, Aseem Microsoft Research IndiaIndia Extracting from F* to C: a progress report
Rachel ReeseReese, Rachel Jet.com Chaos testing with F# and Azure
John ReppyReppy, John University of Chicago ICFP'15 Program Chair in Steering Committee for ICFP 2016 Session Chair of Session 10 (part of ICFP Research Papers) Session Chair of Classes (part of ML) Compiling with Continuations and LLVM Committee Member in Steering Committee within the ML-track Committee Member in Program Committee within the ML-track
Kenji RikitakeRikitake, Kenji Kenji Rikitake Professional Engineer's OfficeJapan Committee Member in Program Committee within the CUFP-track Committee Member in Program Committee within the Erlang-track
Christine RizkallahRizkallah, Christine University of Pennsylvania, USAUnited States Refinement through Restraint: Bringing Down the Cost of Verification
Amos RobinsonRobinson, Amos Ambiata (Australia) Icicle: Write Once, Run Once Polarized Data Parallel Data Flow
Tiark RompfRompf, Tiark Purdue & Oracle Labs Committee Member in External Review Committee within the ICFP Research Papers-track
Andreas RossbergRossberg, Andreas GoogleGermany WebAssembly: high speed at low cost for everyone Committee Member in External Review Committee within the ICFP Research Papers-track
Andrea RosàRosà, Andrea Università della Svizzera italianaSwitzerland Profiling Actor Utilization and Communication in Akka
María del Mar Rubio GonzálezRubio González, María del Mar Keynote: Solutions to distributed system problems, 'Akka', actors.
Colin RuncimanRunciman, Colin FitSpec: Refining Property Sets for Functional Testing
Alejandro RussoRusso, Alejandro Chalmers University of Technology Session Chair of Session 11 (part of ICFP Research Papers) Committee Member in External Review Committee within the ICFP Research Papers-track
Claudio RussoRusso, Claudio Microsoft Research Classes for the Masses
Sukyoung RyuRyu, Sukyoung KAISTKorea, South Analyzing JavaScript Web Applications in the Wild (Mostly) Statically Journey to Find Bugs in JavaScript Web Applications in the Wild Committee Member in Speakers within the PLMW-track
Thomas RéfisRéfis, Thomas Ambiguous pattern variables
Didier RémyRémy, Didier INRIA Session Chair of Implementation (part of ML) Committee Member in Steering Committee within the ML-track
S Amr SabrySabry, Amr Indiana University Committee Member in Program Committee within the ICFP Research Papers-track
Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) The Nifty Way to Call Hell from Heaven
Adam Sandberg ErikssonSandberg Eriksson, Adam An Agda formalisation of the transitive closure of block matrices
Mark SantolucitoSantolucito, Mark Yale Publicity Chair in Program Committee within the FARM-track Publicity Chair in Organizing Committee within the FARM-track
Susmit SarkarSarkar, Susmit University of St. Andrews, UK Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms
Tomohiro SasakiSasaki, Tomohiro Tohoku University SML# with Natural Join
Ryosuke SatoSato, Ryosuke University of Tokyo, Japan Automatically Disproving Fair Termination of Higher-Order Functional Programs
Shigeyuki SatoSato, Shigeyuki Kochi University of Technology s6raph: Vertex-Centric Graph Processing Framework with Functional Interface
Gabriel SchererScherer, Gabriel Northeastern UniversityUnited States Student Volunteer Co-Chair in Organizing Committee for ICFP 2016 Ambiguous pattern variables Committee Member in Program Committee within the OCaml-track
Tom SchrijversSchrijvers, Tom KU Leuven Session Chair of Session 4 (part of ICFP Research Papers) Committee Member in Program Committee within the ICFP Research Papers-track Committee Member in Program Committee within the TyDe-track
Eric SeidelSeidel, Eric University of California at San Diego, USAUnited States Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)
Ilya SergeySergey, Ilya University College London, UK Concurrent Data Structures Linked in Time Experience Report: Growing and Shrinking Polygons for Random Testing of Computational Geometry Algorithms
Manuel SerranoSerrano, Manuel Inria, France A Glimpse of Hopjs
Fabienne SerrièreSerrière, Fabienne KnitYak Committee Member in Program Committee within the FARM-track
Anton SetzerSetzer, Anton Programming with Monadic CSP-Style Processes in Dependent Type Theory
Peter SewellSewell, Peter University of Cambridge Committee Member in External Review Committee within the ICFP Research Papers-track
Thomas SewellSewell, Thomas UNSW, Australia Refinement through Restraint: Bringing Down the Cost of Verification
Will SewellSewell, Will Developing a fast and durable pub/sub message bus
Chung-chieh ShanShan, Chung-chieh Indiana University, USA Deriving a Probability Density Calculator (Functional Pearl)
Toby ShawShaw, Toby Imperial College London Demo: VoxelCAD, a collaborative voxel-based CAD tool
Tim SheardSheard, Tim Portland State University Generic Lookup and Update for Infinitary Inductive-Recursive Types Committee Member in External Review Committee within the ICFP Research Papers-track
Mary SheeranSheeran, Mary Chalmers University of Technology Low-Level Functional GPU Programming for Parallel Algorithms Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the FHPC-track
Zhiyuan ShiShi, Zhiyuan University of Hong Kong, China Disjoint Intersection Types
Alex ShinnShinn, Alex Indeed.com Opening Remarks General Chair in Program Committee within the Scheme-track Committee Member in Organizing Committee within the Scheme-track
Ayumi ShinoharaShinohara, Ayumi Tohoku University, Japan Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms
Mark ShinwellShinwell, Mark Jane Street Welcome Chair in Program Committee within the OCaml-track Committee Member in Organizing Committee within the OCaml-track Committee Member in Program Committee within the ML-track
Olin ShiversShivers, Olin Northeastern University Committee Member in Steering Committee within the Scheme-track Committee Member in Program Committee within the ICFP Research Papers-track
Steve ShogrenShogren, Steve SmartStream Technologies Committee Member in Program Committee within the Scheme-track
Francis ShumanShuman, Francis Demo: Epimorphism
Filip SieczkowskiSieczkowski, Filip Inria, France Dag-Calculus: A Calculus for Parallel Computation
Satnam SinghSingh, Satnam Facebook Committee Member in Program Committee within the FHPC-track
KC SivaramakrishnanSivaramakrishnan, KC University of CambridgeIndia Eff Directly in OCaml Compiling Links Effect Handlers to the OCaml Backend Lock-free programming for the masses T3: Introduction to OCaml Committee Member in Program Committee within the OCaml-track
Michael SnoymanSnoyman, Michael FP Complete Committee Member in Program Committee within the HIW-track
Antal Spector-ZabuskySpector-Zabusky, Antal Choose Your Own Derivative
Michael SperberSperber, Michael Active Group GmbH Member at large in Steering Committee for ICFP 2016 Hope is a Monad T1: Teaching Functional Programming Co-chair in Program Committee within the FARM-track Program Chair in Organizing Committee within the FARM-track
Jacob StanleyStanley, Jacob AmbiataAustralia The Highs and Lows of Optimising DSLs
Luite StegemanStegeman, Luite Committee Member in Program Committee within the HIW-track
John StellStell, John University of Leeds Committee Member in Program Committee within the FARM-track
Nicolas StuckiStucki, Nicolas EPFL, LAMPSwitzerland Effects as Capabilities
Sandro StuckiStucki, Sandro EPFLSwitzerland Effects as Capabilities
Eijiro SumiiSumii, Eijiro Tohoku University Program Chair in Organizing Committee for ICFP 2016 ICFP'16 Program Chair in Steering Committee for ICFP 2016 Session Chair of Keynote 1 (part of ICFP Keynote Talks) Program Chair in Program Committee within the ICFP Research Papers-track
Kasper SvendsenSvendsen, Kasper Aarhus University A Logical Account of a Type-and-Effect System
Bo Joel SvenssonSvensson, Bo Joel Chalmers University of Technology, SwedenSweden Low-Level Functional GPU Programming for Parallel Algorithms
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Extracting from F* to C: a progress report Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the ML-track
Wouter SwierstraSwierstra, Wouter University of Utrecht Member at large in Steering Committee for ICFP 2016 Co-chair in Program Committee within the TyDe-track Co-chair in Organizing Committee within the TyDe-track
Don SymeSyme, Don Microsoft Classes for the Masses
Daniel SzmulewiczSzmulewicz, Daniel NoneIsrael Ghosts in the machine
Marcin SzymczakSzymczak, Marcin University of Edinburgh, UK A Lambda-Calculus Foundation for Universal Probabilistic Programming
T Nicolas TabareauTabareau, Nicolas Inria, France Partial Type Equivalences for Verified Dependent Interoperability
Walid TahaTaha, Walid Halmstad University Committee Member in Program Committee within the ICFP Research Papers-track
Kotaro TakedaTakeda, Kotaro University of Tokyo, Japan Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms
Makoto TakeyamaTakeyama, Makoto Kanagawa University Committee Member in Program Committee within the TyDe-track
Yong Kiam TanTan, Yong Kiam *IHPC at ASTAR, Singapore** A New Verified Compiler Backend for CakeML
Éric TanterTanter, Éric University of Chile, Chile Partial Type Equivalences for Verified Dependent Interoperability
Bruce TateTate, Bruce iCanMakeItBetter Committee Member in Program Committee within the Erlang-track
David TereiTerei, David StanfordUnited States Session Chair of FRP (part of Haskell) Committee Member in Program Committee within the Haskell-track
David ThibodeauThibodeau, David McGill University, Canada Indexed Codata Types
Peter ThiemannThiemann, Peter University of Freiburg, GermanyGermany SIGPLAN Vice Chair in Steering Committee for ICFP 2016 Context-Free Session Types
Simon ThompsonThompson, Simon University of Kent Committee Member in Program Committee within the Erlang-track
Amin TimanyTimany, Amin Simple Dependent Polymorphic I/O Effects
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Committee Member in External Review Committee within the ICFP Research Papers-track
Hirofumi TomitaTomita, Hirofumi RIKEN Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
Phil TrinderTrinder, Phil University of Glasgow JIT Costing Adaptive Skeletons for Performance Portability Towards Reliable and Scalable Robot Communication A Scalable Reliable Instant Messenger using the SD Erlang Libraries
Ryan TrinkleTrinkle, Ryan Obsidian Systems LLCUnited States Industrial Relations Chair in Organizing Committee for ICFP 2016
Takeshi TsukadaTsukada, Takeshi University of Tokyo, Japan Automatically Disproving Fair Termination of Higher-Order Functional Programs
Aaron TuronTuron, Aaron MPI-SWS Rust: PL research in industry Committee Member in Speakers within the PLMW-track
Melinda TóthTóth, Melinda Eötvös Loránd UniversityHungary Co-chair in Organizing Committee within the Erlang-track Co-chair in Program Committee within the Erlang-track
U Katsuhiro UenoUeno, Katsuhiro Tohoku University, Japan Session Chair of Web (part of ML) SML# with Natural Join A Fully Concurrent Garbage Collector for Functional Programs on Multicore Processors Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the ML-track
Henrik UrmsUrms, Henrik DIKU, University of Copenhagen APL on GPUs: A TAIL from the Past, Scribbled in Futhark
Tarmo UustaluUustalu, Tarmo Tallinn University of Technology, Estonia Combining Effects and Coeffects via Grading
V Jasper Van der JeugtVan der Jeugt, Jasper Fugue Creating an approachable Haskell-like DSL
Atze van der Ploegvan der Ploeg, Atze The Key Monad: Type-Safe Unconstrained Dynamic Typing
David Van HornVan Horn, David University of Maryland, USA Student Research Competition Chair in Organizing Committee for ICFP 2016 Basic Mechanics of Operational Semantics Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Speakers within the PLMW-track
Vasco T. VasconcelosVasconcelos, Vasco T. INESC-ID / Instituto Superior Técnico, Universidade de Lisboa Context-Free Session Types
Marco VassenaVassena, Marco Generic diff3 for Algebraic Datatypes
Niki VazouVazou, Niki UC San Diego Session Chair of Language Features (part of Haskell) T6: LiquidHaskell: Verification of Haskell Programs with SMTs Committee Member in Program Committee within the Haskell-track Committee Member in Program Committee within the HIW-track
Jerome VouillonVouillon, Jerome CNRS PPS Committee Member in Program Committee within the OCaml-track
Dimitrios VytiniotisVytiniotis, Dimitrios Microsoft Research, Cambridge Committee Member in Program Committee within the ICFP Research Papers-track Committee Member in Program Committee within the Haskell-track
W Philip WadlerWadler, Philip University of EdinburghUnited States Some Types of Types Committee Member in Speakers within the PLMW-track
Jordan WalkeWalke, Jordan Facebook Committee Member in Program Committee within the OCaml-track
David WalkerWalker, David Princeton University Committee Member in Program Committee within the ICFP Research Papers-track
Meng WangWang, Meng University of Kent, UKSingapore Committee Member in External Review Committee within the ICFP Research Papers-track
Yisu Remy WangWang, Yisu Remy Tufts UniversityUnited States Autobahn: Using Genetic Algorithms to Infer Strictness Annotations
Keiichi WatanabeWatanabe, Keiichi University of Tokyo, Japan Automatically Disproving Fair Termination of Higher-Order Functional Programs
Westley WeimerWeimer, Westley University of Virginia, USA Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)
Stephanie WeirichWeirich, Stephanie University of Pennsylvania Session Chair of Testing (part of Haskell) Committee Member in Program Committee within the HOPE-track Committee Member in Program Committee within the HIW-track
Leo WhiteWhite, Leo Jane Street Effective programming: bringing algebraic effects and handlers to OCaml
Matthew WindsorWindsor, Matthew Classes for the Masses
Nicolas WuWu, Nicolas University of Bristol, UKUnited Kingdom Workshops Co-Chair in Organizing Committee for ICFP 2016 String Diagrams for Free Monads (Functional Pearl) Committee Member in External Review Committee within the ICFP Research Papers-track Committee Member in Program Committee within the TyDe-track
X Yuheng XieXie, Yuheng Function compose, Type cut, And the Algebra of logic
Y Kazuya YaguchiYaguchi, Kazuya Tohoku University, Japan Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms
Jeremy YallopYallop, Jeremy University of Cambridge, UK Generic partially-static data OCaml inside: a drop-in replacement for libtls Causal Commutative Arrows Revisited Committee Member in Steering Committee within the ML-track
Kazuhiko YamamotoYamamoto, Kazuhiko Experience Report: Developing High Performance HTTP/2 Server in Haskell
Edward Z. YangYang, Edward Z. Stanford UniversityUnited States Backpack to Work: Towards Backpack in Practice Program Chair in Program Committee within the HIW-track
Dave YarwoodYarwood, Dave Adzerk Demo: Alda: A text-based music composition language
Hisashi YashiroYashiro, Hisashi RIKEN Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
Ryan YatesYates, Ryan Revisiting Software Transactional Memory in Haskell
Brent YorgeyYorgey, Brent Hendrix CollegeUnited States How to Twist Pointers without Breaking Them Committee Member in Program Committee within the TyDe-track
Nobuko YoshidaYoshida, Nobuko Imperial College London, UK Committee Member in Program Committee within the ICFP Research Papers-track
Seitaro YukiYuki, Seitaro Dwango Building a web application with continuation monads
Z Timothy A. K. ZakianZakian, Timothy A. K. Oxford University, UKUnited Kingdom Ghostbuster: A Tool for Simplifying and Converting GADTs
Beta ZilianiZiliani, Beta Universidad Nacional de Córdoba Committee Member in Program Committee within the HOPE-track Committee Member in External Review Committee within the ICFP Research Papers-track
Jean-Karim ZinzindohouéZinzindohoué, Jean-Karim INRIA Extracting from F* to C: a progress report
Ç Ezgi ÇiçekÇiçek, Ezgi MPI-SWS, Germany A Type Theory for Incremental Computational Complexity with Control Flow Changes
É Gergő ÉrdiÉrdi, Gergő Pattern Synonyms
Ó Rúnar Óli BjarnasonÓli Bjarnason, Rúnar Verizon LabsIceland Committee Member in Program Committee within the CUFP-track

ICFP 2016 Contributors

Results (463)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia