Write a Blog >>
ICFP 2020
Sun 23 - Sat 29 August 2020
Fri 28 Aug 2020 07:30 - 08:00 at OCaml - Ecosystem
Fri 28 Aug 2020 15:30 - 16:00 at OCaml - Recitation

In this talk we describe our experience in using an automatic API-migration strategy dedicated at changing the signatures of OCaml functions, using the Rotor refactoring tool for OCaml. We perform a case study on open source Jane Street libraries by using Rotor to refactor comparison functions so that they return a more precise variant type rather than an integer. We discuss the difficulties of refactoring the Jane Street code base, which makes extensive use of ppx macros, and ongoing work implementing new refactorings.

This program is tentative and subject to change.

Fri 28 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

ocaml-2020-papers
05:30 - 08:30: OCaml 2020 - Ecosystem at OCaml
ocaml-2020-papers05:30 - 06:30
Keynote
ocaml-2020-papers06:30 - 07:00
Talk
Thomas LeonardOCaml Labs, Craig FergusonTarides, Kate DeplaixOCaml Labs, Magnus SkjegstadOCaml Labs, Anil MadhavapeddyOCaml Labs
ocaml-2020-papers07:00 - 07:30
Talk
Jonathan LudlamUniversity of Cambridge, Gabriel RadanneUniversity of Freiburg, Germany, Leo WhiteJane Street
ocaml-2020-papers07:30 - 08:00
Talk
Joseph HarrisonUniversity of Kent, UK, Steven VaroumasUniversity of Kent, Simon ThompsonUniversity of Kent, Reuben RoweUniversity College London
ocaml-2020-papers08:00 - 08:30
Talk
Sadiq JafferOpsian and OCaml Labs, Sudha ParimalaIIT Madras, KC SivaramakrishnanIIT Madras, Tom KellyOCaml Labs, Anil MadhavapeddyOCaml Labs
ocaml-2020-papers
15:30 - 17:30: OCaml 2020 - Recitation at OCaml
ocaml-2020-papers15:30 - 16:00
Talk
Joseph HarrisonUniversity of Kent, UK, Steven VaroumasUniversity of Kent, Simon ThompsonUniversity of Kent, Reuben RoweUniversity College London
ocaml-2020-papers16:00 - 16:30
Talk
Thomas LeonardOCaml Labs, Craig FergusonTarides, Kate DeplaixOCaml Labs, Magnus SkjegstadOCaml Labs, Anil MadhavapeddyOCaml Labs
ocaml-2020-papers16:30 - 17:00
Talk
Jonathan LudlamUniversity of Cambridge, Gabriel RadanneUniversity of Freiburg, Germany, Leo WhiteJane Street
ocaml-2020-papers17:00 - 17:30
Talk
Sadiq JafferOpsian and OCaml Labs, Sudha ParimalaIIT Madras, KC SivaramakrishnanIIT Madras, Tom KellyOCaml Labs, Anil MadhavapeddyOCaml Labs