Program - ICFP 2016

Write a Blog >>

Sun 18 - Sat 24 September 2016 Nara, Japan

Filter

Sun 18 Sep

09:10 - 10:15: HOPE - Welcome and Invited Talk at Conference Room 3

09:10 - 09:15
Day opening

Opening remarks

Lars Birkedal, Aleksandar Nanevski

09:15 - 10:15
Talk

Effective programming: bringing algebraic effects and handlers to OCaml

09:15 - 10:15: PLMW - 1 at Conference Room 5
Chair(s): Amal Ahmed

09:15 - 09:45
Talk

Welcome to ICFP!

Kathleen Fisher

Media Attached File Attached

09:45 - 10:15
Talk

Rust: PL research in industry

09:15 - 10:15: Scheme - Invited Talk at Conference Room 2

09:15 - 09:25
Day opening

Opening Remarks

09:25 - 10:15
Talk

A verified Lisp implementation for a verified theorem prover

Magnus O. Myreen

09:15 - 10:15: TyDe - Session One at Conference Room 1

09:15 - 09:35
Day opening

09:35 - 09:55
Talk

APLicative Programming with Naperian Functors

09:55 - 10:15
Talk

Choose Your Own Derivative

Jennifer Paykin, Antal Spector-Zabusky, Kenneth Foner

10:45 - 12:15: PLMW - 2 at Conference Room 5
Chair(s): Amal Ahmed

10:45 - 11:30
Talk

Basic Mechanics of Operational Semantics

Link to publication

11:30 - 12:15
Talk

Some Types of Types

10:45 - 12:15: Scheme - Scheming at Conference Room 2

10:45 - 11:15
Talk

A Scheme concurrency library

11:15 - 11:45
Talk

Nash: a tracing JIT for Extension Language

11:45 - 12:15
Talk

Ghosts in the machine

Daniel Szmulewicz

10:45 - 12:15: HOPE - Session 1 (Effects) at Conference Room 3

10:45 - 11:15
Talk

Effects as Capabilities

Fengyun Liu, Nicolas Stucki, Sandro Stucki, Nada Amin, Martin Odersky

11:15 - 11:45
Talk

A Logical Account of a Type-and-Effect System

Morten Krogh-Jespersen, Kasper Svendsen, Lars Birkedal

11:45 - 12:15
Talk

Simple Dependent Polymorphic I/O Effects

Amin Timany, Bart Jacobs

10:45 - 12:15: TyDe - Session Two at Conference Room 1

10:45 - 11:15
Talk

Generic diff3 for Algebraic Datatypes

11:15 - 11:35
Talk

Programming Assistance for Type-directed Programming

Peter-Michael Osera

11:35 - 11:55
Talk

Generic partially-static data

David Kaloper-Mersinjak, Jeremy Yallop

11:55 - 12:15
Talk

Bidirectional Transformations are Proof-Relevant Bisimulations

14:00 - 15:00: PLMW - 3 at Conference Room 5
Chair(s): Robby Findler

14:00 - 14:30
Talk

Analyzing JavaScript Web Applications in the Wild (Mostly) Statically

14:30 - 15:00
Talk

Introduction to Dependent Types

Link to publication

14:00 - 15:00: Scheme - Invited Talk at Conference Room 2

14:00 - 14:20
Talk

14:20 - 15:00
Talk

GNU Guix: The Functional GNU/Linux Distro That’s a Scheme Library

Ludovic Courtès

14:00 - 15:00: HOPE - Session 2 (Verification) at Conference Room 3

14:00 - 14:30
Talk

Concurrent Data Structures Linked in Time

Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee

14:30 - 15:00
Talk

Growing a Proof Assistant

William J. Bowman

14:00 - 15:00: TyDe - Session Three at Conference Room 1

14:00 - 14:30
Talk

Applications of Applicative Proof Search

14:30 - 15:00
Talk

Liberating Effects with Rows and Handlers

Daniel Hillerström, Sam Lindley

15:30 - 16:30: PLMW - 4 at Conference Room 5
Chair(s): Atsushi Igarashi

15:30 - 16:00
Talk

Program Transformations for Developing Efficient and Correct Programs with Ease

Akimasa Morihata

16:00 - 16:30
Talk

How to Write Papers So People Can Read Them

15:30 - 16:30: Scheme - Functional Programming at Conference Room 2

15:30 - 16:00
Talk

Function compose, Type cut, And the Algebra of logic

16:00 - 16:30
Talk

Multi-purpose web framework design based on websocket over HTTP Gateway

15:30 - 16:30: HOPE - Session 3 (Compilation) at Conference Room 3

15:30 - 16:00
Talk

Type Directed Compilation of Row-typed Algebraic Effects

Link to publication

16:00 - 16:30
Talk

Administrative normal form, continued: Sharing control in direct style

Luke Maurer, Paul Downen, Zena M. Ariola, Simon Peyton Jones

15:30 - 16:30: TyDe - Session Four at Conference Room 1

15:30 - 16:00
Talk

Programming with Monadic CSP-Style Processes in Dependent Type Theory

Bashar Igried Deb Alkhawaldeh, Anton Setzer

16:00 - 16:30
Talk

Generic Lookup and Update for Infinitary Inductive-Recursive Types

Larry Diehl, Tim Sheard

17:00 - 18:00: PLMW - 5 at Conference Room 5
Chair(s): Atsushi Igarashi

17:00 - 17:30
Talk

Principle and Practice of OCaml Type Debugger

17:30 - 18:00
Talk

Unaccustomed as I am to public speaking

17:00 - 18:00: Scheme - Scheming at Conference Room 2

17:00 - 17:30
Talk

miniAdapton: A Minimal Implementation of Incremental Computation in Scheme

Dakota Fisher, Matthew Hammer, William E. Byrd, Matthew Might

17:30 - 18:00
Talk

Deriving Pure, Functional One-Pass Operations for Processing Tail-Aligned Lists

Jason Hemann, Daniel Friedman

17:00 - 17:30: HOPE - Session 4 (Semantics) at Conference Room 3

17:00 - 17:30
Talk

Functional models of full ground, and general, reference cells

Ohad Kammar, Sean Moss

17:00 - 18:00: TyDe - Session Five at Conference Room 1

17:00 - 17:20
Talk

Parameterized Extensible Effects and Session Types

17:20 - 17:40
Talk

An Agda formalisation of the transitive closure of block matrices

Patrik Jansson, Adam Sandberg Eriksson

Mon 19 Sep

09:15 - 10:15: Keynote Talks - Keynote 1 at Noh Theater
Chair(s): Eijiro Sumii

09:15 - 10:15
Talk

TensorFlow: Learning Functions at Scale

10:45 - 12:25: Research Papers - Session 1 at Noh Theater
Chair(s): Akimasa Morihata

10:45 - 11:10
Talk

Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms

David Castro, Kevin Hammond, Susmit Sarkar

11:10 - 11:35
Talk

Dag-Calculus: A Calculus for Parallel Computation

Umut Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski

11:35 - 12:00
Talk

A Lambda-Calculus Foundation for Universal Probabilistic Programming

Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak

12:00 - 12:25
Talk

Deriving a Probability Density Calculator (Functional Pearl)

Wazim Mohammed Ismail, Chung-chieh Shan

