Conference Room 1 - ICFP 2016

VenueNara Kasugano International Forum

Room nameConference Room 1

Floor1

Room number1

Capacity108

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

Sun 18 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15	Session OneTyDe at Conference Room 1

09:15 20m Day opening		Opening TyDe
09:35 20m Talk		APLicative Programming with Naperian Functors TyDe Jeremy Gibbons University of Oxford, UK
09:55 20m Talk		Choose Your Own Derivative TyDe Jennifer Paykin , Antal Spector-Zabusky , Kenneth Foner

10:45 - 12:15	Session TwoTyDe at Conference Room 1

10:45 30m Talk		Generic diff3 for Algebraic Datatypes TyDe Marco Vassena
11:15 20m Talk		Programming Assistance for Type-directed Programming TyDe Peter-Michael Osera Grinnell College
11:35 20m Talk		Generic partially-static data TyDe David Kaloper-Meršinjak , Jeremy Yallop University of Cambridge, UK
11:55 20m Talk		Bidirectional Transformations are Proof-Relevant Bisimulations TyDe James McKinna University of Edinburgh

14:00 - 15:00	Session ThreeTyDe at Conference Room 1

14:00 30m Talk		Applications of Applicative Proof Search TyDe Liam O'Connor UNSW, Australia
14:30 30m Talk		Liberating Effects with Rows and Handlers TyDe Daniel Hillerström , Sam Lindley University of Edinburgh, UK

15:30 - 16:30	Session FourTyDe at Conference Room 1

15:30 30m Talk		Programming with Monadic CSP-Style Processes in Dependent Type Theory TyDe Bashar Igried Deb Alkhawaldeh , Anton Setzer
16:00 30m Talk		Generic Lookup and Update for Infinitary Inductive-Recursive Types TyDe Larry Diehl , Tim Sheard Portland State University

17:00 - 18:00	Session FiveTyDe at Conference Room 1

17:00 20m Talk		Parameterized Extensible Effects and Session Types TyDe Oleg Kiselyov Tohoku University
17:20 20m Talk		An Agda formalisation of the transitive closure of block matrices TyDe Patrik Jansson Chalmers University of Technology, Adam Sandberg Eriksson Pre-print

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

09:10 - 10:15	Invited TalkML at Conference Room 1 Chair(s): Kenichi Asai Ochanomizu University

09:10 5m Day opening		Welcome ML
09:15 60m Talk		Making Reactive Programs Function ML I: Neel Krishnaswami University of Birmingham, UK

10:35 - 11:25	WebML at Conference Room 1 Chair(s): Katsuhiro Ueno Tohoku University, Japan

10:35 25m Talk		WebAssembly: high speed at low cost for everyone ML Andreas Rossberg Google Pre-print
11:00 25m Talk		*Extracting from F to C: a progress report** ML Jonathan Protzenko Microsoft Research, Karthikeyan Bhargavan INRIA, Jean-Karim Zinzindohoué INRIA, Abhishek Anand , Cédric Fournet Microsoft Research, Bryan Parno , Aseem Rastogi Microsoft Research India, Nikhil Swamy Microsoft Research Pre-print

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

11:45 25m Talk		Compiling with Continuations and LLVM ML Kavon Farvardin University of Chicago, John Reppy University of Chicago Pre-print
12:10 15m Talk		SML# with Natural Join ML Tomohiro Sasaki Tohoku University, Katsuhiro Ueno Tohoku University, Japan, Atsushi Ohori Tohoku University, Japan Pre-print

14:00 - 14:50	EffectsML at Conference Room 1 Chair(s): Sam Lindley University of Edinburgh, UK

14:00 25m Talk		Eff Directly in OCaml ML Oleg Kiselyov Tohoku University, KC Sivaramakrishnan University of Cambridge Pre-print
14:25 25m Talk		Compiling Links Effect Handlers to the OCaml Backend ML Daniel Hillerström The University of Edinburgh, Sam Lindley University of Edinburgh, UK, KC Sivaramakrishnan University of Cambridge Pre-print

15:20 - 16:10	ClassesML at Conference Room 1 Chair(s): John Reppy University of Chicago

15:20 25m Talk		Classes for the Masses ML Claudio Russo Microsoft Research, Matthew Windsor , Don Syme Microsoft, Rupert Horlick , James Clarke Pre-print
15:45 25m Talk		Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML ML Yutaka Nagashima Data61, Australia, Liam O'Connor UNSW, Australia Pre-print

16:40 - 17:35	FutureML at Conference Room 1 Chair(s): Kenichi Asai Ochanomizu University

