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

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