Build a Learning Habit
Download Class Central's free printable study calendar
Download for Free
Explore a novel paradigm for program documentation through this 31-minute conference presentation from Onward! 2025. Learn about literate tracing, an innovative approach that uses annotated, concrete execution traces to explain how software systems work, bridging the gap between in-code comments that lack global context and design documents that lack concrete connection to code. Discover TReX, an interactive and visual tool that creates literate traces guaranteed to be faithful to program semantics by construction. Examine real-world applications of this methodology through case studies involving major systems software including the Linux kernel, Git source control system, and GCC compiler. Understand how literate tracing facilitates knowledge transfer from system experts to novices in increasingly complex software environments. Gain insights into this research presented by Matthew Sotoudeh from Stanford University, demonstrating how execution traces can serve as effective documentation tools for large-scale software systems.
