@TechReport{Polishchuk:2006:WDHTIPUD, author = {Marina Polishchuk and Ben Liblit and Chlo\"e Schulze}, title = {\textsc{WhatsAt}: Dynamic Heap Type Inference for Program Understanding and Debugging}, institution = {University of Wisconsin--Madison}, number = 1583, year = 2006, month = dec }