Program - ICFP 2017

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+01:00) Belfast.

Use conference time zone: (GMT+01:00) BelfastSelect 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

Fri 8 Sep
Displayed time zone: Belfast change

09:00 - 09:10	OpeningOCaml at L3

09:00 5m Day opening		Opening OCaml Gabriel Scherer Northeastern University

09:10 - 10:10	Talk session 1OCaml at L3

09:05 35m Talk		Invited talk: new contributors OCaml David Allsopp University of Cambridge, Florian Angeletti , Sébastien Hinderer Inria
09:40 25m Talk		The State of the OCaml Platform: September 2017 OCaml Anil Madhavapeddy OCaml Labs

10:30 - 11:30	Talk session 2OCaml at L3

10:30 20m Talk		Owl: A General-Purpose Numerical Library in OCaml OCaml Liang Wang University of Cambridge Link to publication Pre-print
10:50 20m Talk		Extending OCaml's open OCaml Runhang Li Twitter, Inc, Jeremy Yallop University of Cambridge, UK Link to publication Pre-print
11:10 20m Talk		Genspio: Generating Shell Phrases In OCaml OCaml Sebastien Mondet Mount Sinai - Hammer Lab Pre-print

11:35 - 12:30	Poster sessionOCaml at L3

11:35 10m Talk		Flash poster presentation OCaml
11:45 45m Talk		mSAT: An OCaml SAT Solver OCaml Bury Guillaume INRIA / LSV / CNRS Link to publication
11:45 45m Talk		Jbuilder: a modern approach to OCaml development OCaml Jeremie Dimino Jane Street Europe, Mark Shinwell
11:45 45m Talk		Tyre – Typed Regular Expressions OCaml Gabriel Radanne Université Denis Diderot Paris 7, PPS Link to publication
11:45 45m Talk		ocamli: Interpreted OCaml OCaml John Whitington Link to publication

14:00 - 15:00	Talk session 3OCaml at L3

14:00 20m Talk		ROTOR: First Steps Towards a Refactoring Tool for OCaml OCaml Reuben N. S. Rowe University of Kent, Simon Thompson Link to publication
14:20 20m Talk		A memory model for multicore OCaml OCaml Stephen Dolan , KC Sivaramakrishnan University of Cambridge Link to publication
14:40 20m Talk		Bioinformatics, The Typed Tagless Final Way OCaml Sebastien Mondet Mount Sinai - Hammer Lab Pre-print

15:30 - 16:30	Talk session 4OCaml at L3

15:30 20m Talk		A B-tree library for OCaml OCaml Tom Ridge University of Leicester, UK Link to publication
15:50 20m Talk		Wodan: a pure OCaml, flash-aware filesystem library OCaml Gabriel de Perthuis OCaml Labs Link to publication
16:10 20m Talk		Tezos: the OCaml Crypto-Ledger OCaml Benjamin Canou OCamlPro, n.n., Grégoire Henry OCamlPro, n.n., Pierre Chambart OCamlPRO, Fabrice Le Fessant OCamlPro, Arthur BREITMAN Dynamic Ledger Solutions

16:50 - 17:40	Talk session 5OCaml at L3

17:00 20m Talk		Component-based Program Synthesis in OCaml OCaml Zhanpeng Liang University of Southern California, Kanae Tsushima Link to publication
17:20 20m Talk		Testing with Crowbar OCaml Stephen Dolan , Mindy Preston

OCaml 2017 Program

Fri 8 Sep
Displayed time zone: Belfast change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

OCaml 2017 Program

Switch Program View

Program Display Configuration

Fri 8 SepDisplayed time zone: Belfast change

Get Calendar (iCal)

Fri 8 Sep
Displayed time zone: Belfast change