PPT-“FENDER” Automatic memory fence inference
Presented by Michael Kuperstein Technion Joint work with Martin Vechev and Eran Yahav IBM Research 1 p0 flag0 true while flag1 true if turn 0 flag0
Download Presentation
"“FENDER” Automatic memory fence inference" is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.