16:40 15m Talk		Malfunctional Programming ML Stephen Dolan Pre-print
16:55 25m Talk		Ambiguous pattern variables ML Gabriel Scherer Northeastern University, Luc Maranget INRIA Rocquencourt, Thomas Réfis Pre-print
17:20 15m Talk		Typed Embedding of Relational Language in OCaml ML Dmitrii Kosarev , Dmitri Boulytchev Pre-print

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

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

09:09 1m Day opening		Welcome OCaml Mark Shinwell Jane Street
09:10 25m Talk		Invited Talk OCaml Damien Doligez
09:35 25m Talk		The State of the OCaml Platform: September 2016 OCaml O: Louis Gesbert OCamlPro
10:00 25m Talk		Learn OCaml: An Online Learning Center for OCaml OCaml Benjamin Canou , Grégoire Henry , Çagdas Bozman , Fabrice Le Fessant OCamlPro

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

10:40 25m Talk		Statistically profiling memory in OCaml OCaml Jacques-Henri Jourdan
11:05 25m Talk		Lock-free programming for the masses OCaml KC Sivaramakrishnan University of Cambridge, Théo Laurent

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

11:45 25m Talk		Conex -- establishing trust into data repositories OCaml Hannes Mehnert , Louis Gesbert OCamlPro
12:10 25m Talk		OPAM-builder: Continuous Monitoring of OPAM Repositories OCaml Fabrice Le Fessant OCamlPro

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

14:00 25m Talk		Sundials/ML: interfacing with numerical solvers OCaml Timothy Bourke INRIA, Jun Inoue National Institute of Advanced Industrial Science and Technology, Japan, Marc Pouzet
14:25 25m Talk		OCaml inside: a drop-in replacement for libtls OCaml Enguerrand Decorne , Jeremy Yallop University of Cambridge, UK, David Kaloper-Meršinjak

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

15:20 25m Talk		Semantics of the Lambda intermediate language OCaml Pierre Chambart OCamlPRO
15:45 25m Talk		Generic Programming in OCaml OCaml Florent Balestrieri , Michel Mauny

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

16:10 18m		Inuit library: from printf to interactive user-interfacesPoster OCaml Frédéric Bour
16:28 18m		ocp-lint, A Plugin-based Style-Checker with Semantic PatchesPoster OCaml Çagdas Bozman , Théophane Hufschmitt , Michael Laporte , Fabrice Le Fessant OCamlPro
16:46 18m		Partial evaluation and metaprogrammingPoster OCaml Pierre Chambart OCamlPRO

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

17:05 25m Talk		Who's got your Mail? Mr. Mime! OCaml Romain Calascibetta
17:30 25m Talk		Improving the OCaml Web Stack: Motivations and Progress OCaml Spiridon Eliopoulos
17:55 5m Day closing		Closing OCaml

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

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

09:15 30m Talk		The State of GHC HIW Simon Peyton Jones Microsoft Research, UK
09:45 30m Talk		Contributing to GHC HIW Ben Gamari Well-Typed LLP

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

10:35 25m Talk		Backpack to Work: Towards Backpack in Practice HIW Edward Z. Yang Stanford University
11:00 25m Talk		More powerful GHC Plugins HIW Moritz Angermann

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

11:45 25m Talk		A Dependent Haskell Triptych HIW Richard A. Eisenberg Bryn Mawr College
12:10 25m Talk		Automatically Escaping Monads HIW Ben Lippmeier University of New South Wales

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

14:00 25m Talk		Pita: Tools for making GHC fast again HIW Ben Gamari Well-Typed LLP
14:25 25m Talk		GHC Determinism HIW Bartosz Nitka Facebook

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

15:20 25m Talk		Remote GHCi HIW Simon Marlow Facebook
15:45 25m Talk		GHCVM - A JVM Backend for GHC HIW Rahul Muttineni TypeLead

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

16:40 25m Talk		Trees That Grow HIW Shayan Najd , Simon Peyton Jones Microsoft Research, UK, Jacques Carette McMaster University
17:05 55m Other		Lightning talks HIW

Sun 18 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
Conference Room 1				TyDe Session One																		TyDe Session Two																																							TyDe Session Three																		TyDe Session Four																		TyDe Session Five

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
Conference Room 1			ML Invited Talk																	ML Web														ML Implementation																											ML Effects																ML Classes																ML Future

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
Conference Room 1			OCaml Session 1																		OCaml Session 2													OCaml Session 3																											OCaml Session 4																OCaml Session 5										OCaml Break and Poster Session											OCaml Session 6

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
Conference Room 1				HIW The State of GHC																HIW Pluggability and Modularity														HIW Types and Effects																											HIW The Engineering of GHC																HIW Backends for GHC																HIW Trees and Lightning Talks

