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
Suresh Jagannathan
Atomicity Refinement for Verified Compilation (abstract)
09:45
Azadeh Farzan, Andreas Holzer, Niloofar Razavi and Helmut Veith
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
Paul McKenney
Reordering and Verification in the Linux Kernel (abstract)
11:45
Viktor Vafeiadis
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
Eran Yahav
Abstractions for Relaxed Memory Models (abstract)
15:30
Felix Hargreaves, Daniel Merkle and Peter Schneider-Kamp
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
Chair:
Matthias Baaz
Location: MB, Kuppelsaal
16:30
Kurt Gödel Research Prize Fellowships Program
Foundations and Technology Competitions Award Ceremony (abstract)
17:30
Floc Olympic Games
FLoC Olympic Games Award Ceremony 1 (abstract)
18:15
Helmut Veith
FLoC Closing Week 1 (abstract)
16:30-17:30 Session 80K: Invited talk
Location: FH, Seminarraum 101C
16:30
Serdar Tasiran
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
Kapil Vaswani
Does Wait-Freedom Matter? (abstract)
Thursday, July 17th, 2014

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

21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter
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
Erez Petrank
Wait-Freedom Made Practical (abstract)
11:45
Ankush Desai, Pranav Garg and P. Madhusudan
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