Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
20th Static Analysis Symposium - Program

Thursday 20th

8:00-8:45 Breakfast

8:45-9:00 Welcome from the chairs

9:00-10:00 Invited talk (M. Fahndrich)

10:00-10:30 Coffee break

10:30-12:00 Abstract Interpretation (N. Halbwachs)

12:00-13:30 Lunch at the Conference Hotel

13:30-15:00 Logic-based static analysis (R. Jhala)

15:00-15:30 Coffee break

15:30-17:00 Static analysis for heap manipulating programs (W. Dietl)

Friday 21st

8:00-9:00 Breakfast

9:00-10:00 Invited talk (F. Logozzo)

10:00-10:30 Coffee break

10:30-12:00 Verification I (W. Dietl)

12:00-13:30 Lunch at the Conference Hotel

13:30-15:00 Program transformation and repair (M. Dalla Preda)

15:00-15:30 Coffee break

15:30-17:00 Certified static analyzers (M. Martel)

19:00 SAS 2013 Banquet at Blueacre Seafood. The restaurant is within walking distance from the hotel. Click here for directions ! Need extra tickets to the SAS banquet? Get them for $50.00 at the registration.

Saturday 22nd

8:00-9:00 Breakfast

9:00-10:00 Invited talk (N. Halbwachs)

Sriram Sankaranarayanan, UColorado, Static analysis in the continuously changing world

10:00-10:30 Coffee break

10:30-12:00 Verification II (F. Logozzo)

12:00-13:30 Lunch

13:30-15:00 Concurrency (M. Fahndrich)

15:00-16:00 Coffee break

Goto:          

Back to SAS'13 webpage