Conference Room 1 - ICFP 2016

Write a Blog >>

Sun 18 - Sat 24 September 2016 Nara, Japan

VenueNara Kasugano International Forum

Room nameConference Room 1

Floor1

Room number1

Capacity108

Additional informationThere is no additional information of this room available.

Program

Sun 18 Sep

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: 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: 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: 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: 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

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

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: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

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

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

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

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: 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: 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

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

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: 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: 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

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: 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: 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

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

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

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
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

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

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
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

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
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

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
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

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

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
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					HIW 2016 More powerful GHC Plugins 11:00 - 11:25									HIW 2016 A Dependent Haskell Triptych 11:45 - 12:10					HIW 2016 Automatically Escaping Monads 12:10 - 12:35																						HIW 2016 Pita: Tools for making GHC fast again 14:00 - 14:25					HIW 2016 GHC Determinism 14:25 - 14:50											HIW 2016 Remote GHCi 15:20 - 15:45					HIW 2016 GHCVM - A JVM Backend for GHC 15:45 - 16:10											HIW 2016 Trees That Grow 16:40 - 17:05					HIW 2016 Lightning talks 17:05 - 18:00