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

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

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

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

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

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