ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Tue 17 Jul 2018 12:00 - 12:20 at Zurich II - Static Analysis Chair(s): Karim Ali

We have developed a practical static checker that is designed to interactively mark data races and deadlocks in program source code at development time. As this use case requires a checker to be both fast and precise, we engaged a simple technique of randomized bounded concrete concurrent interpretation that is experimentally effective for this purpose. Implemented as a tool for C# in Visual Studio, the checker covers the broad spectrum of concurrent language concepts, including task and data parallelism, asynchronous programming, UI dispatching, the various synchronization primitives, monitor, atomic and volatile accesses, and finalizers. Its application to popular open-source C# projects revealed several real issues with only a few false positives.

Tue 17 Jul

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

11:00 - 12:30
Static AnalysisISSTA Technical Papers at Zurich II
Chair(s): Karim Ali University of Alberta
11:00
20m
Talk
Repositioning of Static Analysis Alarms
ISSTA Technical Papers
Tukaram Muske Tata Consultancy Services Ltd, Rohith Talluri Tata Consultancy Services Ltd, Alexander Serebrenik Eindhoven University of Technology
11:20
20m
Talk
Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots
ISSTA Technical Papers
Neville Grech University of Athens, George Fourtounis University of Athens, Adrian Francalanza University of Malta, Yannis Smaragdakis University of Athens
11:40
20m
Talk
Static Analysis of Java Dynamic Proxies
ISSTA Technical Papers
George Fourtounis University of Athens, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
12:00
20m
Talk
Practical Detection of Concurrency Issues at Coding Time
ISSTA Technical Papers
Luc Bläser Hochschule für Technik Rapperswil
12:20
10m
Q&A in groups
ISSTA Technical Papers