Noh Theater - ICFP 2016

VenueNara Kasugano International Forum

Room nameNoh Theater

Floor1

Capacity500

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 19 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

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

09:15 60m Talk		TensorFlow: Learning Functions at Scale Keynote Talks Martin Abadi Google

10:45 - 12:25	Session 1Research Papers at Noh Theater Chair(s): Akimasa Morihata University of Tokyo, Japan

10:45 25m Talk		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 25m Talk		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 25m Talk		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 25m Talk		Deriving a Probability Density Calculator (Functional Pearl) Research Papers Wazim Mohammed Ismail Indiana University, USA, Chung-chieh Shan Indiana University, USA DOI

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

13:40 25m Talk		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 25m Talk		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 25m Talk		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	Session 3Research Papers at Noh Theater Chair(s): Neel Krishnaswami University of Birmingham, UK

15:15 25m Talk		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 25m Talk		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 25m Talk		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	Session 4Research Papers at Noh Theater Chair(s): Tom Schrijvers KU Leuven

17:00 25m Talk		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 25m Talk		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 25m Talk		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

Tue 20 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15	Keynote 2Keynote Talks at Noh Theater Chair(s): Gabriele Keller University of New South Wales

09:15 60m Talk		Journey to Find Bugs in JavaScript Web Applications in the Wild Keynote Talks Sukyoung Ryu KAIST

10:35 - 12:15	Session 5Research Papers at Noh Theater Chair(s): Robert Bruce Findler Northwestern University

10:35 25m Talk		A Glimpse of Hopjs Research Papers Manuel Serrano Inria, France, Vincent Prunet Inria, France DOI
11:00 25m Talk		Experience Report: Growing and Shrinking Polygons for Random Testing of Computational Geometry Algorithms Research Papers Ilya Sergey University College London, UK DOI
11:25 25m Talk		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 25m Talk		Datafun: A Functional Datalog Research Papers Michael Arntzenius University of Birmingham, UK, Neel Krishnaswami University of Birmingham, UK DOI

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

13:30 25m Talk		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 25m Talk		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 25m Talk		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	Session 7Research Papers at Noh Theater Chair(s): Andres Löh Well-Typed LLP

15:05 25m Talk		Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data Research Papers Jesper Cockx iMinds, Belgium, Dominique Devriese iMinds, Belgium, Frank Piessens iMinds, Belgium DOI
15:30 25m Talk		Elaborator Reflection: Extending Idris in Idris Research Papers David Thrane Christiansen Indiana University, USA, Edwin Brady University of St. Andrews, UK DOI
15:55 25m Talk		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	Session 8Research Papers at Noh Theater Chair(s): Scott Owens University of Kent, UK

16:50 25m Talk		Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory Research Papers David Darais University of Maryland, USA, David Van Horn University of Maryland, USA DOI
17:15 25m Talk		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	ICFP Program Chair Report and Contest PresentationReports at Noh Theater

17:40 10m Other		Program Chair Report (Eijiro Sumii) Reports
17:50 20m Awards		Programming Contest Presentation (Keisuke Nakano) Reports

Wed 21 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

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

09:15 60m Talk		A Functional Programmer's Guide to Homotopy Type Theory Keynote Talks Daniel R. Licata Wesleyan University

10:35 - 12:15	Session 9Research Papers at Noh Theater Chair(s): Sam Lindley University of Edinburgh, UK

10:35 25m Talk		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 25m Talk		Indexed Codata Types Research Papers David Thibodeau McGill University, Canada, Andrew Cave McGill University, Canada, Brigitte Pientka McGill University, Canada DOI
11:25 25m Talk		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 25m Talk		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	Session 10Research Papers at Noh Theater Chair(s): John Reppy University of Chicago

13:30 25m Talk		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 25m Talk		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 25m Talk		A Fully Concurrent Garbage Collector for Functional Programs on Multicore Processors Research Papers Katsuhiro Ueno Tohoku University, Japan, Atsushi Ohori Tohoku University, Japan DOI

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

