SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Tue 21 Oct 2014 08:40 - 09:40 at Salon B - Invited Speaker: Michael Pradel - Session A Chair(s): Ali Jannesari

Developers of concurrent software strive for two contradictory goals. On the one hand, the software should be reliable, which requires to carefully synchronize concurrent accesses to shared data. On the other hand, the software should be efficient, which is difficult to realize in the presence of unnecessary synchronization operations. To help developers balance these two goals, this talk explores program analyses that detect correctness and performance problems. The presented analyses are automatic, in the sense that they run on existing software with minimal effort, and precise, in the sense that all reported problems are true positives. The key idea is to combine techniques for generating concurrent tests with dynamic analyses that detect problems even though there is no explicit specification. We present two implementations of this idea that detect problems in widely used thread-safe classes, and discuss open challenges to be addressed in future research.

Tue 21 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Invited Speaker: Michael Pradel - Session ASEPS at Salon B
Chair(s): Ali Jannesari Technical University of Darmstadt
08:30
10m
Talk
Opening and Welcome
SEPS

08:40
60m
Talk
Invited Talk: Automatic and Precise Program Analyses for Reliable and Efficient Concurrency
SEPS
Michael Pradel University of California, Berkeley, USA
09:40
20m
Talk
Lighthouse: A User-Centered Web Service for Linear Algebra Software
SEPS