Sun 18 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
Conference Room 1				TyDe Opening 09:15 - 09:35				TyDe APLicative Programming with Naperian Functors 09:35 - 09:55				TyDe Choose Your Own Derivative 09:55 - 10:15										TyDe Generic diff3 for Algebraic Datatypes 10:45 - 11:15						TyDe Programming Assistance for Type-directed Programming 11:15 - 11:35				TyDe Generic partially-static data 11:35 - 11:55				TyDe Bidirectional Transformations are Proof-Relevant Bisimulations 11:55 - 12:15																									TyDe Applications of Applicative Proof Search 14:00 - 14:30						TyDe Liberating Effects with Rows and Handlers 14:30 - 15:00												TyDe Programming with Monadic CSP-Style Processes in Dependent Type Theory 15:30 - 16:00						TyDe Generic Lookup and Update for Infinitary Inductive-Recursive Types 16:00 - 16:30												TyDe Parameterized Extensible Effects and Session Types 17:00 - 17:20				TyDe An Agda formalisation of the transitive closure of block matrices 17:20 - 17:40

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
Conference Room 1			ML Welcome 09:10 - 09:15	ML Making Reactive Programs Function 09:15 - 10:15																ML WebAssembly: high speed at low cost for everyone 10:35 - 11:00					ML Extracting from F* to C: a progress report 11:00 - 11:25									ML Compiling with Continuations and LLVM 11:45 - 12:10					ML SML# with Natural Join 12:10 - 12:25																						ML Eff Directly in OCaml 14:00 - 14:25					ML Compiling Links Effect Handlers to the OCaml Backend 14:25 - 14:50											ML Classes for the Masses 15:20 - 15:45					ML Close Encounters of the Higher Kind - Emulating Constructor Classes in ... 15:45 - 16:10											ML Malfunctional Programming 16:40 - 16:55			ML Ambiguous pattern variables 16:55 - 17:20					ML Typed Embedding of Relational Language in OCaml 17:20 - 17:35

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			17:00			15			30			45
Conference Room 1			OCaml Welcome 09:09 - 09:10	OCaml Invited Talk 09:10 - 09:35					OCaml The State of the OCaml Platform: September 2016 09:35 - 10:00					OCaml Learn OCaml: An Online Learning Center for OCaml 10:00 - 10:25								OCaml Statistically profiling memory in OCaml 10:40 - 11:05					OCaml Lock-free programming for the masses 11:05 - 11:30								OCaml Conex -- establishing trust into data repositories 11:45 - 12:10					OCaml OPAM-builder: Continuous Monitoring of OPAM Repositories 12:10 - 12:35																						OCaml Sundials/ML: interfacing with numerical solvers 14:00 - 14:25					OCaml OCaml inside: a drop-in replacement for libtls 14:25 - 14:50											OCaml Semantics of the Lambda intermediate language 15:20 - 15:45					OCaml Generic Programming in OCaml 15:45 - 16:10					OCamlPoster Inuit library: from printf to interactive user-interfaces 16:10 - 16:28				OCamlPoster ocp-lint, A Plugin-based Style-Checker with Semantic Patches 16:28 - 16:46			OCamlPoster Partial evaluation and metaprogramming 16:46 - 17:05				OCaml Who's got your Mail? Mr. Mime! 17:05 - 17:30					OCaml Improving the OCaml Web Stack: Motivations and Progress 17:30 - 17:55					OCaml Closing 17:55 - 18:00

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
Conference Room 1				HIW The State of GHC 09:15 - 09:45						HIW Contributing to GHC 09:45 - 10:15										HIW Backpack to Work: Towards Backpack in Practice 10:35 - 11:00					HIW More powerful GHC Plugins 11:00 - 11:25									HIW A Dependent Haskell Triptych 11:45 - 12:10					HIW Automatically Escaping Monads 12:10 - 12:35																						HIW Pita: Tools for making GHC fast again 14:00 - 14:25					HIW GHC Determinism 14:25 - 14:50											HIW Remote GHCi 15:20 - 15:45					HIW GHCVM - A JVM Backend for GHC 15:45 - 16:10											HIW Trees That Grow 16:40 - 17:05					HIW Lightning talks 17:05 - 18:00

Room information: Conference Room 1

Program Display Configuration

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

Sun 18 SepDisplayed time zone: Osaka, Sapporo, Tokyo change

TyDe

TyDe

TyDe

TyDe

TyDe

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

ML

ML

ML

ML

ML

ML

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

OCaml

OCaml

OCaml

OCaml

OCaml

OCaml

OCaml

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

HIW

HIW

HIW

HIW

HIW

HIW

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

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

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

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