VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Tue 19 Jan 2016 10:30 - 11:00 at Room St Petersburg I - Concurrent Programs Chair(s): Noam Rinetzky

Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
Concurrent ProgramsVMCAI at Room St Petersburg I
Chair(s): Noam Rinetzky
10:30
30m
Talk
Pointer Race Freedom
VMCAI
Frédéric Haziza , Lukáš Holík , Roland Meyer , Sebastian Wolff Fraunhofer ITWM and TU Kaiserslautern
11:00
30m
Talk
A program logic for C11 memory fences
VMCAI
Marko Doko MPI-SWS, Germany, Viktor Vafeiadis MPI-SWS, Germany
11:30
30m
Talk
From Low Level Pointers to High Level Containers
VMCAI
Kamil Dudka , Lukáš Holík , Petr Peringer , Tomáš Vojnar Brno University of Technology