Orchestrating the execution of parallel programs using Discrete Control Theory

Gadara Publications

The documents on this page have been provided by the authors to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

This page documents only papers with University of Michigan affiliation. Please see the websites of our collaborators for additional Gadara related publications.

2015

"SAT-based Control of Concurrent Software for Deadlock Avoidance,"
Jason Stanley, Hongwei LIak, and Stephane Lafortune
IEEE Transactions on Automatic Control,
IEEEXplore link

2013

"Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete Event Control,"
Hongwei Liao, Yin Wang, Jason Stanley, Stephane Lafortune, Spyros Reveliotis, Terence Kelly, and Scott Mahlke
IEEE Transactions on Control Systems Technology,
IEEEXplore link
pdf

"Optimal Liveness-Enforcing Control of a Class of Petri Nets Arising in Multithreaded Software,"
Hongwei Liao, Stephane Lafortune, Spyros Reveliotis, Yin Wang, and Scott Mahlke
IEEE Transactions on Automatic Control ,
May. 2013
IEEEXplore link
pdf

"Concurrency Bugs in Multithreaded Software: Modeling and Analysis Using Petri Nets,"
Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stephane Lafortune, Scott Mahlke, and Spyros Reveliotis,
Journal of Discrete Event Dynamic Systems ,
Jun. 2013
Springer link
pdf

"Practical Lock/Unlock Pairing for Concurrent Programs,"
Hyoun Kyu Cho, Yin Wang, Hongwei Liao, Terence Kelly, Stephane Lafortune, and Scott Mahlke
International Symposium on Code Generation and Optimization (CGO),
Feb. 2013
pdf

2012

"On Atomicity Enforcement in Concurrent Software via Discrete Event Systems Theory,"
Yin Wang, Peng Liu, Terence Kelly, Stephane Lafortune, Spyros Reveliotis, Charles Zhang
IEEE Conference on Decision and Control,
Dec. 2012
pdf

"Explicit Storage and Analysis of Billions of States using Commodity Computers,"
Yin Wang, Jason Stanley, and Stephane Lafortune,
International Workshop on Discrete Event Systems,
Aug. 2012
pdf

2011

"Deadlock-Avoidance Control of Multithreaded Software: An Efficient Siphon-based Algorithm for Gadara Petri Nets,"
Hongwei Liao, Jason Stanley, Yin Wang, Stephane Lafortune, Spyros Reveliotis, and Scott Mahlke,
IEEE Conference on Decision and Control ,
Dec. 2011.
pdf

"Simulation Analysis of Multithreaded Programs under Deadlock-Avoidance Control,"
Hongwei Liao, Hao Zhou, and Stephane Lafortune,
Winter Simulation Conference ,
Dec. 2011.
pdf

"Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classificaiton Theory: the Linear Case,"
Ahmed Nazeem, Spyros Reveliotis, Yin Wang, and Stephane Lafortune,
IEEE Transactions on Automatic Control ,
Aug. 2011.
pdf

2010

"Synthesis of Maximally-Permissive Liveness-Enforcing Control Policies for Gadara Petri Nets,"
Hongwei Liao, Stephane Lafortune, Spyros Reveliotis, Yin Wang, and Scott Mahlke,
IEEE Conference on Decision and Control,
Dec. 2010.
pdf

"Optimal Deadlock Avoidance for Complex Resource Allocation System Through Classification Theory,"
Ahmed Nazeem, Spyros Reveliotis, Yin Wang and Stephane Lafortune,
International Workshop on Discrete Event Systems,
Aug. 2010.
pdf

"Supervisory Control of Software Execution for Failure Avoidance: Experience from the Gadara Project,"
Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence P. Kelly, Stephane Lafortune, Scott Mahlke and Spyros Reveliotis,
International Workshop on Discrete Event Systems,
Aug. 2010.
pdf

2009

"Software Failure Avoidance Using Discrete Control Theory,"
Yin Wang,
Ph.D. Dissertation, Electrical Engineering and Computer Science Department, University of Michigan,
2009.
pdf

"Eliminating Concurrency Bugs with Control Engineering,"
Terence Kelly, Yin Wang, Stephane Lafortune, and Scott Mahlke,
IEEE Computer,
vol. 42, no. 12, Dec. 2009, pp. 52-60.
pdf

"Gadara Nets: Modeling and Analyzing Lock Allocation for Deadlock Avoidance in Multithreaded Software,"
Yin Wang, Hongwei Liao, Spyros Reveliotis, Terence Kelly, Scott Mahlke and Stephane Lafortune,
IEEE Conference on Decision and Control,
Dec. 2009.
pdf

"Maximally Permissive Deadlock Avoidance for Multithreaded Computer Programs,"
Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros Reveliotis, Terence Kelly, Scott Mahlke and Stephane Lafortune,
IEEE Conference on Automation Science and Engineering,
Aug. 2009.
pdf

"The theory of deadlock avoidance via discrete control,"
Yin Wang, Stephane Lafortune, Terence Kelly, Manjunath Kudlur, and Scott Mahlke,
Proc. 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Jan. 2009, pp. 252-263.
pdf

2008

"Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs,"
Yin Wang, Terence Kelly, Manjunath Kudlur, Stephane Lafortune, and Scott Mahlke,
Proc. 8th USENIX Symposium on Operating Systems Design and Implementation,
Dec. 2008.
pdf

"The application of supervisory control to deadlock avoidance in concurrent software,"
Yin Wang, Terence Kelly, Manjunath Kudlur, Scott Mahlke, and Stephane Lafortune,
International Workshop on Discrete Event Systems,
Aug. 2008.
pdf