VSL 2014: VIENNA SUMMER OF LOGIC 2014
REORDER PROGRAM
Thursday, July 17th, 2014

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

09:00-10:15 Session 64B
Location: FH, Hörsaal 4
09:00
Digging deeper: mole looking for potential weak memory related bugs in Debian (abstract)
10:15-10:45Coffee Break
10:45-12:45 Session 66AM: Technical Session (joint with EC2)
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:00-16:00 Session 74
Location: FH, Hörsaal 4
14:00
Reasoning about Fences in C11 Weak Memory Model (abstract)
14:30
Robustness against Power is PSpace-complete (abstract)
15:00
Simulating, exploring and formalising the OpenCL 2.0 memory model (abstract)
15:30
Testing GPU Memory Models (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-18:00 Session 80F
Location: FH, Hörsaal 4
16:30
Panel session (abstract)