15:05 25m Talk		Talking Bananas: Structural Recursion for Session Types Research Papers Sam Lindley University of Edinburgh, UK, J. Garrett Morris University of Edinburgh, UK DOI
15:30 25m Talk		The Best of Both Worlds: Linear Functional Programming without Compromise Research Papers J. Garrett Morris University of Edinburgh, UK DOI
15:55 25m Talk		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	Session 12Research Papers at Noh Theater Chair(s): Jeremy Gibbons University of Oxford, UK

16:50 25m Talk		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 25m Talk		String Diagrams for Free Monads (Functional Pearl) Research Papers Maciej Piróg KU Leuven, Belgium, Nicolas Wu University of Bristol, UK DOI

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

17:40 15m Awards		SRC Awards (David Van Horn) Reports
17:55 15m Day closing		ICFP 2016 Closing / ICFP 2017 Presentation Reports

Thu 22 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15	TestingHaskell at Noh Theater Chair(s): Stephanie Weirich University of Pennsylvania

09:15 10m Day opening		Welcome Haskell
09:25 25m Talk		FitSpec: Refining Property Sets for Functional Testing Haskell Rudy Braquehais , Colin Runciman DOI
09:50 25m Talk		QuickFuzz: An Automatic Random Fuzzer for Common File Formats Haskell Gustavo Grieco , Martín Ceresa , Pablo Buiras Chalmers University of Technology DOI

10:35 - 11:25	FRPHaskell at Noh Theater Chair(s): David Terei Stanford

10:35 25m Talk		Causal Commutative Arrows Revisited Haskell Jeremy Yallop University of Cambridge, UK, Hai Liu Intel Labs DOI
11:00 25m Talk		Functional Reactive Programming, Refactored Haskell Ivan Perez University of Nottingham, Manuel Bärenz , Henrik Nilsson DOI

11:45 - 12:35	FunctorsHaskell at Noh Theater Chair(s): Zhenjiang Hu National Institute of Informatics, Japan

11:45 25m Talk		Free Delivery (Functional Pearl) Haskell Jeremy Gibbons University of Oxford, UK DOI
12:10 25m Talk		How to Twist Pointers without Breaking Them Haskell Satvik Chauhan , Piyush Kurur , Brent Yorgey Hendrix College DOI

14:00 - 14:50	Web TechnologyHaskell at Noh Theater Chair(s): Iavor Diatchki Galois, Inc.

14:00 25m Talk		High-Performance Client-Side Web Applications through Haskell EDSLs Haskell Anton Ekblad DOI
14:25 25m Talk		Experience Report: Developing High Performance HTTP/2 Server in Haskell Haskell Kazuhiko Yamamoto DOI

15:20 - 16:10	Language FeaturesHaskell at Noh Theater Chair(s): Niki Vazou UC San Diego

15:20 25m Talk		Pattern Synonyms Haskell Matthew Pickering , Gergo Erdi , Simon Peyton Jones Microsoft Research, UK, Richard A. Eisenberg Bryn Mawr College DOI
15:45 25m Talk		Desugaring Haskell's do-Notation into Applicative Operations Haskell Simon Marlow Facebook, Simon Peyton Jones Microsoft Research, UK, Edward Kmett , Andrey Mokhov DOI

16:40 - 18:00	Lightning TalksHaskell at Noh Theater Chair(s): Geoffrey Mainland Drexel University

16:40 80m Talk		Lightning Talks Haskell

Fri 23 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

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

09:25 25m Talk		Revisiting Software Transactional Memory in Haskell Haskell Matthew Le , Ryan Yates , Matthew Fluet Rochester Institute of Technology DOI
09:50 25m Talk		Autobahn: Using Genetic Algorithms to Infer Strictness Annotations Haskell Yisu Remy Wang Tufts University, Diogenes Nunez , Kathleen Fisher Tufts University DOI

10:35 - 11:25	TypesHaskell at Noh Theater Chair(s): David Duke University of Leeds

10:35 25m Talk		Experience Report: Types for a Relational Algebra Library Haskell Marten Agren , Lennart Augustsson DOI
11:00 25m Talk		Embedding Session Types in Haskell Haskell Sam Lindley University of Edinburgh, UK, J. Garrett Morris University of Edinburgh, UK DOI

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

11:45 50m Talk		PC Chair Report and State of Haskell Haskell

14:00 - 14:50	MonadsHaskell at Noh Theater Chair(s): Yukiyoshi Kameyama University of Tsukuba

14:00 25m Talk		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 25m Talk		Supermonads: One Notion to Bind Them All Haskell Jan Bracker , Henrik Nilsson DOI

15:20 - 16:10	Abstractions that ScaleHaskell at Noh Theater Chair(s): Geoffrey Mainland Drexel University

15:20 25m Talk		Non-recursive Make Considered Harmful: Build Systems at Scale Haskell Andrey Mokhov , Neil Mitchell , Simon Peyton Jones Microsoft Research, UK, Simon Marlow Facebook DOI
15:45 25m Talk		Lazy Graph Processing in Haskell Haskell Philip Dexter , Yu David Liu , Kenneth Chiu DOI

Sat 24 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15	KeynoteCUFP at Noh Theater

09:15 5m Day opening		Opening remarks CUFP Katie Ots Facebook, Alex Lang Tsuru Capital
09:20 55m Talk		Keynote CUFP Yaron Minsky Jane Street Media Attached

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

10:35 25m Talk		Immutable Infrastructure Deployment with Haskell CUFP Nick Hibberd Ambiata Media Attached
11:00 25m Talk		Developing a fast and durable pub/sub message bus CUFP Will Sewell Media Attached

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

11:45 25m Talk		Chaos testing with F# and Azure CUFP Rachel Reese Jet.com Media Attached
12:10 25m Talk		Building a web application with continuation monads CUFP Seitaro Yuki Dwango Media Attached

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

14:00 25m Talk		Creating an approachable Haskell-like DSL CUFP Jasper Van der Jeugt Fugue Media Attached
14:25 25m Talk		The Highs and Lows of Optimising DSLs CUFP Jacob Stanley Ambiata Media Attached

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

15:20 25m Talk		Composable Caching in Swift CUFP Brandon Kase Pinterest Media Attached
15:45 25m Talk		Guix: Scheme as a uniform OS admin and deployment interface CUFP Ludovic Courtès INRIA Media Attached

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

16:40 25m Talk		Baby steps to unikernels in production CUFP Sean Grove Media Attached
17:05 50m Talk		Hope is a Monad CUFP Michael Sperber Active Group GmbH Media Attached
17:55 5m Day closing		Closing remarks CUFP Katie Ots Facebook, Alex Lang Tsuru Capital

Mon 19 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change


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 1																		Research Papers Session 1																																			Research Papers Session 2																			Research Papers Session 3																					Research Papers Session 4

Tue 20 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change


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 2																Research Papers Session 5																																			Research Papers Session 6																			Research Papers Session 7																					Research Papers Session 8										Reports ICFP Program Chair Report and Contest Presentation

Wed 21 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change


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																Research Papers Session 9																																			Research Papers Session 10																			Research Papers Session 11																					Research Papers Session 12										Reports SRC Awards and Closing

Thu 22 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change


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
Noh Theater				Haskell Testing																Haskell FRP														Haskell Functors																											Haskell Web Technology																Haskell Language Features																Haskell Lightning Talks

Fri 23 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change


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
Noh Theater				Haskell Strictness and STM																Haskell Types														Haskell PC Chair Report and State of Haskell																											Haskell Monads																Haskell Abstractions that Scale																Haskell

Sat 24 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change


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
Noh Theater				CUFP Keynote																CUFP Talks 1														CUFP Talks 2																											CUFP Talks 3																CUFP Talks 4																CUFP Talks 5

Mon 19 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change


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

Tue 20 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change


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

Wed 21 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change


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

