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

seps2014
08:30 - 10:00: SEPS - Invited Speaker: Michael Pradel - Session A at Salon B
Chair(s): Ali Jannesari
seps2014141387300000008:30 - 08:40
Talk
seps2014141387360000008:40 - 09:40
Talk
seps2014141387720000009:40 - 10:00
Talk