API migration: compare transformed (OCaml 2020)

Write a Blog >>

Thu 20 - Fri 28 August 2020

Who

Joseph Harrison, Steven Varoumas, Simon Thompson, Reuben Rowe

Track

OCaml 2020

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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

When

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

Abstract

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.

Joseph Harrison

University of Kent, UK

United Kingdom

Steven Varoumas

University of Kent

United Kingdom

Simon Thompson

University of Kent

United Kingdom

Reuben Rowe

University College London

United Kingdom

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change

05:30 - 08:30	EcosystemOCaml at OCaml Chair(s): Florian Angeletti Inria Infrastructure, tooling, and ecosystem in general.

05:30 60m Keynote		The OCaml Platform OCaml Anil Madhavapeddy OCaml Labs
06:30 30m Talk		OCaml-CI : A Zero-Configuration CI OCaml Thomas Leonard OCaml Labs, Craig Ferguson Tarides, Kate Deplaix OCaml Labs, Magnus Skjegstad Tarides and OCaml Labs, Anil Madhavapeddy OCaml Labs
07:00 30m Talk		The final pieces of the OCaml documentation puzzle OCaml Jonathan Ludlam University of Cambridge, Gabriel Radanne Inria, Leo White Jane Street
07:30 30m Talk		API migration: compare transformed OCaml Joseph Harrison University of Kent, UK, Steven Varoumas University of Kent, Simon Thompson University of Kent, Reuben Rowe University College London
08:00 30m Talk		Parallelising your OCaml Code with Multicore OCaml OCaml Sadiq Jaffer Opsian and OCaml Labs, Sudha Parimala IIT Madras, KC Sivaramakrishnan IIT Madras, Tom Kelly OCaml Labs, Anil Madhavapeddy OCaml Labs Pre-print

15:30 - 17:30	RecitationOCaml at OCaml Chair(s): Chris Casinghino Draper Laboratory Repeats Session I for those who weren’t able to attend the earlier time slot.

15:30 30m Talk		API migration: compare transformed OCaml Joseph Harrison University of Kent, UK, Steven Varoumas University of Kent, Simon Thompson University of Kent, Reuben Rowe University College London
16:00 30m Talk		OCaml-CI : A Zero-Configuration CI OCaml Thomas Leonard OCaml Labs, Craig Ferguson Tarides, Kate Deplaix OCaml Labs, Magnus Skjegstad Tarides and OCaml Labs, Anil Madhavapeddy OCaml Labs
16:30 30m Talk		The final pieces of the OCaml documentation puzzle OCaml Jonathan Ludlam University of Cambridge, Gabriel Radanne Inria, Leo White Jane Street
17:00 30m Talk		Parallelising your OCaml Code with Multicore OCaml OCaml Sadiq Jaffer Opsian and OCaml Labs, Sudha Parimala IIT Madras, KC Sivaramakrishnan IIT Madras, Tom Kelly OCaml Labs, Anil Madhavapeddy OCaml Labs Pre-print