Feedback Generation for Performance Problems in Introductory Programming Assignments

Experimental Evaluation

Specification Log    Tool    Links

Specification Log

We wrote specifications for all strategies in all 24 assignments from our benchmark. As described in the paper, writing specifications is an iterative process, where with each inspection step a new specification is created or an existing one refined. Here you can download all intermediate specifications for all 24 assignments together with a log describing: Package contains 24 directories (one for each assignment). Each assignment directory contains:


Executable of our tool observer and example files can be downloaded from here. The tool requires Microsoft Windows with Microsoft Roslyn (which we are not allowed to distribute). Below we explain usage of the tool on a few examples included with the tool executable. Implementations and specifications are from the Caesar assignment (discussed in the paper):