ICFP 2017 (series) / OCaml 2017 (series) /
OCaml 2017 Program
This is the OCaml 2017 program - see the full program for ICFP 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Fri 8 SepDisplayed time zone: Belfast change
Fri 8 Sep
Displayed time zone: Belfast change
09:00 - 09:10 | |||
09:00 5mDay opening | Opening OCaml Gabriel Scherer Northeastern University |
09:10 - 10:10 | |||
09:05 35mTalk | Invited talk: new contributors OCaml | ||
09:40 25mTalk | The State of the OCaml Platform: September 2017 OCaml Anil Madhavapeddy OCaml Labs |
10:30 - 11:30 | |||
10:30 20mTalk | Owl: A General-Purpose Numerical Library in OCaml OCaml Liang Wang University of Cambridge Link to publication Pre-print | ||
10:50 20mTalk | Extending OCaml's open OCaml Link to publication Pre-print | ||
11:10 20mTalk | Genspio: Generating Shell Phrases In OCaml OCaml Sebastien Mondet Mount Sinai - Hammer Lab Pre-print |
11:35 - 12:30 | |||
11:35 10mTalk | Flash poster presentation OCaml | ||
11:45 45mTalk | mSAT: An OCaml SAT Solver OCaml Bury Guillaume INRIA / LSV / CNRS Link to publication | ||
11:45 45mTalk | Jbuilder: a modern approach to OCaml development OCaml | ||
11:45 45mTalk | Tyre – Typed Regular Expressions OCaml Gabriel Radanne Université Denis Diderot Paris 7, PPS Link to publication | ||
11:45 45mTalk | ocamli: Interpreted OCaml OCaml Link to publication |
14:00 - 15:00 | |||
14:00 20mTalk | ROTOR: First Steps Towards a Refactoring Tool for OCaml OCaml Link to publication | ||
14:20 20mTalk | A memory model for multicore OCaml OCaml Link to publication | ||
14:40 20mTalk | Bioinformatics, The Typed Tagless Final Way OCaml Sebastien Mondet Mount Sinai - Hammer Lab Pre-print |
15:30 - 16:30 | |||
15:30 20mTalk | A B-tree library for OCaml OCaml Tom Ridge University of Leicester, UK Link to publication | ||
15:50 20mTalk | Wodan: a pure OCaml, flash-aware filesystem library OCaml Gabriel de Perthuis OCaml Labs Link to publication | ||
16:10 20mTalk | 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 | |||
17:00 20mTalk | Component-based Program Synthesis in OCaml OCaml Link to publication | ||
17:20 20mTalk | Testing with Crowbar OCaml |