Conference Room 1 - ICFP 2016

VenueNara Kasugano International Forum

Room nameConference Room 1

Floor1

Room number1

Capacity108

Additional informationThere is no additional information of this room 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 - 09:35 Day opening		Opening TyDe
	09:35 - 09:55 Talk		APLicative Programming with Naperian Functors TyDe Jeremy GibbonsUniversity of Oxford, UK
	09:55 - 10:15 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 - 11:15 Talk		Generic diff3 for Algebraic Datatypes TyDe Marco Vassena
	11:15 - 11:35 Talk		Programming Assistance for Type-directed Programming TyDe Peter-Michael OseraGrinnell College
	11:35 - 11:55 Talk		Generic partially-static data TyDe David Kaloper-Meršinjak, Jeremy YallopUniversity of Cambridge, UK
	11:55 - 12:15 Talk		Bidirectional Transformations are Proof-Relevant Bisimulations TyDe James McKinnaUniversity of Edinburgh

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

	14:00 - 14:30 Talk		Applications of Applicative Proof Search TyDe Liam O'ConnorUNSW, Australia
	14:30 - 15:00 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 - 16:00 Talk		Programming with Monadic CSP-Style Processes in Dependent Type Theory TyDe Bashar Igried Deb Alkhawaldeh, Anton Setzer
	16:00 - 16:30 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 - 17:20 Talk		Parameterized Extensible Effects and Session Types TyDe Oleg KiselyovTohoku University
	17:20 - 17:40 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 - 09:15 Day opening		Welcome ML
	09:15 - 10:15 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 - 11:00 Talk		WebAssembly: high speed at low cost for everyone ML Andreas RossbergGoogle Pre-print
	11:00 - 11:25 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 - 12:10 Talk		Compiling with Continuations and LLVM ML Kavon FarvardinUniversity of Chicago, John ReppyUniversity of Chicago Pre-print
	12:10 - 12:25 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 - 14:25 Talk		Eff Directly in OCaml ML Oleg KiselyovTohoku University, KC SivaramakrishnanUniversity of Cambridge Pre-print
	14:25 - 14:50 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 - 15:45 Talk		Classes for the Masses ML Claudio RussoMicrosoft Research, Matthew Windsor, Don SymeMicrosoft, Rupert Horlick, James Clarke Pre-print
	15:45 - 16:10 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 - 16:55 Talk		Malfunctional Programming ML Stephen Dolan Pre-print
	16:55 - 17:20 Talk		Ambiguous pattern variables ML Gabriel SchererNortheastern University, Luc MarangetINRIA Rocquencourt, Thomas Réfis Pre-print
	17:20 - 17:35 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 - 09:10 Day opening		Welcome OCaml Mark ShinwellJane Street
	09:10 - 09:35 Talk		Invited Talk OCaml Damien Doligez
	09:35 - 10:00 Talk		The State of the OCaml Platform: September 2016 OCaml O: Louis GesbertOCamlPro
	10:00 - 10:25 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 - 11:05 Talk		Statistically profiling memory in OCaml OCaml Jacques-Henri Jourdan
	11:05 - 11:30 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 - 12:10 Talk		Conex -- establishing trust into data repositories OCaml Hannes Mehnert, Louis GesbertOCamlPro
	12:10 - 12:35 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 - 14:25 Talk		Sundials/ML: interfacing with numerical solvers OCaml Timothy BourkeINRIA, Jun InoueNational Institute of Advanced Industrial Science and Technology, Japan, Marc Pouzet
	14:25 - 14:50 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 - 15:45 Talk		Semantics of the Lambda intermediate language OCaml Pierre ChambartOCamlPRO
	15:45 - 16:10 Talk		Generic Programming in OCaml OCaml Florent Balestrieri, Michel Mauny

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

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

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

	17:05 - 17:30 Talk		Who's got your Mail? Mr. Mime! OCaml Romain Calascibetta
	17:30 - 17:55 Talk		Improving the OCaml Web Stack: Motivations and Progress OCaml Spiridon Eliopoulos
	17:55 - 18:00 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 - 09:45 Talk		The State of GHC HIW Simon Peyton JonesMicrosoft Research, UK
	09:45 - 10:15 Talk		Contributing to GHC HIW Ben GamariWell-Typed LLP

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

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

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

	11:45 - 12:10 Talk		A Dependent Haskell Triptych HIW Richard A. EisenbergBryn Mawr College
	12:10 - 12:35 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 - 14:25 Talk		Pita: Tools for making GHC fast again HIW Ben GamariWell-Typed LLP
	14:25 - 14:50 Talk		GHC Determinism HIW Bartosz NitkaFacebook

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

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

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

	16:40 - 17:05 Talk		Trees That Grow HIW Shayan Najd, Simon Peyton JonesMicrosoft Research, UK, Jacques CaretteMcMaster University
	17:05 - 18:00 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