A program logic for C11 memory fences (VMCAI) - VMCAI

Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States

co-located with POPL 2016

Who

Marko Doko, Viktor Vafeiadis

Track

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Tue 19 Jan 2016 11:00 - 11:30 at Room St Petersburg I - Concurrent Programs Chair(s): Noam Rinetzky

Marko Doko

MPI-SWS, Germany

Viktor Vafeiadis

MPI-SWS, Germany

Greece

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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