One λ at a time: What do we know about presenting human-friendly output from program analysis tools?
Program analysis tools perform sophisticated analysis on source code to help programmers resolve compiler errors, apply optimizations, and identify security vulnerabilities. Despite the utility of these tools, research suggests that programmers do not frequently adopt them in practice—a primary reason being that the output of these tools is difficult to understand. Towards providing a synthesis of what researchers know about the presentation of program analysis output to programmers, we conducted a scoping review of the PLDI conference proceedings from 1988-2016. The scoping review serves as interim guidance for advancing collaborations between research disciplines. We discuss how cross-disciplinary communities, such as PLATEAU, are critical to improving the usability of program analysis tools.
Mon 23 Oct
|10:30 - 10:50|
|10:50 - 11:10|
One λ at a time: What do we know about presenting human-friendly output from program analysis tools?Pre-print
|11:10 - 11:30|
What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled ExperimentPre-print
|11:30 - 11:50|