Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Mon 23 Oct 2017 10:50 - 11:10 at Regency D - Tools and Environments Chair(s): Gustavo Soares

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
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: Tools and EnvironmentsPLATEAU at Regency D
Chair(s): Gustavo SoaresMicrosoft
10:30 - 10:50
Talk
The Uses of Interactive Explorers for Web APIs
PLATEAU
John DaughtryGoogle, Inc., Andrew MacveanGoogle, Inc., Luke Church
Pre-print
10:50 - 11:10
Talk
One λ at a time: What do we know about presenting human-friendly output from program analysis tools?
PLATEAU
Titus BarikMicrosoft, Chris ParninNCSU, Emerson Murphy-HillNorth Carolina State University
Pre-print
11:10 - 11:30
Talk
What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment
PLATEAU
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-Essen
Pre-print
11:30 - 11:50
Talk
Development of a Web Platform for Code Peer-Testing
PLATEAU
Manuel MaarekHeriot-Watt University, Léon McGregorHeriot-Watt University
Pre-print