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.

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

Program

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: (GMT+09:00) Osaka, Sapporo, Tokyo change

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

Jeremy GibbonsUniversity of Oxford, UK

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

11:35 - 11:55
Talk

Generic partially-static data

David Kaloper-Meršinjak, Jeremy YallopUniversity of Cambridge, UK

11:55 - 12:15
Talk

Bidirectional Transformations are Proof-Relevant Bisimulations

James McKinnaUniversity of Edinburgh

14:00 - 15:00: TyDe - Session Three at Conference Room 1

14:00 - 14:30
Talk

Applications of Applicative Proof Search

Liam O'ConnorUNSW, Australia

14:30 - 15:00
Talk

Liberating Effects with Rows and Handlers

Daniel Hillerström, Sam LindleyUniversity of Edinburgh, UK

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 SheardPortland State University

17:00 - 18:00: TyDe - Session Five at Conference Room 1

17:00 - 17:20
Talk

Parameterized Extensible Effects and Session Types

Oleg KiselyovTohoku University

17:20 - 17:40
Talk

An Agda formalisation of the transitive closure of block matrices

Patrik JanssonChalmers University of Technology, Adam Sandberg Eriksson

Thu 22 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

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

09:10 - 09:15
Day opening

09:15 - 10:15
Talk

Making Reactive Programs Function

Neel KrishnaswamiUniversity of Birmingham, UK

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

10:35 - 11:00
Talk

WebAssembly: high speed at low cost for everyone

Andreas RossbergGoogle

11:00 - 11:25
Talk

Extracting from F* to C: a progress report

Jonathan ProtzenkoMicrosoft Research, Karthikeyan BhargavanINRIA, Jean-Karim ZinzindohouéINRIA, Abhishek Anand, Cédric FournetMicrosoft Research, Bryan Parno, Aseem RastogiMicrosoft Research India, Nikhil SwamyMicrosoft Research

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

11:45 - 12:10
Talk

Compiling with Continuations and LLVM

Kavon FarvardinUniversity of Chicago, John ReppyUniversity of Chicago

12:10 - 12:25
Talk

SML# with Natural Join

Tomohiro SasakiTohoku University, Katsuhiro UenoTohoku University, Japan, Atsushi OhoriTohoku University, Japan

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

14:00 - 14:25
Talk

Eff Directly in OCaml

Oleg KiselyovTohoku University, KC SivaramakrishnanUniversity of Cambridge

14:25 - 14:50
Talk

Compiling Links Effect Handlers to the OCaml Backend

Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, KC SivaramakrishnanUniversity of Cambridge

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

15:20 - 15:45
Talk

Classes for the Masses

Claudio RussoMicrosoft Research, Matthew Windsor, Don SymeMicrosoft, Rupert Horlick, James Clarke

15:45 - 16:10
Talk

Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML

Yutaka NagashimaData61, Australia, Liam O'ConnorUNSW, Australia

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

16:40 - 16:55
Talk

Malfunctional Programming

16:55 - 17:20
Talk

Ambiguous pattern variables

Gabriel SchererNortheastern University, Luc MarangetINRIA Rocquencourt, Thomas Réfis

17:20 - 17:35
Talk

Typed Embedding of Relational Language in OCaml

Dmitrii Kosarev, Dmitri Boulytchev

Fri 23 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

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

09:09 - 09:10
Day opening

Mark ShinwellJane Street

09:10 - 09:35
Talk

09:35 - 10:00
Talk

The State of the OCaml Platform: September 2016

Louis GesbertOCamlPro

10:00 - 10:25
Talk

Learn OCaml: An Online Learning Center for OCaml

Benjamin Canou, Grégoire Henry, Çagdas Bozman, Fabrice Le FessantOCamlPro

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 SivaramakrishnanUniversity of Cambridge, 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 GesbertOCamlPro

12:10 - 12:35
Talk

OPAM-builder: Continuous Monitoring of OPAM Repositories

Fabrice Le FessantOCamlPro

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

14:00 - 14:25
Talk

Sundials/ML: interfacing with numerical solvers

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

Enguerrand Decorne, Jeremy YallopUniversity of Cambridge, UK, David Kaloper-Meršinjak

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

15:20 - 15:45
Talk

Semantics of the Lambda intermediate language

Pierre ChambartOCamlPRO

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 FessantOCamlPro

16:46 - 17:05

Partial evaluation and metaprogrammingPoster

Pierre ChambartOCamlPRO

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
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

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

09:15 - 09:45
Talk

The State of GHC

Simon Peyton JonesMicrosoft Research, UK

09:45 - 10:15
Talk

Contributing to GHC

Ben GamariWell-Typed LLP

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

10:35 - 11:00
Talk

Backpack to Work: Towards Backpack in Practice

Edward Z. YangStanford University

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. EisenbergBryn Mawr College

12:10 - 12:35
Talk

Automatically Escaping Monads

Ben LippmeierUniversity of New South Wales

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

Ben GamariWell-Typed LLP

14:25 - 14:50
Talk

GHC Determinism

Bartosz NitkaFacebook

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

15:20 - 15:45
Talk

Simon MarlowFacebook

15:45 - 16:10
Talk

GHCVM - A JVM Backend for GHC

Rahul MuttineniTypeLead

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 JonesMicrosoft Research, UK, Jacques CaretteMcMaster University

17:05 - 18:00
Other

Lightning talks

Sun 18 Sep
Times are displayed in time zone: (GMT+09:00) 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
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: (GMT+09:00) 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: (GMT+09:00) 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
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: (GMT+09:00) 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
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: (GMT+09:00) 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: (GMT+09:00) 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: (GMT+09:00) 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
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: (GMT+09:00) 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
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