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 OctDisplayed time zone: Tijuana, Baja California change
10:30 - 12:00 | |||
10:30 20mTalk | The Uses of Interactive Explorers for Web APIs PLATEAU Pre-print | ||
10:50 20mTalk | One λ at a time: What do we know about presenting human-friendly output from program analysis tools? PLATEAU Pre-print | ||
11:10 20mTalk | What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment PLATEAU Niklas Hollmann University of Duisburg-Essen, Germany, Thorben Roßenbeck University of Duisburg-Essen, Germany, Mark Kunze University of Duisburg-Essen, Germany, Liron Türk University of Duisburg-Essen, Germany, Stefan Hanenberg University of Duisburg-Essen Pre-print | ||
11:30 20mTalk | Development of a Web Platform for Code Peer-Testing PLATEAU Pre-print |