GPredict: Generic Predictive Concurrency Analysis

Abstract

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

Topics

  • Presentations referencing similar topics