Active Bibliography

3 The application of supervisory control to deadlock avoidance in concurrent software – Yin Wang, Terence Kelly, Manjunath Kudlur, Scott Mahlke, Stéphane Lafortune
Hewlett-Packard Labs – Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott Mahlke
8 The Theory of Deadlock Avoidance via Discrete Control ∗ – Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott Mahlke
Curriculum Vitae – Virendra Jayant Marathe, Michael L. Scott
StableDeterministicMultithreading through Schedule Memoization – Heming Cui, Jingyue Wu, Chia-che Tsai, Computer Sciencedepartment
Atom-Aid: Detecting and Surviving Atomicity Violations ∗ – unknown authors
28 Atom-Aid: Detecting and Surviving Atomicity Violations – Brandon Lucia, et al.
Concurrent object oriented programming with Asynchronous References – Pierre Vignéras - 2007
1 Suppressing Concurrency Bugs Using Scheduler Shepherding – Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan
Atomicity Inference and Enforcement Using Correct Executions – Dasarath Weeratunge, Xiangyu Zhang, Suresh Jaganathan, Dasarath Weeratunge, Xiangyu Zhang, Suresh Jaganathan - 2011
Synthesis of Concurrent Programs Based on Supervisory Control – Marian V. Iordache, Panos J. Antsaklis - 2009
9 Serialization sets: a dynamic dependence-based parallel execution model – Matthew D. Allen, Srinath Sridharan, Gurindar S. Sohi - 2009
6 Structural Control of Large-Scale Flexibly Automated Manufacturing Systems – Spyros A. Reveliotis, Placid M. Ferreira, P. Ferreira, Mark A. Lawley - 1998
THE NOTHING – unknown authors - 2000
31 Deadlock Avoidance Policies for Automated Manufacturing Cells – Spiridon A. Reveliotis, Placid M. Ferreira - 1996
18 A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks – Pallavi Joshi, Chang-seo Park, Koushik Sen, Mayur Naik
5 An Effective Dynamic Analysis for Detecting Generalized Deadlocks – Pallavi Joshi, Mayur Naik, David Gay, Koushik Sen
Programs Title for Potential Programming Errors – Ali H. Doğru, Veli Biçer, Cover Design, Kristin Klinger, Julia Mosemann, Lindsay Johnston, Erika Carter, Joel Gamon, Jamie Snavely, Keith Glazewski, Natalie Pronio, Nick Newcomer, Qichang Chen, Liqiang Wang, Ping Guo
27 TxLinux: Using and Managing Hardware Transactional Memory in an Operating System – Christopher J. Rossbach, Owen S. Hofmann, Donald E. Porter, Hany E. Ramadan, Aditya Bh, Emmett Witchel - 2007