/
DoubleChecker: Efficient Sound and Precise Atomicity Checki DoubleChecker: Efficient Sound and Precise Atomicity Checki

DoubleChecker: Efficient Sound and Precise Atomicity Checki - PowerPoint Presentation

myesha-ticknor
myesha-ticknor . @myesha-ticknor
Follow
408 views
Uploaded On 2015-12-06

DoubleChecker: Efficient Sound and Precise Atomicity Checki - PPT Presentation

Swarnendu Biswas Jipeng Huang Aritra Sengupta and Michael D Bond The Ohio State University PLDI 2014 Impact of Concurrency Bugs Impact of Concurrency Bugs Northeastern blackout 2003 Impact of Concurrency Bugs ID: 216806

program thread precise atomicity thread program atomicity precise access run imprecise icd time analysis sound violations void mode pcd

Share:

Link:

Embed:

Download Presentation from below link

Download Presentation The PPT/PDF document "DoubleChecker: Efficient Sound and Preci..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.


Presentation Transcript