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
Times are displayed in 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 GibbonsUniversity 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 OseraGrinnell College
11:35 20m Talk		Generic partially-static data TyDe David Kaloper-Meršinjak, Jeremy YallopUniversity of Cambridge, UK
11:55 20m Talk		Bidirectional Transformations are Proof-Relevant Bisimulations TyDe James McKinnaUniversity of Edinburgh

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

14:00 30m Talk		Applications of Applicative Proof Search TyDe Liam O'ConnorUNSW, Australia
14:30 30m Talk		Liberating Effects with Rows and Handlers TyDe Daniel Hillerström, Sam LindleyUniversity 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 SheardPortland State University

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

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

Thu 22 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

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

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

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

10:35 25m Talk		WebAssembly: high speed at low cost for everyone ML Andreas RossbergGoogle Pre-print
11:00 25m Talk		*Extracting from F to C: a progress report** ML Jonathan ProtzenkoMicrosoft Research, Karthikeyan BhargavanINRIA, Jean-Karim ZinzindohouéINRIA, Abhishek Anand, Cédric FournetMicrosoft Research, Bryan Parno, Aseem RastogiMicrosoft Research India, Nikhil SwamyMicrosoft Research Pre-print

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

11:45 25m Talk		Compiling with Continuations and LLVM ML Kavon FarvardinUniversity of Chicago, John ReppyUniversity of Chicago Pre-print
12:10 15m Talk		SML# with Natural Join ML Tomohiro SasakiTohoku University, Katsuhiro UenoTohoku University, Japan, Atsushi OhoriTohoku University, Japan Pre-print

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

14:00 25m Talk		Eff Directly in OCaml ML Oleg KiselyovTohoku University, KC SivaramakrishnanUniversity of Cambridge Pre-print
14:25 25m Talk		Compiling Links Effect Handlers to the OCaml Backend ML Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, KC SivaramakrishnanUniversity of Cambridge Pre-print

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

15:20 25m Talk		Classes for the Masses ML Claudio RussoMicrosoft Research, Matthew Windsor, Don SymeMicrosoft, Rupert Horlick, James Clarke Pre-print
15:45 25m Talk		Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML ML Yutaka NagashimaData61, Australia, Liam O'ConnorUNSW, Australia Pre-print

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

16:40 15m Talk		Malfunctional Programming ML Stephen Dolan Pre-print
16:55 25m Talk		Ambiguous pattern variables ML Gabriel SchererNortheastern University, Luc MarangetINRIA 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
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

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

09:09 1m Day opening		Welcome OCaml Mark ShinwellJane 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 GesbertOCamlPro
10:00 25m Talk		Learn OCaml: An Online Learning Center for OCaml OCaml Benjamin Canou, Grégoire Henry, Çagdas Bozman, Fabrice Le FessantOCamlPro

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 SivaramakrishnanUniversity 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 GesbertOCamlPro
12:10 25m Talk		OPAM-builder: Continuous Monitoring of OPAM Repositories OCaml Fabrice Le FessantOCamlPro

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

14:00 25m Talk		Sundials/ML: interfacing with numerical solvers OCaml Timothy BourkeINRIA, Jun InoueNational 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 YallopUniversity 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 ChambartOCamlPRO
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 FessantOCamlPro
16:46 18m		Partial evaluation and metaprogrammingPoster OCaml Pierre ChambartOCamlPRO

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
Times are displayed in 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 JonesMicrosoft Research, UK
09:45 30m Talk		Contributing to GHC HIW Ben GamariWell-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. YangStanford 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. EisenbergBryn Mawr College
12:10 25m Talk		Automatically Escaping Monads HIW Ben LippmeierUniversity 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 GamariWell-Typed LLP
14:25 25m Talk		GHC Determinism HIW Bartosz NitkaFacebook

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

15:20 25m Talk		Remote GHCi HIW Simon MarlowFacebook
15:45 25m Talk		GHCVM - A JVM Backend for GHC HIW Rahul MuttineniTypeLead

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

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

Sun 18 Sep
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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 Sep Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Thu 22 Sep Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Fri 23 Sep Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Sat 24 Sep Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Sun 18 Sep Times are displayed in time zone: Osaka, Sapporo, Tokyo change

TyDe

TyDe

TyDe

TyDe

TyDe

Thu 22 Sep Times are displayed in time zone: Osaka, Sapporo, Tokyo change

ML

ML

ML

ML

ML

ML

Fri 23 Sep Times are displayed in time zone: Osaka, Sapporo, Tokyo change

OCaml

OCaml

OCaml

OCaml

OCaml

OCaml

OCaml

Sat 24 Sep Times are displayed in time zone: Osaka, Sapporo, Tokyo change

HIW

HIW

HIW

HIW

HIW

HIW

Sun 18 Sep Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Thu 22 Sep Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Fri 23 Sep Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Sat 24 Sep Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Sun 18 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Thu 22 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Fri 23 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Sat 24 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Sun 18 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Thu 22 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Fri 23 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Sat 24 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Sun 18 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Thu 22 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Fri 23 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Sat 24 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change