Tracing OCaml Programs (OCaml 2022 - OCaml Users and Developers Workshop 2022)

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Who

Darius Foo, Wei-Ngan Chin

Track

OCaml 2022

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect 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 16 Sep 2022 14:20 - 14:40 at Štih - Tools Chair(s): KC Sivaramakrishnan

Abstract

This presentation will cover a framework for application-level tracing of OCaml programs. We outline a solution to the main technical challenge, which is being able to log typed values with lower overhead and maintenance burden than existing approaches. We then demonstrate the tools we have built around this for visualizing and exploring executions.

Link to Preprint

https://dariusf.github.io/tracing-ocaml22.pdf

Darius Foo

Wei-Ngan Chin

National University of Singapore

Demo (without commentary)

Slides