English

Tracing OCaml Programs

Programming Languages 2023-04-12 v1
Authors: Darius Foo , Wei-Ngan Chin
View on arXiv ↗ PDF ↗

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.

Keywords

runtime monitoring programming languages program analysis

Cite

@article{arxiv.2304.04937,
  title  = {Tracing OCaml Programs},
  author = {Darius Foo and Wei-Ngan Chin},
  journal= {arXiv preprint arXiv:2304.04937},
  year   = {2023}
}

Related papers

View all related →
Software Engineering · Computer Science
Enhancing Understandability and Transparency of Research Software: Tracing Research to Code
Adrian Bajraktari, Andreas Vogelsang
2026-04-14
Software Engineering · Computer Science
Satisfying Increasing Performance Requirements with Caching at the Application Level
Jhonny Mertz, Ingrid Nunes, Luca Della Toffola, Marija Selakovic +1
2020-10-27
Software Engineering · Computer Science
LogLM: From Task-based to Instruction-based Automated Log Analysis
Yilun Liu, Yuhe Ji, Shimin Tao, Minggui He +6
2025-01-10
Programming Languages · Computer Science
Stepping OCaml
Tsukino Furukawa, Youyou Cong, Kenichi Asai
2019-06-28
Programming Languages · Computer Science
Visualizing the Evaluation of Functional Programs for Debugging
John Whitington, Tom Ridge
2024-11-04
Computer Vision and Pattern Recognition · Computer Science
TraX: The visual Tracking eXchange Protocol and Library
Luka Čehovin
2017-05-15
Programming Languages · Computer Science
Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment
Ludovic Langevine, Pierre Deransart, Mireille Ducasse, Erwan Jahier
2007-05-23
Software Engineering · Computer Science
Tracing Optimization for Performance Modeling and Regression Detection
Kaveh Shahedi, Heng Li, Maxime Lamothe, Foutse Khomh
2024-11-27
Software Engineering · Computer Science
A tool for visualizing the execution of programs and stack traces especially suited for novice programmers
Stanislav Litvinov, Marat Mingazov, Vladislav Myachikov, Vladimir Ivanov +3
2017-12-01
Programming Languages · Computer Science
Trace-Based Run-time Analysis of Message-Passing Go Programs
Martin Sulzmann, Kai Stadtmüller
2018-01-31
Human-Computer Interaction · Computer Science
Lazy or Efficient? Towards Accessible Eye-Tracking Event Detection Using LLMs
Dongyang Guo, Yasmeen Abdrabou, Enkelejda Kasneci
2026-04-16
Logic in Computer Science · Computer Science
Practical Deductive Verification of OCaml Programs (Extended Version)
Mário Pereira
2024-07-23
Programming Languages · Computer Science
An Encoding of Interaction Nets in OCaml
Nikolaus Huber, Wang Yi
2025-03-27
Programming Languages · Computer Science
A Type-Based Complexity Analysis of Object Oriented Programs
Emmanuel Hainry, Romain Péchoux
2018-02-20
Logic in Computer Science · Computer Science
Verifying Relational Properties using Trace Logic
Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss +2
2019-08-13
Programming Languages · Computer Science
Generic Programming in OCaml
Florent Balestrieri, Michel Mauny
2019-01-01
Software Engineering · Computer Science
Taxonomic Trace Links: Rethinking Traceability and its Benefits
Waleed Abdeen, Michael Unterkalmsteiner, Alexandros Chirtoglou, Christoph Paul Schimanski +2
2025-04-30
Other Computer Science · Computer Science
Exploring Application Logs
Janusz Sosnowski
2012-04-06
Software Engineering · Computer Science
Tracking Systems as Thinging Machine: A Case Study of a Service Company
Sabah Al-Fedaghi, Yousef Atiyah
2018-11-30
Programming Languages · Computer Science
Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
Ion Chirica, Mário Pereira
2025-06-26
Programming Languages · Computer Science
Validating Traces of Distributed Programs Against TLA+ Specifications
Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz
2024-09-18
Programming Languages · Computer Science
Haskell for OCaml programmers
Raphael Poss
2014-07-22
Programming Languages · Computer Science
Towards a native toplevel for the OCaml language
Marcell Fischbach, Benedikt Meurer
2011-10-28
Software Engineering · Computer Science
A Systematic Approach to Programming
Maurice Chandoo
2020-04-28
Programming Languages · Computer Science
Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version)
Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan +2
2016-05-05