OCTET: capturing and controlling cross-thread dependences efficiently

Abstract

Parallel programming is essential for reaping the benefits of parallel hardware, but it is notoriously difficult to develop and debug reliable, scalable software systems. One key challenge is that modern languages and systems provide poor support for ensuring concurrency correctness properties - atomicity, sequential consistency, and multithreaded… (More)
DOI: 10.1145/2509136.2509519

Topics

11 Figures and Tables

Statistics

02040201520162017
Citations per Year

Citation Velocity: 21

Averaging 21 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Slides referencing similar topics