In the multicore era, concurrency bugs threaten to reduce programmer productivity, impair software safety, and erode end-user value. Control engineering can eliminate concurrency bugs by constraining software behavior, preventing runtime failures, and offloading onerous burdens from human programmers onto automatically synthesized control logic.
['Terence Kelly', 'Yin Wang', 'Stéphane Lafortune', 'Scott A. Mahlke']
Eliminating Concurrency Bugs with Control Engineering