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)