Thu 22 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change


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
Noh Theater				Haskell Welcome 09:15 - 09:25		Haskell FitSpec: Refining Property Sets for Functional Testing 09:25 - 09:50					Haskell QuickFuzz: An Automatic Random Fuzzer for Common File Formats 09:50 - 10:15									Haskell Causal Commutative Arrows Revisited 10:35 - 11:00					Haskell Functional Reactive Programming, Refactored 11:00 - 11:25									Haskell Free Delivery (Functional Pearl) 11:45 - 12:10					Haskell How to Twist Pointers without Breaking Them 12:10 - 12:35																						Haskell High-Performance Client-Side Web Applications through Haskell EDSLs 14:00 - 14:25					Haskell Experience Report: Developing High Performance HTTP/2 Server in Haskell 14:25 - 14:50											Haskell Pattern Synonyms 15:20 - 15:45					Haskell Desugaring Haskell's do-Notation into Applicative Operations 15:45 - 16:10											Haskell Lightning Talks 16:40 - 18:00

Fri 23 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change


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
Noh Theater						Haskell Revisiting Software Transactional Memory in Haskell 09:25 - 09:50					Haskell Autobahn: Using Genetic Algorithms to Infer Strictness Annotations 09:50 - 10:15									Haskell Experience Report: Types for a Relational Algebra Library 10:35 - 11:00					Haskell Embedding Session Types in Haskell 11:00 - 11:25									Haskell PC Chair Report and State of Haskell 11:45 - 12:35																											Haskell The Key Monad: Type-Safe Unconstrained Dynamic Typing 14:00 - 14:25					Haskell Supermonads: One Notion to Bind Them All 14:25 - 14:50											Haskell Non-recursive Make Considered Harmful: Build Systems at Scale 15:20 - 15:45					Haskell Lazy Graph Processing in Haskell 15:45 - 16:10

Sat 24 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change


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
Noh Theater				CUFP Opening remarks 09:15 - 09:20	CUFP Keynote 09:20 - 10:15															CUFP Immutable Infrastructure Deployment with Haskell 10:35 - 11:00					CUFP Developing a fast and durable pub/sub message bus 11:00 - 11:25									CUFP Chaos testing with F# and Azure 11:45 - 12:10					CUFP Building a web application with continuation monads 12:10 - 12:35																						CUFP Creating an approachable Haskell-like DSL 14:00 - 14:25					CUFP The Highs and Lows of Optimising DSLs 14:25 - 14:50											CUFP Composable Caching in Swift 15:20 - 15:45					CUFP Guix: Scheme as a uniform OS admin and deployment interface 15:45 - 16:10											CUFP Baby steps to unikernels in production 16:40 - 17:05					CUFP Hope is a Monad 17:05 - 17:55										CUFP Closing remarks 17:55 - 18:00

Room information: Noh Theater

Program Display Configuration

Mon 19 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Tue 20 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Wed 21 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Thu 22 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Fri 23 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Sat 24 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Mon 19 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Keynote Talks

Research Papers

Research Papers

Research Papers

Research Papers

Tue 20 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Keynote Talks

Research Papers

Research Papers

Research Papers

Research Papers

Reports

Wed 21 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Keynote Talks

Research Papers

Research Papers

Research Papers

Research Papers

Reports

Thu 22 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Haskell

Haskell

Haskell

Haskell

Haskell

Haskell

Fri 23 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Haskell

Haskell

Haskell

Haskell

Haskell

Haskell

Sat 24 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

CUFP

CUFP

CUFP

CUFP

CUFP

CUFP

Mon 19 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Tue 20 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Wed 21 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Thu 22 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Fri 23 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Sat 24 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

Mon 19 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 20 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Wed 21 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Thu 22 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Fri 23 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Sat 24 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Mon 19 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 20 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Wed 21 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Thu 22 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Fri 23 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Sat 24 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Mon 19 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 20 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Wed 21 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Thu 22 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Fri 23 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

Sat 24 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change