13:40 - 14:55: Research Papers - Session 2 at Noh Theater
Chair(s): Kathleen Fisher

13:40 - 14:05
Talk

A New Verified Compiler Backend for CakeML

Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony Fox, Scott Owens, Michael Norrish

14:05 - 14:30
Talk

Sequent Calculus as a Compiler Intermediate Language

Paul Downen, Luke Maurer, Zena M. Ariola, Simon Peyton Jones

14:30 - 14:55
Talk

Refinement through Restraint: Bringing Down the Cost of Verification

Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein

15:15 - 16:30: Research Papers - Session 3 at Noh Theater
Chair(s): Neelakantan R. Krishnaswami

15:15 - 15:40
Talk

Fully Abstract Compilation via Universal Embedding

Max New, William J. Bowman, Amal Ahmed

15:40 - 16:05
Talk

Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl)

Christos Dimoulas, Max New, Robby Findler, Matthias Felleisen

16:05 - 16:30
Talk

A Type Theory for Incremental Computational Complexity with Control Flow Changes

Ezgi Çiçek, Zoe Paraskevopoulou, Deepak Garg

17:00 - 18:15: Research Papers - Session 4 at Noh Theater
Chair(s): Tom Schrijvers

17:00 - 17:25
Talk

Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms

Kotaro Takeda, Naoki Kobayashi, Kazuya Yaguchi, Ayumi Shinohara

17:25 - 17:50
Talk

Queueing and Glueing for Optimal Partitioning (Functional Pearl)

Shin-Cheng Mu, Yu-Hsi Chiang, Yu-Han Lyu

17:50 - 18:15
Talk

All Sorts of Permutations (Functional Pearl)

Jan Christiansen, Nikita Danilenko, Sandra Dylus

18:30 - 20:30: Receptions - Welcome Reception with SRC Posters at Reception Hall 1

18:30 - 20:30
Social Event

Tue 20 Sep

09:15 - 10:15: Keynote Talks - Keynote 2 at Noh Theater
Chair(s): Gabriele Keller

09:15 - 10:15
Talk

Journey to Find Bugs in JavaScript Web Applications in the Wild

10:35 - 12:15: Research Papers - Session 5 at Noh Theater
Chair(s): Robby Findler

10:35 - 11:00
Talk

A Glimpse of Hopjs

Manuel Serrano, Vincent Prunet

11:00 - 11:25
Talk

Experience Report: Growing and Shrinking Polygons for Random Testing of Computational Geometry Algorithms

11:25 - 11:50
Talk

Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing

Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki

11:50 - 12:15
Talk

Datafun: A Functional Datalog

Michael Arntzenius, Neelakantan R. Krishnaswami

13:30 - 14:45: Research Papers - Session 6 at Noh Theater
Chair(s): Johan Jeuring

13:30 - 13:55
Talk

Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)

Eric L. Seidel, Ranjit Jhala, Westley Weimer

13:55 - 14:20
Talk

Automatically Disproving Fair Termination of Higher-Order Functional Programs

Keiichi Watanabe, Ryosuke Sato, Takeshi Tsukada, Naoki Kobayashi

14:20 - 14:45
Talk

Higher-Order Ghost State

Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer

15:05 - 16:20: Research Papers - Session 7 at Noh Theater
Chair(s): Andres Löh

15:05 - 15:30
Talk

Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data

Jesper Cockx, Dominique Devriese, Frank Piessens

15:30 - 15:55
Talk

Elaborator Reflection: Extending Idris in Idris

David Christiansen, Edwin Brady

15:55 - 16:20
Talk

Partial Type Equivalences for Verified Dependent Interoperability

Pierre-Evariste Dagand, Nicolas Tabareau, Éric Tanter

16:50 - 17:40: Research Papers - Session 8 at Noh Theater
Chair(s): Scott Owens

16:50 - 17:15
Talk

Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory

David Darais, David Van Horn

17:15 - 17:40
Talk

An Abstract Memory Functor for Verified C Static Analyzers

Sandrine Blazy, Vincent Laporte, David Pichardie

17:40 - 18:10: Reports - ICFP Program Chair Report and Contest Presentation at Noh Theater

17:40 - 17:50
Other

Program Chair Report (Eijiro Sumii)

17:50 - 18:10
Awards

Programming Contest Presentation (Keisuke Nakano)

19:00 - 21:00: Receptions - Banquet and SIGPLAN Awards at Hotel Nikko

19:00 - 21:00
Social Event

Wed 21 Sep

09:15 - 10:15: Keynote Talks - Keynote 3 at Noh Theater
Chair(s): Jacques Garrigue

09:15 - 10:15
Talk

A Functional Programmer's Guide to Homotopy Type Theory

10:35 - 12:15: Research Papers - Session 9 at Noh Theater
Chair(s): Sam Lindley

10:35 - 11:00
Talk

Ghostbuster: A Tool for Simplifying and Converting GADTs

Trevor L. McDonell, Timothy A. K. Zakian, Matteo Cimini, Ryan R. Newton

11:00 - 11:25
Talk

Indexed Codata Types

David Thibodeau, Andrew Cave, Brigitte Pientka

11:25 - 11:50
Talk

Disjoint Intersection Types

Bruno C. d. S. Oliveira, Zhiyuan Shi, João Alpuim

11:50 - 12:15
Talk

Set-Theoretic Types for Polymorphic Variants

Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyễn

13:30 - 14:45: Research Papers - Session 10 at Noh Theater
Chair(s): John Reppy

13:30 - 13:55
Talk

Hierarchical Memory Management for Parallel Programs

Ram Raghunathan, Stefan K. Muller, Umut Acar, Guy Blelloch

13:55 - 14:20
Talk

Allocation Characterizes Polyvariance: A Unified Methodology for Polyvariant Control-Flow Analysis

Thomas Gilray, Michael D. Adams, Matthew Might

14:20 - 14:45
Talk

A Fully Concurrent Garbage Collector for Functional Programs on Multicore Processors

Katsuhiro Ueno, Atsushi Ohori

15:05 - 16:20: Research Papers - Session 11 at Noh Theater
Chair(s): Alejandro Russo

15:05 - 15:30
Talk

Talking Bananas: Structural Recursion for Session Types

Sam Lindley, J. Garrett Morris

15:30 - 15:55
Talk

The Best of Both Worlds: Linear Functional Programming without Compromise

J. Garrett Morris

15:55 - 16:20
Talk

Context-Free Session Types

Peter Thiemann, Vasco Thudichum Vasconcelos

16:50 - 17:40: Research Papers - Session 12 at Noh Theater
Chair(s): Jeremy Gibbons

16:50 - 17:15
Talk

Combining Effects and Coeffects via Grading

Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart, Tarmo Uustalu

17:15 - 17:40
Talk

String Diagrams for Free Monads (Functional Pearl)

Maciej Piróg, Nicolas Wu

17:40 - 18:10: Reports - SRC Awards and Closing at Noh Theater

17:40 - 17:55
Awards

SRC Awards (David Van Horn)

17:55 - 18:10
Day closing

ICFP 2016 Closing / ICFP 2017 Presentation

Thu 22 Sep

09:10 - 10:15: ML - Invited Talk at Conference Room 1
Chair(s): Kenichi Asai

