×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [true store turn]
Martin Vechev IBM Research Michael Kuperstein Technion Eran Yahav Technion (FMCAD’10, PLDI’11) 1
216 views
Automatic verification and fence inference for relaxed memory models
58 views
Synthesis of Memory Fences
38 views