GPredict: Generic Predictive Concurrency Analysis


Predictive trace analysis (PTA) is an effective approach for detecting subtle bugs in concurrent programs. Existing PTA techniques, however, are typically based on adhoc algorithms tailored to low-level errors such as data races or atomicity violations, and are not applicable to high-level properties such as "a resource must be authenticated before use" and… (More)
View Slides

9 Figures and Tables


  • Presentations referencing similar topics