09:10 - 09:15
Day opening

09:15 - 10:15
Talk

Making Reactive Programs Function

Neelakantan R. Krishnaswami

09:15 - 10:15: FHPC - Invited Talk at Conference Room 2
Chair(s): Yukiyoshi Kameyama

09:15 - 10:15
Talk

From Identification of Parallelizability to Derivation of Parallelizable Codes

Akimasa Morihata

09:15 - 12:45: Tutorials - T1 at Conference Room 6

09:15 - 12:45
Talk

T1: Teaching Functional Programming

Michael Sperber

09:15 - 12:45: Tutorials - T2 at Conference Room 5

09:15 - 12:45
Talk

T2: Extensible Effects: understanding them, implementing them, using them

09:15 - 10:15: Haskell - Testing at Noh Theater
Chair(s): Stephanie Weirich

09:15 - 09:25
Day opening

09:25 - 09:50
Talk

FitSpec: Refining Property Sets for Functional Testing

Rudy Braquehais, Colin Runciman

09:50 - 10:15
Talk

QuickFuzz: An Automatic Random Fuzzer for Common File Formats

Gustavo Grieco, Martín Ceresa, Pablo Buiras

10:35 - 11:25: FHPC - Domain Specific Languages at Conference Room 2
Chair(s): Zhenjiang Hu

10:35 - 11:00
Talk

Icicle: Write Once, Run Once

Amos Robinson, Ben Lippmeier

11:00 - 11:25
Talk

Using Fusion to Enable Late Design Decisions for Pipelined Computations

Mate Karacsony, Koen Claessen

10:35 - 11:25: Haskell - FRP at Noh Theater
Chair(s): David Terei

10:35 - 11:00
Talk

Causal Commutative Arrows Revisited

Jeremy Yallop, Hai Liu

11:00 - 11:25
Talk

Functional Reactive Programming, Refactored

Ivan Perez, Manuel Barenz, Henrik Nilsson

10:35 - 11:25: ML - Web at Conference Room 1
Chair(s): Katsuhiro Ueno

10:35 - 11:00
Talk

WebAssembly: high speed at low cost for everyone

Andreas Rossberg

11:00 - 11:25
Talk

Extracting from F* to C: a progress report

Jonathan Protzenko, Karthikeyan Bhargavan, Jean-Karim Zinzindohoué, Abhishek Anand, Cédric Fournet, Bryan Parno, Aseem Rastogi, Nikhil Swamy

11:45 - 12:35: FHPC - Code Generation at Conference Room 2
Chair(s): Jost Berthold

11:45 - 12:10
Talk

Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation

Takayuki Muranushi, Seiya Nishizawa, Hirofumi Tomita, Keigo Nitadori, Masaki Iwasawa, Yutaka Maruyama, Hisashi Yashiro, Yoshifumi Nakamura, Hideyuki Hotta, Junichiro Makino, Natsuki Hosono, Hikaru Inoue

12:10 - 12:35
Talk

JIT Costing Adaptive Skeletons for Performance Portability

Patrick Maier, John Magnus Motron, Phil Trinder

11:45 - 12:35: Haskell - Functors at Noh Theater
Chair(s): Zhenjiang Hu

11:45 - 12:10
Talk

Free Delivery (Functional Pearl)

12:10 - 12:35
Talk

How to Twist Pointers without Breaking Them

Satvik Chauhan, Piyush Kurur, Brent Yorgey

11:45 - 12:25: ML - Implementation at Conference Room 1
Chair(s): Didier Rémy

11:45 - 12:10
Talk

Compiling with Continuations and LLVM

Kavon Farvardin, John Reppy

12:10 - 12:25
Talk

SML# with Natural Join

Tomohiro Sasaki, Katsuhiro Ueno, Atsushi Ohori

14:00 - 14:50: ML - Effects at Conference Room 1
Chair(s): Sam Lindley

14:00 - 14:25
Talk

Eff Directly in OCaml

Oleg Kiselyov, KC Sivaramakrishnan

14:25 - 14:50
Talk

Compiling Links Effect Handlers to the OCaml Backend

Daniel Hillerström, Sam Lindley, KC Sivaramakrishnan

14:00 - 14:50: FHPC - GPUs at Conference Room 2
Chair(s): Ben Lippmeier

14:00 - 14:25
Talk

Low-Level Functional GPU Programming for Parallel Algorithms

Martin Dybdal, Martin Elsman, Bo Joel Svensson, Mary Sheeran

14:25 - 14:50
Talk

APL on GPUs: A TAIL from the Past, Scribbled in Futhark

Troels Henriksen, Martin Dybdal, Henrik Urms, Anna Sofie Kiehn, Daniel Gavin, Hjalte Abelskov, Martin Elsman, Cosmin Oancea

14:00 - 17:30: Tutorials - T3 at Conference Room 6

14:00 - 17:30
Talk

T3: Introduction to OCaml

KC Sivaramakrishnan

14:00 - 17:30: Tutorials - T4 at Conference Room 5

14:00 - 17:30
Talk

T4: An Introduction to to Type-Level and Generic Programming in Haskell

14:00 - 14:50: Haskell - Web Technology at Noh Theater
Chair(s): Iavor Diatchki

14:00 - 14:25
Talk

High-Performance Client-Side Web Applications through Haskell EDSLs

14:25 - 14:50
Talk

Experience Report: Developing High Performance HTTP/2 Server in Haskell

Kazuhiko Yamamoto

15:20 - 16:10: ML - Classes at Conference Room 1
Chair(s): John Reppy

15:20 - 15:45
Talk

Classes for the Masses

Claudio Russo, Matthew Windsor, Don Syme, Rupert Horlick, James Clarke

15:45 - 16:10
Talk

Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML

Yutaka Nagashima, Liam O'Connor

15:20 - 16:10: Haskell - Language Features at Noh Theater
Chair(s): Niki Vazou

15:20 - 15:45
Talk

Pattern Synonyms

Matthew Pickering, Gergo Erdi, Simon Peyton Jones, Richard A. Eisenberg

15:45 - 16:10
Talk

Desugaring Haskell's do-Notation into Applicative Operations

Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov

15:20 - 16:10: FHPC - Streaming and Dataflow at Conference Room 2
Chair(s): Hai Liu

15:20 - 15:45
Talk

Streaming Nested Data Parallelism on Multicores

Frederik M. Madsen, Andrzej Filinski

15:45 - 16:10
Talk

Polarized Data Parallel Data Flow

Ben Lippmeier, Fil Mackay, Amos Robinson

16:40 - 17:35: ML - Future at Conference Room 1
Chair(s): Kenichi Asai

16:40 - 16:55
Talk

Malfunctional Programming

16:55 - 17:20
Talk

Ambiguous pattern variables

Gabriel Scherer, Luc Maranget, Thomas Réfis

17:20 - 17:35
Talk

Typed Embedding of Relational Language in OCaml

Dmitri Kosarev, Dmitri Boulytchev

16:40 - 17:05: FHPC - Graph Processing at Conference Room 2
Chair(s): Yukiyoshi Kameyama

16:40 - 17:05
Talk

s6raph: Vertex-Centric Graph Processing Framework with Functional Interface

Onofre Coll Ruiz, Kiminori Matsuzaki, Shigeyuki Sato

