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
Chair:
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) |
21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter