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.
Conference DayMon 23 OctDisplayed time zone: Tijuana, Baja California change
10:30 - 12:00
|The Uses of Interactive Explorers for Web APIs|
|One λ at a time: What do we know about presenting human-friendly output from program analysis tools?|
|What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment|
Niklas HollmannUniversity of Duisburg-Essen, Germany, Thorben RoßenbeckUniversity of Duisburg-Essen, Germany, Mark KunzeUniversity of Duisburg-Essen, Germany, Liron TürkUniversity of Duisburg-Essen, Germany, Stefan HanenbergUniversity of Duisburg-EssenPre-print
|Development of a Web Platform for Code Peer-Testing|