16:40 - 18:00: Haskell - Lightning Talks at Noh Theater
Chair(s): Geoffrey Mainland

16:40 - 18:00
Talk

Lightning Talks

17:05 - 18:00: FHPC - DIscussion at Conference Room 2
Chair(s): David Duke

17:05 - 18:00
Talk

18:30 - 20:30: Receptions - Industrial Reception at Reception Hall 2

18:30 - 20:30
Social Event

All ICFP participants are welcome

Fri 23 Sep

09:09 - 10:25: OCaml - Session 1 at Conference Room 1

09:09 - 09:10
Day opening

09:10 - 09:35
Talk

09:35 - 10:00
Talk

The State of the OCaml Platform: September 2016

10:00 - 10:25
Talk

Learn OCaml: An Online Learning Center for OCaml

Benjamin Canou, Grégoire Henry, Çagdas Bozman, Fabrice Le Fessant

09:15 - 10:15: Erlang - Invited Keynote Talk at Conference Room 2

09:15 - 09:25
Day opening

Opening & Welcome

09:25 - 10:15
Talk

Keynote: Solutions to distributed system problems, 'Akka', actors.

María del Mar Rubio González

09:15 - 10:15: Haskell - Strictness and STM at Noh Theater
Chair(s): Richard A. Eisenberg

09:25 - 09:50
Talk

Revisiting Software Transactional Memory in Haskell

Matthew Le, Ryan Yates, Matthew Fluet

09:50 - 10:15
Talk

Autobahn: Using Genetic Algorithms to Infer Strictness Annotations

Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher

09:15 - 12:45: Tutorials - T5 at Conference Room 6

09:15 - 12:45
Talk

T5: Fable, an F# to JavaScript compiler

Alfonso Garcia-Caro

09:15 - 12:45: Tutorials - T6 at Conference Room 5

09:15 - 12:45
Talk

T6: LiquidHaskell: Verification of Haskell Programs with SMTs

10:35 - 11:25: Erlang - Scalability and Distribution at Conference Room 2

10:35 - 11:00
Talk

A Scalable Reliable Instant Messenger using the SD Erlang Libraries

Natalia Chechina, Mario Moro Hernandez, Phil Trinder

11:00 - 11:25
Talk

CRDTs for the Configuration of Distributed Erlang Systems

Viktória Fördős, Francesco Cesarini

10:35 - 11:25: Haskell - Types at Noh Theater
Chair(s): David Duke

10:35 - 11:00
Talk

Experience Report: Types for a Relational Algebra Library

Marten Agren, Lennart Augustsson

11:00 - 11:25
Talk

Embedding Session Types in Haskell

Sam Lindley, J. Garrett Morris

10:40 - 11:30: OCaml - Session 2 at Conference Room 1

10:40 - 11:05
Talk

Statistically profiling memory in OCaml

Jacques-Henri Jourdan

11:05 - 11:30
Talk

Lock-free programming for the masses

KC Sivaramakrishnan, Théo Laurent

11:45 - 12:35: Erlang - Experience report presentations at Conference Room 2

11:45 - 12:10
Talk

Observing the consistency of distributed systems

Deepthi Devaki Akkoorath, Viktória Fördős, Annette Bieniusa

12:10 - 12:35
Talk

Making everybody comfortable with Erlang: a SCADA system for thermal control

Laura M. Castro, J. Daniel Fernandez, Carlos Lopez Pampin

11:45 - 12:35: Haskell - PC Chair Report and State of Haskell at Noh Theater

11:45 - 12:35
Talk

PC Chair Report and State of Haskell

11:45 - 12:35: OCaml - Session 3 at Conference Room 1

11:45 - 12:10
Talk

Conex -- establishing trust into data repositories

Hannes Mehnert, Louis Gesbert

12:10 - 12:35
Talk

OPAM-builder: Continuous Monitoring of OPAM Repositories

Fabrice Le Fessant

14:00 - 14:50: Haskell - Monads at Noh Theater
Chair(s): Yukiyoshi Kameyama

14:00 - 14:25
Talk

The Key Monad: Type-Safe Unconstrained Dynamic Typing

Pablo Buiras, Koen Claessen, Atze van der Ploeg

14:25 - 14:50
Talk

Supermonads: One Notion to Bind Them All

Jan Bracker, Henrik Nilsson

14:00 - 14:50: OCaml - Session 4 at Conference Room 1

14:00 - 14:25
Talk

Sundials/ML: interfacing with numerical solvers

Timothy Bourke, Jun Inoue, Marc Pouzet

14:25 - 14:50
Talk

OCaml inside: a drop-in replacement for libtls

Enguerrand Decorne, Jeremy Yallop, David Kaloper-Mersinjak

14:00 - 17:30: Tutorials - T7 at Conference Room 6

14:00 - 17:30
Talk

T7: PureScript Front-end Developement

14:00 - 17:30: Tutorials - T8 at Conference Room 5

14:00 - 17:30
Talk

T8: Transforming data into GUI: a new style graphical user interface library for Haskell

Fumiaki Kinoshita

14:00 - 14:50: Erlang - Tools at Conference Room 2

14:00 - 14:25
Talk

Profiling Actor Utilization and Communication in Akka

Andrea Rosà, Lydia Y. Chen, Walter Binder

14:25 - 14:50
Talk

The Nifty Way to Call Hell from Heaven

Andreas Löscher, Kostis Sagonas

15:20 - 16:10: Haskell - Abstractions that Scale at Noh Theater
Chair(s): Geoffrey Mainland

15:20 - 15:45
Talk

Non-recursive Make Considered Harmful: Build Systems at Scale

Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow

15:45 - 16:10
Talk

Lazy Graph Processing in Haskell

Philip Dexter, Yu David Liu, Kenneth Chiu

15:20 - 16:10: Erlang - Poster presentations at Conference Room 2

15:20 - 15:45
Other

Automatic generation of UML sequence diagrams from test counterexamples

Daniel Carballa, Laura M. Castro

15:45 - 16:10
Other

Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang

Adam Barwell, Christopher Brown, Kevin Hammond, David Castro

15:20 - 16:10: OCaml - Session 5 at Conference Room 1

15:20 - 15:45
Talk

Semantics of the Lambda intermediate language

Pierre Chambart

15:45 - 16:10
Talk

Generic Programming in OCaml

Florent Balestrieri, Michel Mauny

16:10 - 17:05: OCaml - Break and Poster Session at Conference Room 1

16:10 - 16:28

Inuit library: from printf to interactive user-interfacesPoster

Frédéric Bour

16:28 - 16:46

ocp-lint, A Plugin-based Style-Checker with Semantic PatchesPoster

Çagdas Bozman, Théophane Hufschmitt, Michael Laporte, Fabrice Le Fessant

16:46 - 17:05

Partial evaluation and metaprogrammingPoster

Pierre Chambart

16:40 - 18:00: Erlang - Erlang in Robotics & Erlang Latest News at Conference Room 2

16:40 - 17:05
Talk

Towards Reliable and Scalable Robot Communication

Andreea Lutac, Natalia Chechina, Gerardo Aragon-Camarasa, Phil Trinder

17:05 - 17:30
Talk

Erlang latest news

17:30 - 18:00
Day closing

Farewell & Closing

