Form: a framework for creating views of program executions | IEEE Conference Publication | IEEE Xplore