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

plateau-2017
10:30 - 12:00: PLATEAU 2017 - Tools and Environments at Regency D
Chair(s): Gustavo SoaresMicrosoft
plateau-201710:30 - 10:50
Talk
John DaughtryGoogle, Inc., Andrew MacveanGoogle, Inc., Luke Church
Pre-print
plateau-201710:50 - 11:10
Talk
Titus BarikMicrosoft, Chris ParninNCSU, Emerson Murphy-HillNorth Carolina State University
Pre-print
plateau-201711:10 - 11:30
Talk
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
plateau-201711:30 - 11:50
Talk
Manuel MaarekHeriot-Watt University, Léon McGregorHeriot-Watt University
Pre-print