VSL 2014: VIENNA SUMMER OF LOGIC 2014

D
Doko, Marko	Reasoning about Fences in C11 Weak Memory Model
M
McKenney, Paul	Reordering and Verification in the Linux Kernel
Meyer, Roland	Robustness against Power is PSpace-complete
P
Panel Session,	Panel session
Poetzl, Daniel	Testing GPU Memory Models
T
Tautschnig, Michael	Digging deeper: mole looking for potential weak memory related bugs in Debian
V
Vafeiadis, Viktor	Reasoning about the C/C++ Weak Memory Model
W
Wickerson, John	Simulating, exploring and formalising the OpenCL 2.0 memory model

Disclaimer | Powered by EasyChair Smart Program