17:05 - 18:00: OCaml - Session 6 at Conference Room 1

17:05 - 17:30
Talk

Who's got your Mail? Mr. Mime!

Romain Calascibetta

17:30 - 17:55
Talk

Improving the OCaml Web Stack: Motivations and Progress

Spiridon Eliopoulos

17:55 - 18:00
Day closing

Sat 24 Sep

09:15 - 10:15: FARM - 1 at Conference Room 3

09:15 - 09:45
Talk

Bithoven: Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis

09:45 - 10:15
Talk

Structured reactive programming with polymorphic temporal tiles

Simon Archipoff, David Janin

09:15 - 10:15: CUFP - Keynote at Noh Theater

09:15 - 09:20
Day opening

Opening remarks

Katie Ots, Alex Lang

09:20 - 10:15
Talk

09:15 - 10:15: HIW - The State of GHC at Conference Room 1

09:15 - 09:45
Talk

The State of GHC

Simon Peyton Jones

09:45 - 10:15
Talk

Contributing to GHC

10:35 - 11:25: FARM - 2 at Conference Room 3

10:35 - 11:00
Talk

Demo: Juniper: A Functional Reactive Programming Language for the Arduino

Caleb Helbling, Sam Guyer

11:00 - 11:25
Talk

Juniper: A Functional Reactive Programming Language for the Arduino

Caleb Helbling, Sam Guyer

10:35 - 11:25: HIW - Pluggability and Modularity at Conference Room 1

10:35 - 11:00
Talk

Backpack to Work: Towards Backpack in Practice

11:00 - 11:25
Talk

More powerful GHC Plugins

Moritz Angermann

10:35 - 11:25: CUFP - Talks 1 at Noh Theater

10:35 - 11:00
Talk

Immutable Infrastructure Deployment with Haskell

11:00 - 11:25
Talk

Developing a fast and durable pub/sub message bus

11:45 - 12:35: FARM - 3 at Conference Room 3

11:45 - 12:10
Talk

Arrp: A Functional Language with Multi-dimensional Signals and Recurrence Equations

12:10 - 12:35
Talk

Demo: Klangmeister

11:45 - 12:35: CUFP - Talks 2 at Noh Theater

11:45 - 12:10
Talk

Chaos testing with F# and Azure

12:10 - 12:35
Talk

Building a web application with continuation monads

11:45 - 12:35: HIW - Types and Effects at Conference Room 1

11:45 - 12:10
Talk

A Dependent Haskell Triptych

Richard A. Eisenberg

12:10 - 12:35
Talk

Automatically Escaping Monads

14:00 - 14:50: FARM - 4 at Conference Room 3

14:00 - 14:25
Talk

Demo: VoxelCAD, a collaborative voxel-based CAD tool

Csongor Kiss, Toby Shaw

Link to publication

14:25 - 14:50
Talk

o.OM: Structured-Functional Communication between Computer Music Systems using OSC and Odot

Jean Bresson, John MacCallum, Adrian Freed

14:00 - 14:50: CUFP - Talks 3 at Noh Theater

14:00 - 14:25
Talk

Creating an approachable Haskell-like DSL

Jasper Van der Jeugt

14:25 - 14:50
Talk

The Highs and Lows of Optimising DSLs

14:00 - 14:50: HIW - The Engineering of GHC at Conference Room 1

14:00 - 14:25
Talk

Pita: Tools for making GHC fast again

14:25 - 14:50
Talk

GHC Determinism

15:20 - 16:10: FARM - 5 at Conference Room 3

15:20 - 15:45
Talk

Call for Collaboration: Computational Musicology, ????, Profit

15:45 - 16:10
Talk

Demo: Alda: A text-based music composition language

Link to publication

15:20 - 16:10: HIW - Backends for GHC at Conference Room 1

15:20 - 15:45
Talk

15:45 - 16:10
Talk

GHCVM - A JVM Backend for GHC

Rahul Muttineni

15:20 - 16:10: CUFP - Talks 4 at Noh Theater

15:20 - 15:45
Talk

Composable Caching in Swift

15:45 - 16:10
Talk

Guix: Scheme as a uniform OS admin and deployment interface

Ludovic Courtès

16:40 - 18:00: FARM - 6 at Conference Room 3

16:40 - 17:20
Talk

A Livecoding Semantics for Functional Reactive Programming

17:20 - 18:00
Talk

Demo: Epimorphism

Link to publication

16:40 - 18:00: CUFP - Talks 5 at Noh Theater

16:40 - 17:05
Talk

Baby steps to unikernels in production

17:05 - 17:55
Talk

Hope is a Monad

Michael Sperber

17:55 - 18:00
Day closing

Closing remarks

Katie Ots, Alex Lang

16:40 - 18:00: HIW - Trees and Lightning Talks at Conference Room 1

16:40 - 17:05
Talk

Trees That Grow

Shayan Najd, Simon Peyton Jones, Jacques Carette

17:05 - 18:00
Other

Lightning talks

19:30 - 21:30: FARM - Performance Evening at Live House Beverly Hills Restaurant
Chair(s): Renick Bell

19:30 - 21:30
Other

FARM 2016 Performance Evening

Sun 18 Sep 2016


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
Conference Room 1				TyDe Session One 09:15 - 10:15																		TyDe Session Two 10:45 - 12:15																																							TyDe Session Three 14:00 - 15:00																		TyDe Session Four 15:30 - 16:30																		TyDe Session Five 17:00 - 18:00
Conference Room 2				Scheme Invited Talk 09:15 - 10:15																		Scheme Scheming 10:45 - 12:15																																							Scheme Invited Talk 14:00 - 15:00																		Scheme Functional Programming 15:30 - 16:30																		Scheme Scheming 17:00 - 18:00
Conference Room 3			HOPE Welcome and Invited Talk 09:10 - 10:15																			HOPE Session 1 (Effects) 10:45 - 12:15																																							HOPE Session 2 (Verification) 14:00 - 15:00																		HOPE Session 3 (Compilation) 15:30 - 16:30																		HOPE Session 4 (Semantics) 17:00 - 17:30
Conference Room 5				PLMW 1 09:15 - 10:15																		PLMW 2 10:45 - 12:15																																							PLMW 3 14:00 - 15:00																		PLMW 4 15:30 - 16:30																		PLMW 5 17:00 - 18:00

Mon 19 Sep 2016


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30
Noh Theater				Keynote Talks Keynote 1 09:15 - 10:15																		Research Papers Session 1 10:45 - 12:25																																			Research Papers Session 2 13:40 - 14:55																			Research Papers Session 3 15:15 - 16:30																					Research Papers Session 4 17:00 - 18:15
Reception Hall 1																																																																	Receptions Welcome Reception with SRC Posters 18:30 - 20:30

Tue 20 Sep 2016


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30
Hotel Nikko																																																																	Receptions Banquet and SIGPLAN Awards 19:00 - 21:00
Noh Theater				Keynote Talks Keynote 2 09:15 - 10:15																Research Papers Session 5 10:35 - 12:15																																			Research Papers Session 6 13:30 - 14:45																			Research Papers Session 7 15:05 - 16:20																					Research Papers Session 8 16:50 - 17:40										Reports ICFP Program Chair Report and Contest Presentation 17:40 - 18:10

