VSL 2014: VIENNA SUMMER OF LOGIC 2014
EC2 PROGRAM

Days: Thursday, July 17th Friday, July 18th

Thursday, July 17th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 62F: Technical session
Location: FH, Seminarraum 101C
08:45
Atomicity Refinement for Verified Compilation (abstract)
09:45
Concolic Testing of Concurrent Programs (abstract)
10:15-10:45Coffee Break
10:45-12:45 Session 66AM: Technical Session (joint with REORDER)
Location: FH, Hörsaal 4
10:45
Reordering and Verification in the Linux Kernel (abstract)
11:45
Reasoning about the C/C++ Weak Memory Model (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 75AT: Technical session
Location: FH, Seminarraum 101C
14:30
Abstractions for Relaxed Memory Models (abstract)
15:30
Group Communication Patterns for High Performance Computing in Scala (abstract)
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Location: MB, Kuppelsaal
16:30
Foundations and Technology Competitions Award Ceremony (abstract)
17:30
FLoC Olympic Games Award Ceremony 1 (abstract)
18:15
FLoC Closing Week 1 (abstract)
16:30-17:30 Session 80K: Invited talk
Location: FH, Seminarraum 101C
16:30
Verifiable Concurrent Systems Programming: A Garbage Collector Case Study (abstract)
Friday, July 18th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:15-10:15 Session 88E: Invited talk
Location: FH, Seminarraum 101C
09:15
Does Wait-Freedom Matter? (abstract)
Thursday, July 17th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

Friday, July 18th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:15-10:45Coffee Break
10:45-12:15 Session 90AV: Technical session
Location: FH, Seminarraum 101C
10:45
Wait-Freedom Made Practical (abstract)
11:45
A new reduction for event-driven distributed programs (abstract)
12:15-13:00 Session 95: Discussion
Location: FH, Seminarraum 101C
13:00-14:30Lunch Break
16:00-16:30Coffee Break