Literate Tracing: Unusually Interactive, Visual, and Informative Software Documentation2025-2026

Modern computer software has grown extremely complex, making it harder for computer users to study, customize, and control the software they use every day. Literate Tracing will fight back against that complexity by developing new software documentation techniques so that system experts can explain how software works in ways that are more visual, interactive, concrete, and informative than traditional documentation. Over the course of the project, we plan to build a collection of such documentation explaining the inner workings of core software like operating systems, office suites, text editors, and web browsers.

Matthew Sotoudeh, PhD Candidate in CS (Stanford); Advised by Professor Dawson Engler (Stanford)