Wed 21 Sep 2016


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
Noh Theater				Keynote Talks Keynote 3 09:15 - 10:15																Research Papers Session 9 10:35 - 12:15																																			Research Papers Session 10 13:30 - 14:45																			Research Papers Session 11 15:05 - 16:20																					Research Papers Session 12 16:50 - 17:40										Reports SRC Awards and Closing 17:40 - 18:10

Thu 22 Sep 2016


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30
Conference Room 1			ML Invited Talk 09:10 - 10:15																	ML Web 10:35 - 11:25														ML Implementation 11:45 - 12:25																											ML Effects 14:00 - 14:50																ML Classes 15:20 - 16:10																ML Future 16:40 - 17:35
Conference Room 2				FHPC Invited Talk 09:15 - 10:15																FHPC Domain Specific Languages 10:35 - 11:25														FHPC Code Generation 11:45 - 12:35																											FHPC GPUs 14:00 - 14:50																FHPC Streaming and Dataflow 15:20 - 16:10																FHPC Graph Processing 16:40 - 17:05					FHPC DIscussion 17:05 - 18:00
Conference Room 5				Tutorials T2 09:15 - 12:45																																																									Tutorials T4 14:00 - 17:30
Conference Room 6				Tutorials T1 09:15 - 12:45																																																									Tutorials T3 14:00 - 17:30
Noh Theater				Haskell Testing 09:15 - 10:15																Haskell FRP 10:35 - 11:25														Haskell Functors 11:45 - 12:35																											Haskell Web Technology 14:00 - 14:50																Haskell Language Features 15:20 - 16:10																Haskell Lightning Talks 16:40 - 18:00
Reception Hall 2																																																																	Receptions Industrial Reception 18:30 - 20:30

Fri 23 Sep 2016


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
Conference Room 1			OCaml Session 1 09:09 - 10:25																		OCaml Session 2 10:40 - 11:30													OCaml Session 3 11:45 - 12:35																											OCaml Session 4 14:00 - 14:50																OCaml Session 5 15:20 - 16:10										OCaml Break and Poster Session 16:10 - 17:05											OCaml Session 6 17:05 - 18:00
Conference Room 2				Erlang Invited Keynote Talk 09:15 - 10:15																Erlang Scalability and Distribution 10:35 - 11:25														Erlang Experience report presentations 11:45 - 12:35																											Erlang Tools 14:00 - 14:50																Erlang Poster presentations 15:20 - 16:10																Erlang Erlang in Robotics & Erlang Latest News 16:40 - 18:00
Conference Room 5				Tutorials T6 09:15 - 12:45																																																									Tutorials T8 14:00 - 17:30
Conference Room 6				Tutorials T5 09:15 - 12:45																																																									Tutorials T7 14:00 - 17:30
Noh Theater				Haskell Strictness and STM 09:15 - 10:15																Haskell Types 10:35 - 11:25														Haskell PC Chair Report and State of Haskell 11:45 - 12:35																											Haskell Monads 14:00 - 14:50																Haskell Abstractions that Scale 15:20 - 16:10																Haskell 16:40 - 18:00

Sat 24 Sep 2016


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30
Conference Room 1				HIW The State of GHC 09:15 - 10:15																HIW Pluggability and Modularity 10:35 - 11:25														HIW Types and Effects 11:45 - 12:35																											HIW The Engineering of GHC 14:00 - 14:50																HIW Backends for GHC 15:20 - 16:10																HIW Trees and Lightning Talks 16:40 - 18:00
Conference Room 3				FARM 1 09:15 - 10:15																FARM 2 10:35 - 11:25														FARM 3 11:45 - 12:35																											FARM 4 14:00 - 14:50																FARM 5 15:20 - 16:10																FARM 6 16:40 - 18:00
Live House Beverly Hills Restaurant																																																																	FARM Performance Evening 19:30 - 21:30
Noh Theater				CUFP Keynote 09:15 - 10:15																CUFP Talks 1 10:35 - 11:25														CUFP Talks 2 11:45 - 12:35																											CUFP Talks 3 14:00 - 14:50																CUFP Talks 4 15:20 - 16:10																CUFP Talks 5 16:40 - 18:00

Sun 18 Sep 2016


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45
Conference Room 1				TyDe 2016 Opening 09:15 - 09:35				TyDe 2016 APLicative Programming with Naperian Functors 09:35 - 09:55				TyDe 2016 Choose Your Own Derivative 09:55 - 10:15										TyDe 2016 Generic diff3 for Algebraic Datatypes 10:45 - 11:15						TyDe 2016 Programming Assistance for Type-directed Programming 11:15 - 11:35				TyDe 2016 Generic partially-static data 11:35 - 11:55				TyDe 2016 Bidirectional Transformations are Proof-Relevant Bisimulations 11:55 - 12:15																									TyDe 2016 Applications of Applicative Proof Search 14:00 - 14:30						TyDe 2016 Liberating Effects with Rows and Handlers 14:30 - 15:00												TyDe 2016 Programming with Monadic CSP-Style Processes in Dependent Type Theory 15:30 - 16:00						TyDe 2016 Generic Lookup and Update for Infinitary Inductive-Recursive Types 16:00 - 16:30												TyDe 2016 Parameterized Extensible Effects and Session Types 17:00 - 17:20				TyDe 2016 An Agda formalisation of the transitive closure of block matrices 17:20 - 17:40
Conference Room 2				Scheme 2016 Opening Remarks 09:15 - 09:25		Scheme 2016 A verified Lisp implementation for a verified theorem prover 09:25 - 10:15																Scheme 2016 A Scheme concurrency library 10:45 - 11:15						Scheme 2016 Nash: a tracing JIT for Extension Language 11:15 - 11:45						Scheme 2016 Ghosts in the machine 11:45 - 12:15																											Scheme 2016 R7RS update 14:00 - 14:20				Scheme 2016 GNU Guix: The Functional GNU/Linux Distro That’s a Scheme Library 14:20 - 15:00														Scheme 2016 Function compose, Type cut, And the Algebra of logic 15:30 - 16:00						Scheme 2016 Multi-purpose web framework design based on websocket over HTTP Gateway 16:00 - 16:30												Scheme 2016 miniAdapton: A Minimal Implementation of Incremental Computation in Scheme 17:00 - 17:30						Scheme 2016 Deriving Pure, Functional One-Pass Operations for Processing Tail-Align ... 17:30 - 18:00
Conference Room 3			HOPE 2016 Opening remarks 09:10 - 09:15	HOPE 2016 Effective programming: bringing algebraic effects and handlers to OCaml 09:15 - 10:15																		HOPE 2016 Effects as Capabilities 10:45 - 11:15						HOPE 2016 A Logical Account of a Type-and-Effect System 11:15 - 11:45						HOPE 2016 Simple Dependent Polymorphic I/O Effects 11:45 - 12:15																											HOPE 2016 Concurrent Data Structures Linked in Time 14:00 - 14:30						HOPE 2016 Growing a Proof Assistant 14:30 - 15:00												HOPE 2016 Type Directed Compilation of Row-typed Algebraic Effects 15:30 - 16:00						HOPE 2016 Administrative normal form, continued: Sharing control in direct style 16:00 - 16:30												HOPE 2016 Functional models of full ground, and general, reference cells 17:00 - 17:30
Conference Room 5				PLMW 2016 Welcome to ICFP! 09:15 - 09:45						PLMW 2016 Rust: PL research in industry 09:45 - 10:15												PLMW 2016 Basic Mechanics of Operational Semantics 10:45 - 11:30									PLMW 2016 Some Types of Types 11:30 - 12:15																														PLMW 2016 Analyzing JavaScript Web Applications in the Wild (Mostly) Statically 14:00 - 14:30						PLMW 2016 Introduction to Dependent Types 14:30 - 15:00												PLMW 2016 Program Transformations for Developing Efficient and Correct Programs w ... 15:30 - 16:00						PLMW 2016 How to Write Papers So People Can Read Them 16:00 - 16:30												PLMW 2016 Principle and Practice of OCaml Type Debugger 17:00 - 17:30						PLMW 2016 Unaccustomed as I am to public speaking 17:30 - 18:00

