EnforceMOP: a runtime property enforcement system for multithreaded programs

Abstract

Multithreaded programs are hard to develop and test. In order for programs to avoid unexpected concurrent behaviors at runtime, for example data-races, synchronization mechanisms are typically used to enforce a safe subset of thread interleavings. Also, to test multithreaded programs, devel- opers need to enforce the precise thread schedules that they want… (More)
DOI: 10.1145/2483760.2483766
View Slides

Topics

Statistics

050201520162017
Citations per Year

Citation Velocity: 17

Averaging 17 citations per year over the last 3 years.

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

Cite this paper

@inproceedings{Luo2013EnforceMOPAR, title={EnforceMOP: a runtime property enforcement system for multithreaded programs}, author={Qingzhou Luo and Grigore Rosu}, booktitle={ISSTA}, year={2013} }