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.

翻译：本报告将介绍一个用于OCaml程序应用层追踪的框架。我们概述了主要技术挑战的解决方案，即能够以比现有方法更低的开销和维护负担来记录类型化值。随后，我们展示了围绕该方案构建的用于可视化和探索执行过程的工具。