Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Sun 17 Jul 2016 10:05 - 10:35 at Belli - Session 1

Despite years of research and development of static code analysis tools, industrial adoption of such tools still shows high abandonment rates. End-user experience highlights common issues that severely impact tool adoption. Long waiting times, numerous false positives, and a high number of warnings count among them. While past research has largely focused on improving the scalability and the precision of the tools, we advocate the notion of designing static analyses in a user-centric fashion. We achieve this by embedding the needs of the end-users - the code developers- into the analysis, providing them with tools that make static analysis easier to understand and to handle.

Sun 17 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:05 - 12:25
10:05
30m
Talk
User-Centric Static Analysis
Doctoral Symposium
A: Lisa Nguyen Quang Do Fraunhofer IEM
10:35
30m
Talk
Domain-based Simulation Modelling to Enable Continuous Testing for Software Development in the Chemical Industry
Doctoral Symposium
A: Adam Ziolkowski University of East Anglia
11:05
20m
Coffee break
Coffee break
Doctoral Symposium

11:25
30m
Talk
Language Design for Validatable Information System Specifications
Doctoral Symposium
A: Daco Harkes Delft University of Technology
11:55
30m
Talk
Compositional and Mechanically Verified Program Analyzers
Doctoral Symposium
A: David Darais University of Maryland, College Park