Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 18 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
Sun 18 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change
09:10 - 10:15 | |||
09:10 5mDay opening | Opening remarks HOPE | ||
09:15 60mTalk | Effective programming: bringing algebraic effects and handlers to OCaml HOPE Leo White Jane Street | ||
09:15 - 10:15 | |||
09:15 20mDay opening | Opening TyDe | ||
09:35 20mTalk | APLicative Programming with Naperian Functors TyDe Jeremy Gibbons University of Oxford, UK | ||
09:55 20mTalk | Choose Your Own Derivative TyDe | ||
09:15 - 10:15 | |||
09:15 10mDay opening | Opening Remarks Scheme Alex Shinn Indeed.com | ||
09:25 50mTalk | A verified Lisp implementation for a verified theorem prover Scheme Magnus O. Myreen Chalmers University of Technology, Sweden | ||
09:15 - 10:15 | |||
09:15 30mTalk | Welcome to ICFP! PLMW Kathleen Fisher Tufts University Media Attached File Attached | ||
09:45 30mTalk | Rust: PL research in industry PLMW Aaron Turon MPI-SWS | ||
10:45 - 12:15 | |||
10:45 30mTalk | Generic diff3 for Algebraic Datatypes TyDe | ||
11:15 20mTalk | Programming Assistance for Type-directed Programming TyDe Peter-Michael Osera Grinnell College | ||
11:35 20mTalk | Generic partially-static data TyDe | ||
11:55 20mTalk | Bidirectional Transformations are Proof-Relevant Bisimulations TyDe James McKinna University of Edinburgh | ||
10:45 - 12:15 | |||
10:45 30mTalk | A Scheme concurrency library Scheme | ||
11:15 30mTalk | Nash: a tracing JIT for Extension Language Scheme | ||
11:45 30mTalk | Ghosts in the machine Scheme Daniel Szmulewicz None | ||
10:45 - 12:15 | |||
10:45 30mTalk | Effects as Capabilities HOPE Fengyun Liu EPFL, Nicolas Stucki EPFL, LAMP, Sandro Stucki EPFL, Nada Amin EPFL, Martin Odersky Ecole Polytechnique Federale de Lausanne | ||
11:15 30mTalk | A Logical Account of a Type-and-Effect System HOPE Morten Krogh-Jespersen Aarhus University, Kasper Svendsen Aarhus University, Lars Birkedal Aarhus University, Denmark | ||
11:45 30mTalk | Simple Dependent Polymorphic I/O Effects HOPE | ||
10:45 - 12:15 | |||
10:45 45mTalk | Basic Mechanics of Operational Semantics PLMW David Van Horn University of Maryland, USA Link to publication | ||
11:30 45mTalk | Some Types of Types PLMW Philip Wadler University of Edinburgh File Attached | ||
14:00 - 15:00 | |||
14:00 30mTalk | Applications of Applicative Proof Search TyDe Liam O'Connor UNSW, Australia | ||
14:30 30mTalk | Liberating Effects with Rows and Handlers TyDe | ||
14:00 - 15:00 | |||
14:00 20mTalk | R7RS update Scheme | ||
14:20 40mTalk | GNU Guix: The Functional GNU/Linux Distro That’s a Scheme Library Scheme Ludovic Courtès INRIA | ||
14:00 - 15:00 | |||
14:00 30mTalk | Concurrent Data Structures Linked in Time HOPE Germán Andrés Delbianco IMDEA Software Institute, Ilya Sergey University College London, UK, Aleksandar Nanevski IMDEA Software Institute, Anindya Banerjee IMDEA Software Institute | ||
14:30 30mTalk | Growing a Proof Assistant HOPE William J. Bowman Northeastern University | ||
14:00 - 15:00 | |||
14:00 30mTalk | Analyzing JavaScript Web Applications in the Wild (Mostly) Statically PLMW Sukyoung Ryu KAIST File Attached | ||
14:30 30mTalk | Introduction to Dependent Types PLMW Daniel R. Licata Wesleyan University Link to publication | ||
15:30 - 16:30 | |||
15:30 30mTalk | Programming with Monadic CSP-Style Processes in Dependent Type Theory TyDe | ||
16:00 30mTalk | Generic Lookup and Update for Infinitary Inductive-Recursive Types TyDe | ||
15:30 - 16:30 | |||
15:30 30mTalk | Function compose, Type cut, And the Algebra of logic Scheme | ||
16:00 30mTalk | Multi-purpose web framework design based on websocket over HTTP Gateway Scheme | ||
15:30 - 16:30 | |||
15:30 30mTalk | Type Directed Compilation of Row-typed Algebraic Effects HOPE Daan Leijen Microsoft Research Link to publication | ||
16:00 30mTalk | Administrative normal form, continued: Sharing control in direct style HOPE Luke Maurer University of Oregon, USA, Paul Downen University of Oregon, USA, Zena M. Ariola University of Oregon, USA, Simon Peyton Jones Microsoft Research, UK | ||
15:30 - 16:30 | |||
15:30 30mTalk | Program Transformations for Developing Efficient and Correct Programs with Ease PLMW Akimasa Morihata University of Tokyo, Japan File Attached | ||
16:00 30mTalk | How to Write Papers So People Can Read Them PLMW Derek Dreyer MPI-SWS, Germany File Attached | ||
17:00 - 18:00 | |||
17:00 20mTalk | Parameterized Extensible Effects and Session Types TyDe Oleg Kiselyov Tohoku University | ||
17:20 20mTalk | An Agda formalisation of the transitive closure of block matrices TyDe Pre-print | ||
17:00 - 18:00 | |||
17:00 30mTalk | miniAdapton: A Minimal Implementation of Incremental Computation in Scheme Scheme Dakota Fisher , Matthew Hammer University of Colorado, Boulder, William E. Byrd University of Utah, Matthew Might University of Utah, USA | ||
17:30 30mTalk | Deriving Pure, Functional One-Pass Operations for Processing Tail-Aligned Lists Scheme | ||
17:00 - 17:30 | |||
17:00 30mTalk | Functional models of full ground, and general, reference cells HOPE | ||
17:00 - 18:00 | |||
17:00 30mTalk | Principle and Practice of OCaml Type Debugger PLMW Kenichi Asai Ochanomizu University File Attached | ||
17:30 30mTalk | Unaccustomed as I am to public speaking PLMW John Hughes Chalmers University of Technology | ||
Mon 19 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
Mon 19 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change
09:15 - 10:15 | |||
09:15 60mTalk | TensorFlow: Learning Functions at Scale Keynote Talks Martin Abadi Google | ||
10:45 - 12:25 | |||
10:45 25mTalk | Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms Research Papers David Castro-Perez University of St. Andrews, UK, Kevin Hammond University of St. Andrews, UK, Susmit Sarkar University of St. Andrews, UK DOI | ||
11:10 25mTalk | Dag-Calculus: A Calculus for Parallel Computation Research Papers Umut A. Acar Carnegie Mellon University, Arthur Charguéraud Inria, France, Mike Rainey Inria, France, Filip Sieczkowski Inria, France DOI | ||
11:35 25mTalk | A Lambda-Calculus Foundation for Universal Probabilistic Programming Research Papers Johannes Borgström Uppsala University, Sweden, Ugo Dal Lago University of Bologna, France, Andrew D. Gordon Microsoft Research, UK, Marcin Szymczak University of Edinburgh, UK DOI | ||
12:00 25mTalk | Deriving a Probability Density Calculator (Functional Pearl) Research Papers DOI | ||
13:40 - 14:55 | |||
13:40 25mTalk | A New Verified Compiler Backend for CakeML Research Papers Yong Kiam Tan IHPC at A*STAR, Singapore, Magnus O. Myreen Chalmers University of Technology, Sweden, Ramana Kumar Data61 at CSIRO, Australia, Anthony Fox University of Cambridge, UK, Scott Owens University of Kent, UK, Michael Norrish Data61 at CSIRO, Australia DOI | ||
14:05 25mTalk | Sequent Calculus as a Compiler Intermediate Language Research Papers Paul Downen University of Oregon, USA, Luke Maurer University of Oregon, USA, Zena M. Ariola University of Oregon, USA, Simon Peyton Jones Microsoft Research, UK DOI | ||
14:30 25mTalk | Refinement through Restraint: Bringing Down the Cost of Verification Research Papers Liam O'Connor UNSW, Australia, Zilin Chen UNSW, Australia, Christine Rizkallah University of Pennsylvania, USA, Sidney Amani UNSW, Australia, Japheth Lim Data61, Australia, Toby Murray University of Melbourne, Australia, Yutaka Nagashima Data61, Australia, Thomas Sewell UNSW, Australia, Gerwin Klein UNSW, Australia DOI | ||
15:15 - 16:30 | |||
15:15 25mTalk | Fully Abstract Compilation via Universal Embedding Research Papers Max S. New Northeastern University, William J. Bowman Northeastern University, Amal Ahmed Northeastern University DOI | ||
15:40 25mTalk | Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl) Research Papers Christos Dimoulas Harvard University, Max S. New Northeastern University, Robert Bruce Findler Northwestern University, Matthias Felleisen Northeastern University DOI | ||
16:05 25mTalk | A Type Theory for Incremental Computational Complexity with Control Flow Changes Research Papers Ezgi Çiçek MPI-SWS, Germany, Zoe Paraskevopoulou Princeton University, USA, Deepak Garg MPI-SWS, Germany DOI | ||
17:00 - 18:15 | |||
17:00 25mTalk | Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms Research Papers Kotaro Takeda University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan, Kazuya Yaguchi Tohoku University, Japan, Ayumi Shinohara Tohoku University, Japan DOI | ||
17:25 25mTalk | Queueing and Glueing for Optimal Partitioning (Functional Pearl) Research Papers Shin-Cheng Mu Academia Sinica, Taiwan, Yu-Hsi Chiang National Taiwan University, Taiwan, Yu-Han Lyu Dartmouth College, USA DOI | ||
17:50 25mTalk | All Sorts of Permutations (Functional Pearl) Research Papers Jan Christiansen Flensburg University of Applied Sciences, Germany, Nikita Danilenko University of Kiel, Germany, Sandra Dylus University of Kiel, Germany DOI | ||
18:30 - 20:30 | |||
18:30 2hSocial Event | Reception Receptions | ||
Tue 20 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
Tue 20 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change
09:15 - 10:15 | |||
09:15 60mTalk | Journey to Find Bugs in JavaScript Web Applications in the Wild Keynote Talks Sukyoung Ryu KAIST | ||
10:35 - 12:15 | |||
10:35 25mTalk | A Glimpse of Hopjs Research Papers DOI | ||
11:00 25mTalk | Experience Report: Growing and Shrinking Polygons for Random Testing of Computational Geometry Algorithms Research Papers Ilya Sergey University College London, UK DOI | ||
11:25 25mTalk | Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing Research Papers Kento Emoto Kyushu Institute of Technology, Japan, Kiminori Matsuzaki Kochi University of Technology, Japan, Zhenjiang Hu National Institute of Informatics, Japan, Akimasa Morihata University of Tokyo, Japan, Hideya Iwasaki University of Electro-Communications, Japan DOI | ||
11:50 25mTalk | Datafun: A Functional Datalog Research Papers DOI | ||
13:30 - 14:45 | |||
13:30 25mTalk | Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong) Research Papers Eric Seidel University of California at San Diego, USA, Ranjit Jhala University of California at San Diego, USA, Westley Weimer University of Virginia, USA DOI | ||
13:55 25mTalk | Automatically Disproving Fair Termination of Higher-Order Functional Programs Research Papers Keiichi Watanabe University of Tokyo, Japan, Ryosuke Sato University of Tokyo, Japan, Takeshi Tsukada University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan DOI | ||
14:20 25mTalk | Higher-Order Ghost State Research Papers Ralf Jung MPI-SWS, Germany, Robbert Krebbers Aarhus University, Denmark, Lars Birkedal Aarhus University, Denmark, Derek Dreyer MPI-SWS, Germany DOI | ||
15:05 - 16:20 | |||
15:05 25mTalk | Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data Research Papers DOI | ||
15:30 25mTalk | Elaborator Reflection: Extending Idris in Idris Research Papers DOI | ||
15:55 25mTalk | Partial Type Equivalences for Verified Dependent Interoperability Research Papers Pierre-Evariste Dagand UPMC, France, Nicolas Tabareau Inria, France, Éric Tanter University of Chile, Chile DOI | ||
16:50 - 17:40 | |||
16:50 25mTalk | Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory Research Papers DOI | ||
17:15 25mTalk | An Abstract Memory Functor for Verified C Static Analyzers Research Papers Sandrine Blazy University of Rennes 1, France, Vincent Laporte IMDEA Software Institute, Spain, David Pichardie ENS Rennes, France DOI | ||
17:40 - 18:10 | |||
17:40 10mOther | Program Chair Report (Eijiro Sumii) Reports | ||
17:50 20mAwards | Programming Contest Presentation (Keisuke Nakano) Reports | ||
19:00 - 21:00 | |||
19:00 2hSocial Event | Reception Receptions | ||
Wed 21 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
Wed 21 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change
09:15 - 10:15 | |||
09:15 60mTalk | A Functional Programmer's Guide to Homotopy Type Theory Keynote Talks Daniel R. Licata Wesleyan University | ||
10:35 - 12:15 | |||
10:35 25mTalk | Ghostbuster: A Tool for Simplifying and Converting GADTs Research Papers Trevor L. McDonell Indiana University, USA, Timothy A. K. Zakian Oxford University, UK, Matteo Cimini Indiana University, USA, Ryan R. Newton Indiana University, USA DOI | ||
11:00 25mTalk | Indexed Codata Types Research Papers David Thibodeau McGill University, Canada, Andrew Cave McGill University, Canada, Brigitte Pientka McGill University, Canada DOI | ||
11:25 25mTalk | Disjoint Intersection Types Research Papers Bruno C. d. S. Oliveira University of Hong Kong, China, Zhiyuan Shi University of Hong Kong, China, João Alpuim University of Hong Kong, China DOI | ||
11:50 25mTalk | Set-Theoretic Types for Polymorphic Variants Research Papers Giuseppe Castagna Paris Diderot University & CNRS, Tommaso Petrucciani University of Genoa, France, Kim Nguyễn University of Paris-Sud, France DOI | ||
13:30 - 14:45 | |||
13:30 25mTalk | Hierarchical Memory Management for Parallel Programs Research Papers Ram Raghunathan Carnegie Mellon University, USA, Stefan K. Muller Carnegie Mellon University, USA, Umut A. Acar Carnegie Mellon University, Guy Blelloch Carnegie Mellon University, USA DOI | ||
13:55 25mTalk | Allocation Characterizes Polyvariance: A Unified Methodology for Polyvariant Control-Flow Analysis Research Papers Thomas Gilray University of Utah, USA, Michael D. Adams University of Utah, USA, Matthew Might University of Utah, USA DOI | ||
14:20 25mTalk | A Fully Concurrent Garbage Collector for Functional Programs on Multicore Processors Research Papers DOI | ||
15:05 - 16:20 | Session 11Research Papers at Noh Theater Chair(s): Alejandro Russo Chalmers University of Technology | ||
15:05 25mTalk | Talking Bananas: Structural Recursion for Session Types Research Papers DOI | ||
15:30 25mTalk | The Best of Both Worlds: Linear Functional Programming without Compromise Research Papers J. Garrett Morris University of Edinburgh, UK DOI | ||
15:55 25mTalk | Context-Free Session Types Research Papers Peter Thiemann University of Freiburg, Germany, Vasco T. Vasconcelos INESC-ID / Instituto Superior Técnico, Universidade de Lisboa DOI | ||
16:50 - 17:40 | |||
16:50 25mTalk | Combining Effects and Coeffects via Grading Research Papers Marco Gaboardi SUNY Buffalo, USA, Shin-ya Katsumata Kyoto University, Japan, Dominic Orchard University of Cambridge, UK, Flavien Breuvart Inria, France, Tarmo Uustalu Tallinn University of Technology, Estonia DOI | ||
17:15 25mTalk | String Diagrams for Free Monads (Functional Pearl) Research Papers DOI | ||
17:40 - 18:10 | |||
17:40 15mAwards | SRC Awards (David Van Horn) Reports | ||
17:55 15mDay closing | ICFP 2016 Closing / ICFP 2017 Presentation Reports | ||
Thu 22 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
Thu 22 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change
09:10 - 10:15 | |||
09:10 5mDay opening | Welcome ML | ||
09:15 60mTalk | Making Reactive Programs Function ML | ||
09:15 - 10:15 | |||
09:15 60mTalk | From Identification of Parallelizability to Derivation of Parallelizable Codes FHPC Akimasa Morihata University of Tokyo, Japan | ||
09:15 - 12:45 | |||
09:15 3h30mTalk | T2: Extensible Effects: understanding them, implementing them, using them Tutorials Oleg Kiselyov Tohoku University Pre-print | ||
09:15 - 12:45 | |||
09:15 3h30mTalk | T1: Teaching Functional Programming Tutorials Michael Sperber Active Group GmbH Pre-print | ||
09:15 - 10:15 | |||
09:15 10mDay opening | Welcome Haskell | ||
09:25 25mTalk | FitSpec: Refining Property Sets for Functional Testing Haskell DOI | ||
09:50 25mTalk | QuickFuzz: An Automatic Random Fuzzer for Common File Formats Haskell DOI | ||
10:35 - 11:25 | |||
10:35 25mTalk | WebAssembly: high speed at low cost for everyone ML Andreas Rossberg Google Pre-print | ||
11:00 25mTalk | Extracting from F* to C: a progress report ML Jonathan Protzenko Microsoft Research, Karthikeyan Bhargavan INRIA, Jean-Karim Zinzindohoué INRIA, Abhishek Anand , Cédric Fournet Microsoft Research, Bryan Parno , Aseem Rastogi Microsoft Research India, Nikhil Swamy Microsoft Research Pre-print | ||
10:35 - 11:25 | Domain Specific LanguagesFHPC at Conference Room 2 Chair(s): Zhenjiang Hu National Institute of Informatics, Japan | ||
10:35 25mTalk | Icicle: Write Once, Run Once FHPC | ||
11:00 25mTalk | Using Fusion to Enable Late Design Decisions for Pipelined Computations FHPC | ||
10:35 - 11:25 | |||
10:35 25mTalk | Causal Commutative Arrows Revisited Haskell DOI | ||
11:00 25mTalk | Functional Reactive Programming, Refactored Haskell DOI | ||
11:45 - 12:25 | |||
11:45 25mTalk | Compiling with Continuations and LLVM ML Pre-print | ||
12:10 15mTalk | SML# with Natural Join ML Tomohiro Sasaki Tohoku University, Katsuhiro Ueno Tohoku University, Japan, Atsushi Ohori Tohoku University, Japan Pre-print | ||
11:45 - 12:35 | |||
11:45 25mTalk | Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation FHPC Takayuki Muranushi RIKEN, Seiya Nishizawa RIKEN, Hirofumi Tomita RIKEN, Keigo Nitadori RIKEN, Masaki Iwasawa RIKEN, Yutaka Maruyama , Hisashi Yashiro RIKEN, Yoshifumi Nakamura RIKEN, Hideyuki Hotta University of Chile, Chile, Junichiro Makino Kobe University, Natsuki Hosono Kyoto University, Hikaru Inoue Fujitsu Limited | ||
12:10 25mTalk | JIT Costing Adaptive Skeletons for Performance Portability FHPC Patrick Maier University of Glasgow, John Magnus Motron University of Glasgow, Phil Trinder University of Glasgow | ||
11:45 - 12:35 | |||
11:45 25mTalk | Free Delivery (Functional Pearl) Haskell Jeremy Gibbons University of Oxford, UK DOI | ||
12:10 25mTalk | How to Twist Pointers without Breaking Them Haskell DOI | ||
14:00 - 14:50 | |||
14:00 25mTalk | Eff Directly in OCaml ML Pre-print | ||
14:25 25mTalk | Compiling Links Effect Handlers to the OCaml Backend ML Daniel Hillerström The University of Edinburgh, Sam Lindley University of Edinburgh, UK, KC Sivaramakrishnan University of Cambridge Pre-print | ||
14:00 - 14:50 | |||
14:00 25mTalk | Low-Level Functional GPU Programming for Parallel Algorithms FHPC Martin Dybdal , Martin Elsman Department of Computer Science, University of Copenhagen, Bo Joel Svensson Chalmers University of Technology, Sweden, Mary Sheeran Chalmers University of Technology | ||
14:25 25mTalk | APL on GPUs: A TAIL from the Past, Scribbled in Futhark FHPC Troels Henriksen DIKU, University of Copenhagen, Martin Dybdal , Henrik Urms DIKU, University of Copenhagen, Anna Sofie Kiehn DIKU, University of Copenhagen, Daniel Gavin DIKU, University of Copenhagen, Hjalte Abelskov DIKU, University of Copenhagen, Martin Elsman Department of Computer Science, University of Copenhagen, Cosmin Oancea DIKU, University of Copenhagen | ||
14:00 - 17:30 | |||
14:00 3h30mTalk | T4: An Introduction to to Type-Level and Generic Programming in Haskell Tutorials Andres Löh Well-Typed LLP Pre-print | ||
14:00 - 17:30 | |||
14:00 3h30mTalk | T3: Introduction to OCaml Tutorials KC Sivaramakrishnan University of Cambridge Pre-print | ||
14:00 - 14:50 | |||
14:00 25mTalk | High-Performance Client-Side Web Applications through Haskell EDSLs Haskell DOI | ||
14:25 25mTalk | Experience Report: Developing High Performance HTTP/2 Server in Haskell Haskell DOI | ||
15:20 - 16:10 | |||
15:20 25mTalk | Classes for the Masses ML Claudio Russo Microsoft Research, Matthew Windsor , Don Syme Microsoft, Rupert Horlick , James Clarke Pre-print | ||
15:45 25mTalk | Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML ML Pre-print | ||
15:20 - 16:10 | |||
15:20 25mTalk | Streaming Nested Data Parallelism on Multicores FHPC | ||
15:45 25mTalk | Polarized Data Parallel Data Flow FHPC Ben Lippmeier University of New South Wales, Fil Mackay Vertigo Technology (Australia), Amos Robinson Ambiata (Australia) | ||
15:20 - 16:10 | |||
15:20 25mTalk | Pattern Synonyms Haskell Matthew Pickering , Gergo Erdi , Simon Peyton Jones Microsoft Research, UK, Richard A. Eisenberg Bryn Mawr College DOI | ||
15:45 25mTalk | Desugaring Haskell's do-Notation into Applicative Operations Haskell DOI | ||
16:40 - 17:35 | |||
16:40 15mTalk | Malfunctional Programming ML Pre-print | ||
16:55 25mTalk | Ambiguous pattern variables ML Pre-print | ||
17:20 15mTalk | Typed Embedding of Relational Language in OCaml ML Pre-print | ||
16:40 - 17:05 | |||
16:40 25mTalk | s6raph: Vertex-Centric Graph Processing Framework with Functional Interface FHPC Onofre Coll Ruiz Kochi University of Technology, Kiminori Matsuzaki Kochi University of Technology, Japan, Shigeyuki Sato Kochi University of Technology | ||
16:40 - 18:00 | |||
16:40 80mTalk | Lightning Talks Haskell | ||
17:05 - 18:00 | |||
17:05 55mTalk | Discussion FHPC | ||
18:30 - 20:30 | |||
18:30 2hSocial Event | All ICFP participants are welcome Receptions | ||
Fri 23 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
Fri 23 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change
09:09 - 10:25 | |||
09:09 1mDay opening | Welcome OCaml Mark Shinwell Jane Street | ||
09:10 25mTalk | Invited Talk OCaml | ||
09:35 25mTalk | The State of the OCaml Platform: September 2016 OCaml | ||
10:00 25mTalk | Learn OCaml: An Online Learning Center for OCaml OCaml | ||
09:15 - 10:15 | |||
09:15 10mDay opening | Opening & Welcome Erlang | ||
09:25 50mTalk | Keynote: Solutions to distributed system problems, 'Akka', actors. Erlang | ||
09:15 - 12:45 | |||
09:15 3h30mTalk | T6: LiquidHaskell: Verification of Haskell Programs with SMTs Tutorials Niki Vazou UC San Diego Pre-print | ||
09:15 - 12:45 | |||
09:15 3h30mTalk | T5: Fable, an F# to JavaScript compiler Tutorials Pre-print | ||
09:15 - 10:15 | |||
09:25 25mTalk | Revisiting Software Transactional Memory in Haskell Haskell DOI | ||
09:50 25mTalk | Autobahn: Using Genetic Algorithms to Infer Strictness Annotations Haskell DOI | ||
10:35 - 11:25 | |||
10:35 25mTalk | A Scalable Reliable Instant Messenger using the SD Erlang Libraries Erlang | ||
11:00 25mTalk | CRDTs for the Configuration of Distributed Erlang Systems Erlang | ||
10:35 - 11:25 | |||
10:35 25mTalk | Experience Report: Types for a Relational Algebra Library Haskell DOI | ||
11:00 25mTalk | Embedding Session Types in Haskell Haskell DOI | ||
10:40 - 11:30 | |||
10:40 25mTalk | Statistically profiling memory in OCaml OCaml | ||
11:05 25mTalk | Lock-free programming for the masses OCaml | ||
11:45 - 12:35 | |||
11:45 25mTalk | Conex -- establishing trust into data repositories OCaml | ||
12:10 25mTalk | OPAM-builder: Continuous Monitoring of OPAM Repositories OCaml Fabrice Le Fessant OCamlPro | ||
11:45 - 12:35 | |||
11:45 25mTalk | Observing the consistency of distributed systems Erlang Deepthi Devaki Akkoorath , Viktória Fördős Erlang Solutions Ltd., Annette Bieniusa Technischen Universität Kaiserslautern | ||
12:10 25mTalk | Making everybody comfortable with Erlang: a SCADA system for thermal control Erlang | ||
11:45 - 12:35 | |||
11:45 50mTalk | PC Chair Report and State of Haskell Haskell | ||
14:00 - 14:50 | |||
14:00 25mTalk | Sundials/ML: interfacing with numerical solvers OCaml Timothy Bourke INRIA, Jun Inoue National Institute of Advanced Industrial Science and Technology, Japan, Marc Pouzet | ||
14:25 25mTalk | OCaml inside: a drop-in replacement for libtls OCaml | ||
14:00 - 14:50 | |||
14:00 25mTalk | Profiling Actor Utilization and Communication in Akka Erlang Andrea Rosà Università della Svizzera italiana, Lydia Y. Chen IBM Research Lab Zurich, Walter Binder University of Lugano | ||
14:25 25mTalk | The Nifty Way to Call Hell from Heaven Erlang | ||
14:00 - 17:30 | |||
14:00 3h30mTalk | T8: Transforming data into GUI: a new style graphical user interface library for Haskell Tutorials Fumiaki Kinoshita Tsuru Capital Pre-print | ||
14:00 - 17:30 | |||
14:00 3h30mTalk | T7: PureScript Front-end Developement Tutorials Brian McKenna Atlassian Pre-print | ||
14:00 - 14:50 | |||
14:00 25mTalk | The Key Monad: Type-Safe Unconstrained Dynamic Typing Haskell Pablo Buiras Chalmers University of Technology, Koen Claessen Chalmers University of Technology, Atze van der Ploeg DOI | ||
14:25 25mTalk | Supermonads: One Notion to Bind Them All Haskell DOI | ||
15:20 - 16:10 | |||
15:20 25mTalk | Semantics of the Lambda intermediate language OCaml Pierre Chambart OCamlPRO | ||
15:45 25mTalk | Generic Programming in OCaml OCaml | ||
15:20 - 16:10 | |||
15:20 25mOther | Automatic generation of UML sequence diagrams from test counterexamples Erlang | ||
15:45 25mOther | Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang Erlang Adam Barwell , Christopher Brown , Kevin Hammond University of St. Andrews, UK, David Castro-Perez University of St. Andrews, UK | ||
15:20 - 16:10 | |||
15:20 25mTalk | Non-recursive Make Considered Harmful: Build Systems at Scale Haskell DOI | ||
15:45 25mTalk | Lazy Graph Processing in Haskell Haskell DOI | ||
16:10 - 17:05 | |||
16:10 18m | Inuit library: from printf to interactive user-interfacesPoster OCaml | ||
16:28 18m | ocp-lint, A Plugin-based Style-Checker with Semantic PatchesPoster OCaml | ||
16:46 18m | Partial evaluation and metaprogrammingPoster OCaml Pierre Chambart OCamlPRO | ||
16:40 - 18:00 | |||
16:40 25mTalk | Towards Reliable and Scalable Robot Communication Erlang Andreea Lutac , Natalia Chechina University of Glasgow, Gerardo Aragon-Camarasa , Phil Trinder University of Glasgow | ||
17:05 25mTalk | Erlang latest news Erlang | ||
17:30 30mDay closing | Farewell & Closing Erlang | ||
17:05 - 18:00 | |||
17:05 25mTalk | Who's got your Mail? Mr. Mime! OCaml | ||
17:30 25mTalk | Improving the OCaml Web Stack: Motivations and Progress OCaml | ||
17:55 5mDay closing | Closing OCaml | ||
Sat 24 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
Sat 24 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change
09:15 - 10:15 | |||
09:15 30mTalk | The State of GHC HIW Simon Peyton Jones Microsoft Research, UK | ||
09:45 30mTalk | Contributing to GHC HIW Ben Gamari Well-Typed LLP | ||
09:15 - 10:15 | |||
09:15 30mTalk | Bithoven: Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis FARM Jay McCarthy University of Massachusetts Lowell | ||
09:45 30mTalk | Structured reactive programming with polymorphic temporal tiles FARM | ||
09:15 - 10:15 | |||
09:15 5mDay opening | Opening remarks CUFP | ||
09:20 55mTalk | Keynote CUFP Yaron Minsky Jane Street Media Attached | ||
10:35 - 11:25 | |||
10:35 25mTalk | Backpack to Work: Towards Backpack in Practice HIW Edward Z. Yang Stanford University | ||
11:00 25mTalk | More powerful GHC Plugins HIW | ||
10:35 - 11:25 | |||
10:35 25mTalk | Demo: Juniper: A Functional Reactive Programming Language for the Arduino FARM | ||
11:00 25mTalk | Juniper: A Functional Reactive Programming Language for the Arduino FARM | ||
10:35 - 11:25 | |||
10:35 25mTalk | Immutable Infrastructure Deployment with Haskell CUFP Nick Hibberd Ambiata Media Attached | ||
11:00 25mTalk | Developing a fast and durable pub/sub message bus CUFP Media Attached | ||
11:45 - 12:35 | |||
11:45 25mTalk | A Dependent Haskell Triptych HIW Richard A. Eisenberg Bryn Mawr College | ||
12:10 25mTalk | Automatically Escaping Monads HIW Ben Lippmeier University of New South Wales | ||
11:45 - 12:35 | |||
11:45 25mTalk | Arrp: A Functional Language with Multi-dimensional Signals and Recurrence Equations FARM Jakob Leben University of Victoria | ||
12:10 25mTalk | Demo: Klangmeister FARM Chris Ford ThoughtWorks (UK) Ltd. | ||
11:45 - 12:35 | |||
11:45 25mTalk | Chaos testing with F# and Azure CUFP Rachel Reese Jet.com Media Attached | ||
12:10 25mTalk | Building a web application with continuation monads CUFP Seitaro Yuki Dwango Media Attached | ||
14:00 - 14:50 | |||
14:00 25mTalk | Pita: Tools for making GHC fast again HIW Ben Gamari Well-Typed LLP | ||
14:25 25mTalk | GHC Determinism HIW Bartosz Nitka Facebook | ||
14:00 - 14:50 | |||
14:00 25mTalk | Demo: VoxelCAD, a collaborative voxel-based CAD tool FARM Link to publication | ||
14:25 25mTalk | o.OM: Structured-Functional Communication between Computer Music Systems using OSC and Odot FARM Jean Bresson UMR STMS: IRCAM-CNRS-UPMC, John MacCallum CNMAT - UC Berkeley, Adrian Freed CNMAT - UC Berkeley | ||
14:00 - 14:50 | |||
14:00 25mTalk | Creating an approachable Haskell-like DSL CUFP Jasper Van der Jeugt Fugue Media Attached | ||
14:25 25mTalk | The Highs and Lows of Optimising DSLs CUFP Jacob Stanley Ambiata Media Attached | ||
15:20 - 16:10 | |||
15:20 25mTalk | Remote GHCi HIW Simon Marlow Facebook | ||
15:45 25mTalk | GHCVM - A JVM Backend for GHC HIW Rahul Muttineni TypeLead | ||
15:20 - 16:10 | |||
15:20 25mTalk | Call for Collaboration: Computational Musicology, ????, Profit FARM Chris Ford ThoughtWorks (UK) Ltd. | ||
15:45 25mTalk | Demo: Alda: A text-based music composition language FARM Dave Yarwood Adzerk Link to publication | ||
15:20 - 16:10 | |||
15:20 25mTalk | Composable Caching in Swift CUFP Brandon Kase Pinterest Media Attached | ||
15:45 25mTalk | Guix: Scheme as a uniform OS admin and deployment interface CUFP Ludovic Courtès INRIA Media Attached | ||
16:40 - 18:00 | |||
16:40 25mTalk | Trees That Grow HIW | ||
17:05 55mOther | Lightning talks HIW | ||
16:40 - 18:00 | |||
16:40 40mTalk | A Livecoding Semantics for Functional Reactive Programming FARM | ||
17:20 40mTalk | Demo: Epimorphism FARM Link to publication | ||
16:40 - 18:00 | |||
16:40 25mTalk | Baby steps to unikernels in production CUFP Media Attached | ||
17:05 50mTalk | Hope is a Monad CUFP Michael Sperber Active Group GmbH Media Attached | ||
17:55 5mDay closing | Closing remarks CUFP | ||
19:30 - 21:30 | |||
19:30 2hOther | FARM 2016 Performance Evening FARM | ||