AVIO:%20Detecting%20Atomicity%20Violations%20via%20Access%20Interleaving%20Invariants - PowerPoint PPT Presentation

} ?>
View by Category
About This Presentation
Title:

AVIO:%20Detecting%20Atomicity%20Violations%20via%20Access%20Interleaving%20Invariants

Description:

AVIO: Detecting Atomicity Violations via Access Interleaving Invariants Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou Opera Group, UIUC http://opera.cs.uiuc.edu – PowerPoint PPT presentation

Number of Views:88
Avg rating:3.0/5.0
Slides: 41
Provided by: shan2167
Learn more at: http://pages.cs.wisc.edu
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com