Mon 19 Sep 2016


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45
Noh Theater				ICFP 2016 Keynote Talks TensorFlow: Learning Functions at Scale 09:15 - 10:15																		ICFP 2016 Research Papers Farms, Pipes, Streams and Reforestation: Reasoning about Structured Par ... 10:45 - 11:10					ICFP 2016 Research Papers Dag-Calculus: A Calculus for Parallel Computation 11:10 - 11:35					ICFP 2016 Research Papers A Lambda-Calculus Foundation for Universal Probabilistic Programming 11:35 - 12:00					ICFP 2016 Research Papers Deriving a Probability Density Calculator (Functional Pearl) 12:00 - 12:25																				ICFP 2016 Research Papers A New Verified Compiler Backend for CakeML 13:40 - 14:05					ICFP 2016 Research Papers Sequent Calculus as a Compiler Intermediate Language 14:05 - 14:30					ICFP 2016 Research Papers Refinement through Restraint: Bringing Down the Cost of Verification 14:30 - 14:55									ICFP 2016 Research Papers Fully Abstract Compilation via Universal Embedding 15:15 - 15:40					ICFP 2016 Research Papers Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl) 15:40 - 16:05					ICFP 2016 Research Papers A Type Theory for Incremental Computational Complexity with Control Flo ... 16:05 - 16:30											ICFP 2016 Research Papers Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms 17:00 - 17:25					ICFP 2016 Research Papers Queueing and Glueing for Optimal Partitioning (Functional Pearl) 17:25 - 17:50					ICFP 2016 Research Papers All Sorts of Permutations (Functional Pearl) 17:50 - 18:15
Reception Hall 1																																																																	ICFP 2016 Receptions Reception 18:30 - 20:30

Tue 20 Sep 2016


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45
Hotel Nikko																																																																	ICFP 2016 Receptions Reception 19:00 - 21:00
Noh Theater				ICFP 2016 Keynote Talks Journey to Find Bugs in JavaScript Web Applications in the Wild 09:15 - 10:15																ICFP 2016 Research Papers A Glimpse of Hopjs 10:35 - 11:00					ICFP 2016 Research Papers Experience Report: Growing and Shrinking Polygons for Random Testing of ... 11:00 - 11:25					ICFP 2016 Research Papers Think Like a Vertex, Behave Like a Function! A Functional DSL for Verte ... 11:25 - 11:50					ICFP 2016 Research Papers Datafun: A Functional Datalog 11:50 - 12:15																				ICFP 2016 Research Papers Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usuall ... 13:30 - 13:55					ICFP 2016 Research Papers Automatically Disproving Fair Termination of Higher-Order Functional Pr ... 13:55 - 14:20					ICFP 2016 Research Papers Higher-Order Ghost State 14:20 - 14:45									ICFP 2016 Research Papers Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typ ... 15:05 - 15:30					ICFP 2016 Research Papers Elaborator Reflection: Extending Idris in Idris 15:30 - 15:55					ICFP 2016 Research Papers Partial Type Equivalences for Verified Dependent Interoperability 15:55 - 16:20											ICFP 2016 Research Papers Constructive Galois Connections: Taming the Galois Connection Framework ... 16:50 - 17:15					ICFP 2016 Research Papers An Abstract Memory Functor for Verified C Static Analyzers 17:15 - 17:40					ICFP 2016 Reports Program Chair Report (Eijiro Sumii) 17:40 - 17:50		ICFP 2016 Reports Programming Contest Presentation (Keisuke Nakano) 17:50 - 18:10

Wed 21 Sep 2016


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45
Noh Theater				ICFP 2016 Keynote Talks A Functional Programmer's Guide to Homotopy Type Theory 09:15 - 10:15																ICFP 2016 Research Papers Ghostbuster: A Tool for Simplifying and Converting GADTs 10:35 - 11:00					ICFP 2016 Research Papers Indexed Codata Types 11:00 - 11:25					ICFP 2016 Research Papers Disjoint Intersection Types 11:25 - 11:50					ICFP 2016 Research Papers Set-Theoretic Types for Polymorphic Variants 11:50 - 12:15																				ICFP 2016 Research Papers Hierarchical Memory Management for Parallel Programs 13:30 - 13:55					ICFP 2016 Research Papers Allocation Characterizes Polyvariance: A Unified Methodology for Polyva ... 13:55 - 14:20					ICFP 2016 Research Papers A Fully Concurrent Garbage Collector for Functional Programs on Multico ... 14:20 - 14:45									ICFP 2016 Research Papers Talking Bananas: Structural Recursion for Session Types 15:05 - 15:30					ICFP 2016 Research Papers The Best of Both Worlds: Linear Functional Programming without Compromise 15:30 - 15:55					ICFP 2016 Research Papers Context-Free Session Types 15:55 - 16:20											ICFP 2016 Research Papers Combining Effects and Coeffects via Grading 16:50 - 17:15					ICFP 2016 Research Papers String Diagrams for Free Monads (Functional Pearl) 17:15 - 17:40					ICFP 2016 Reports SRC Awards (David Van Horn) 17:40 - 17:55			ICFP 2016 Reports ICFP 2016 Closing / ICFP 2017 Presentation 17:55 - 18:10

