Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Fri 28 Aug 2020 07:30 - 08:00 at OCaml - Ecosystem Chair(s): Florian Angeletti
Fri 28 Aug 2020 15:30 - 16:00 at OCaml - Recitation Chair(s): Chris Casinghino

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.

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

05:30 - 08:30: EcosystemOCaml at OCaml
Chair(s): Florian AngelettiInria

Infrastructure, tooling, and ecosystem in general.

05:30 - 06:30
Keynote
OCaml
06:30 - 07:00
Talk
OCaml
Thomas LeonardOCaml Labs, Craig FergusonTarides, Kate DeplaixOCaml Labs, Magnus SkjegstadTarides and OCaml Labs, Anil MadhavapeddyOCaml Labs
07:00 - 07:30
Talk
OCaml
Jonathan LudlamUniversity of Cambridge, Gabriel RadanneInria, Leo WhiteJane Street
07:30 - 08:00
Talk
OCaml
Joseph HarrisonUniversity of Kent, UK, Steven VaroumasUniversity of Kent, Simon ThompsonUniversity of Kent, Reuben RoweUniversity College London
08:00 - 08:30
Talk
OCaml
Sadiq JafferOpsian and OCaml Labs, Sudha ParimalaIIT Madras, KC SivaramakrishnanIIT Madras, Tom KellyOCaml Labs, Anil MadhavapeddyOCaml Labs
Pre-print
15:30 - 17:30: RecitationOCaml at OCaml
Chair(s): Chris CasinghinoDraper Laboratory

Repeats Session I for those who weren’t able to attend the earlier time slot.

15:30 - 16:00
Talk
OCaml
Joseph HarrisonUniversity of Kent, UK, Steven VaroumasUniversity of Kent, Simon ThompsonUniversity of Kent, Reuben RoweUniversity College London
16:00 - 16:30
Talk
OCaml
Thomas LeonardOCaml Labs, Craig FergusonTarides, Kate DeplaixOCaml Labs, Magnus SkjegstadTarides and OCaml Labs, Anil MadhavapeddyOCaml Labs
16:30 - 17:00
Talk
OCaml
Jonathan LudlamUniversity of Cambridge, Gabriel RadanneInria, Leo WhiteJane Street
17:00 - 17:30
Talk
OCaml
Sadiq JafferOpsian and OCaml Labs, Sudha ParimalaIIT Madras, KC SivaramakrishnanIIT Madras, Tom KellyOCaml Labs, Anil MadhavapeddyOCaml Labs
Pre-print