×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [true store turn]
Home >
true store turn
Martin Vechev IBM Research Michael Kuperstein Technion Eran Yahav Technion (FMCAD’10, PLDI’11) 1.
215 views
Automatic verification and fence inference for relaxed memory models
53 views
Synthesis of Memory Fences
35 views