Eliminating Concurrency Bugs with Control Engineering
Terence Kelly, Yin Wang, Stéphane Lafortune, Scott A. Mahlke · Computer · 2009
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.