Explaining spreadsheets with spreadsheets (short paper). - Jácome Cunha; Mihai Dan; Martin Erwig; Danila Fedorin; Alex Grejuc (GPCE, 2018)

Adaptable Traces for Program Explanations. - Divya Bajaj; Martin Erwig; Danila Fedorin; Kai Gay (APLAS, 2021)

A Visual Notation for Succinct Program Traces. - Divya Bajaj; Martin Erwig; Danila Fedorin; Kai Gay (VL/HCC, 2021)

A visual notation for succinct program traces. - Divya Bajaj; Martin Erwig; Danila Fedorin (J. Comput. Lang., 2023)