Thu 22 Sep 2016


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45
Conference Room 1			ML 2016 Welcome 09:10 - 09:15	ML 2016 Making Reactive Programs Function 09:15 - 10:15																ML 2016 WebAssembly: high speed at low cost for everyone 10:35 - 11:00					ML 2016 Extracting from F* to C: a progress report 11:00 - 11:25									ML 2016 Compiling with Continuations and LLVM 11:45 - 12:10					ML 2016 SML# with Natural Join 12:10 - 12:25																						ML 2016 Eff Directly in OCaml 14:00 - 14:25					ML 2016 Compiling Links Effect Handlers to the OCaml Backend 14:25 - 14:50											ML 2016 Classes for the Masses 15:20 - 15:45					ML 2016 Close Encounters of the Higher Kind - Emulating Constructor Classes in ... 15:45 - 16:10											ML 2016 Malfunctional Programming 16:40 - 16:55			ML 2016 Ambiguous pattern variables 16:55 - 17:20					ML 2016 Typed Embedding of Relational Language in OCaml 17:20 - 17:35
Conference Room 2				FHPC 2016 From Identification of Parallelizability to Derivation of Parallelizabl ... 09:15 - 10:15																FHPC 2016 Icicle: Write Once, Run Once 10:35 - 11:00					FHPC 2016 Using Fusion to Enable Late Design Decisions for Pipelined Computations 11:00 - 11:25									FHPC 2016 Automatic Generation of Efficient Codes from Mathematical Descriptions ... 11:45 - 12:10					FHPC 2016 JIT Costing Adaptive Skeletons for Performance Portability 12:10 - 12:35																						FHPC 2016 Low-Level Functional GPU Programming for Parallel Algorithms 14:00 - 14:25					FHPC 2016 APL on GPUs: A TAIL from the Past, Scribbled in Futhark 14:25 - 14:50											FHPC 2016 Streaming Nested Data Parallelism on Multicores 15:20 - 15:45					FHPC 2016 Polarized Data Parallel Data Flow 15:45 - 16:10											FHPC 2016 s6raph: Vertex-Centric Graph Processing Framework with Functional Interface 16:40 - 17:05					FHPC 2016 Discussion 17:05 - 18:00
Conference Room 5				ICFP 2016 Tutorials T2: Extensible Effects: understanding them, implementing them, using them 09:15 - 12:45																																																									ICFP 2016 Tutorials T4: An Introduction to to Type-Level and Generic Programming in Haskell 14:00 - 17:30
Conference Room 6				ICFP 2016 Tutorials T1: Teaching Functional Programming 09:15 - 12:45																																																									ICFP 2016 Tutorials T3: Introduction to OCaml 14:00 - 17:30
Noh Theater				Haskell 2016 Welcome 09:15 - 09:25		Haskell 2016 FitSpec: Refining Property Sets for Functional Testing 09:25 - 09:50					Haskell 2016 QuickFuzz: An Automatic Random Fuzzer for Common File Formats 09:50 - 10:15									Haskell 2016 Causal Commutative Arrows Revisited 10:35 - 11:00					Haskell 2016 Functional Reactive Programming, Refactored 11:00 - 11:25									Haskell 2016 Free Delivery (Functional Pearl) 11:45 - 12:10					Haskell 2016 How to Twist Pointers without Breaking Them 12:10 - 12:35																						Haskell 2016 High-Performance Client-Side Web Applications through Haskell EDSLs 14:00 - 14:25					Haskell 2016 Experience Report: Developing High Performance HTTP/2 Server in Haskell 14:25 - 14:50											Haskell 2016 Pattern Synonyms 15:20 - 15:45					Haskell 2016 Desugaring Haskell's do-Notation into Applicative Operations 15:45 - 16:10											Haskell 2016 Lightning Talks 16:40 - 18:00
Reception Hall 2																																																																	ICFP 2016 Receptions All ICFP participants are welcome 18:30 - 20:30

Fri 23 Sep 2016


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45
Conference Room 1			OCaml 2016 Welcome 09:09 - 09:10	OCaml 2016 Invited Talk 09:10 - 09:35					OCaml 2016 The State of the OCaml Platform: September 2016 09:35 - 10:00					OCaml 2016 Learn OCaml: An Online Learning Center for OCaml 10:00 - 10:25								OCaml 2016 Statistically profiling memory in OCaml 10:40 - 11:05					OCaml 2016 Lock-free programming for the masses 11:05 - 11:30								OCaml 2016 Conex -- establishing trust into data repositories 11:45 - 12:10					OCaml 2016 OPAM-builder: Continuous Monitoring of OPAM Repositories 12:10 - 12:35																						OCaml 2016 Sundials/ML: interfacing with numerical solvers 14:00 - 14:25					OCaml 2016 OCaml inside: a drop-in replacement for libtls 14:25 - 14:50											OCaml 2016 Semantics of the Lambda intermediate language 15:20 - 15:45					OCaml 2016 Generic Programming in OCaml 15:45 - 16:10					OCaml 2016Poster Inuit library: from printf to interactive user-interfaces 16:10 - 16:28				OCaml 2016Poster ocp-lint, A Plugin-based Style-Checker with Semantic Patches 16:28 - 16:46			OCaml 2016Poster Partial evaluation and metaprogramming 16:46 - 17:05				OCaml 2016 Who's got your Mail? Mr. Mime! 17:05 - 17:30					OCaml 2016 Improving the OCaml Web Stack: Motivations and Progress 17:30 - 17:55					OCaml 2016 Closing 17:55 - 18:00
Conference Room 2				Erlang 2016 Opening & Welcome 09:15 - 09:25		Erlang 2016 Keynote: Solutions to distributed system problems, 'Akka', actors. 09:25 - 10:15														Erlang 2016 A Scalable Reliable Instant Messenger using the SD Erlang Libraries 10:35 - 11:00					Erlang 2016 CRDTs for the Configuration of Distributed Erlang Systems 11:00 - 11:25									Erlang 2016 Observing the consistency of distributed systems 11:45 - 12:10					Erlang 2016 Making everybody comfortable with Erlang: a SCADA system for thermal co ... 12:10 - 12:35																						Erlang 2016 Profiling Actor Utilization and Communication in Akka 14:00 - 14:25					Erlang 2016 The Nifty Way to Call Hell from Heaven 14:25 - 14:50											Erlang 2016 Automatic generation of UML sequence diagrams from test counterexamples 15:20 - 15:45					Erlang 2016 Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang 15:45 - 16:10											Erlang 2016 Towards Reliable and Scalable Robot Communication 16:40 - 17:05					Erlang 2016 Erlang latest news 17:05 - 17:30					Erlang 2016 Farewell & Closing 17:30 - 18:00
Conference Room 5				ICFP 2016 Tutorials T6: LiquidHaskell: Verification of Haskell Programs with SMTs 09:15 - 12:45																																																									ICFP 2016 Tutorials T8: Transforming data into GUI: a new style graphical user interface li ... 14:00 - 17:30
Conference Room 6				ICFP 2016 Tutorials T5: Fable, an F# to JavaScript compiler 09:15 - 12:45																																																									ICFP 2016 Tutorials T7: PureScript Front-end Developement 14:00 - 17:30
Noh Theater						Haskell 2016 Revisiting Software Transactional Memory in Haskell 09:25 - 09:50					Haskell 2016 Autobahn: Using Genetic Algorithms to Infer Strictness Annotations 09:50 - 10:15									Haskell 2016 Experience Report: Types for a Relational Algebra Library 10:35 - 11:00					Haskell 2016 Embedding Session Types in Haskell 11:00 - 11:25									Haskell 2016 PC Chair Report and State of Haskell 11:45 - 12:35																											Haskell 2016 The Key Monad: Type-Safe Unconstrained Dynamic Typing 14:00 - 14:25					Haskell 2016 Supermonads: One Notion to Bind Them All 14:25 - 14:50											Haskell 2016 Non-recursive Make Considered Harmful: Build Systems at Scale 15:20 - 15:45					Haskell 2016 Lazy Graph Processing in Haskell 15:45 - 16:10

Sat 24 Sep 2016


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45
Conference Room 1				HIW 2016 The State of GHC 09:15 - 09:45						HIW 2016 Contributing to GHC 09:45 - 10:15										HIW 2016 Backpack to Work: Towards Backpack in Practice 10:35 - 11:00