Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands

This paper presents Apex, a system that can automatically
generate explanations for programming assignment bugs,
regarding where the bugs are and how the root causes led to the
runtime failures. It works by comparing the passing execution
of a correct implementation (provided by the instructor) and
the failing execution of the buggy implementation (submitted
by the student). The technique overcomes a number of
technical challenges caused by syntactic and semantic differences
of the two implementations. It collects the symbolic traces of
the executions and matches assignment statements in the two
execution traces by reasoning about symbolic equivalence.
It then matches predicates by aligning the control
dependences of the matched assignment statements, avoiding direct
matching of path conditions which are usually quite different.
Our evaluation shows that Apex is every effective for 205
buggy real world student submissions of 4 programming
assignments, and a set of 15 programming assignment type of
buggy programs collected from stackoverflow.com,
precisely pinpointing the root causes and capturing the causality
for 94.5% of them. The evaluation on a standard benchmark
set with over 700 student bugs shows similar results. A user
study in the classroom shows that Apex has substantially
improved student productivity.

Wed 2 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:40 - 17:20
Programming Frameworks, Tools, and MethodologiesOOPSLA at Matterhorn 2
Chair(s): Emerson Murphy-Hill Google
15:40
25m
Talk
Purposes, Concepts, Misfits, and a Redesign of GitAEC
OOPSLA
DOI Pre-print Media Attached
16:05
25m
Talk
Apex: Automatic Programming Assignment Error Explanation
OOPSLA
Dohyeong Kim Purdue University, Yonghwi Kwon Purdue University, Peng Liu Purdue University, I Luk Kim Purdue University, David Mitchel Perry Purdue University, Xiangyu Zhang Purdue University, Gustavo Rodriguez-Rivera Purdue University
DOI Media Attached
16:30
25m
Talk
Asserting Reliable Convergence for Configuration Management ScriptsDistinguished Paper Award
OOPSLA
Oliver Hanappi Vienna University of Technology, Waldemar Hummer Vienna University of Technology, Schahram Dustdar TU Wien
DOI
16:55
25m
Talk
Dependent Partitioning
OOPSLA
Sean Treichler Stanford University, Michael Bauer NVIDIA Research, Rahul Sharma Microsoft Research, Elliott Slaughter , Alex Aiken Stanford University
DOI Media Attached