ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Fri 16 Sep 2022 14:20 - 14:40 at Štih - Tools Chair(s): KC Sivaramakrishnan

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.

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

14:00 - 15:30
ToolsOCaml at Štih
Chair(s): KC Sivaramakrishnan IIT Madras and Tarides
14:00
20m
Talk
Homogeneous builds with OBuilder and OCaml
OCaml
Tim McGilchrist Tarides, David Allsopp Tarides UK, Patrick Ferris Tarides, Antonin Décimo Tarides, Thomas Leonard Tarides UK, Anil Madhavapeddy University of Cambridge, UK, Kate Deplaix Tarides UK
Pre-print Media Attached
14:20
20m
Talk
Tracing OCaml Programs
OCaml
Darius Foo , Wei-Ngan Chin National University of Singapore
Pre-print Media Attached
14:50
20m
Talk
Supporting a decade of opam
OCaml
David Allsopp Tarides UK, Raja Boujbel OCamlPro, Kate Deplaix Tarides UK, Louis Gesbert OCamlPro
15:10
20m
Talk
Copying opam switches – it should Just Work™
OCaml
David Allsopp Tarides UK