Yin Wang

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 1

Top Topics

Concurrent Programs

Discrete Event Systems

Top Venues

Discret. Event Dyn. Syst.

IEEE Trans. Control. Syst. Technol.

Publications

Yin Wang, Tae-Sic Yoo, Stéphane Lafortune
Erratum to: Diagnosis of discrete event systems using decentralized architectures. Discret. Event Dyn. Syst. 25 (4) (2015)
Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Discret. Event Dyn. Syst. 23 (2) (2013)
Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. IEEE Trans. Control. Syst. Technol. 21 (6) (2013)
Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software. IEEE Trans. Autom. Control. 58 (5) (2013)
Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke
Practical lock/unlock pairing for concurrent programs. CGO (2013)
Stéphane Lafortune, Yin Wang, Spyros A. Reveliotis
Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets. Petri Nets (2013)
Yin Wang, Peng Liu, Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, Charles Zhang
On atomicity enforcement in concurrent software via Discrete Event Systems theory. CDC (2012)
Yin Wang, Jason Stanley, Stéphane Lafortune
Explicit storage and analysis of billions of states using commodity computers. WODES (2012)
Hongwei Liao, Jason Stanley, Yin Wang, Stéphane Lafortune, Spyros A. Reveliotis, Scott A. Mahlke
Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets. CDC/ECC (2011)
Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case. IEEE Trans. Autom. Control. 56 (8) (2011)
Yin Wang, Ahmed Nazeem, Ram Swaminathan
On the Optimal Petri Net Representation for Service Composition. ICWS (2011)
Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune
Optimal deadlock avoidance for complex resource allocation systems through classification theory. WODES (2010)
Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
Supervisory control of software execution for failure avoidance: Experience from the Gadara project. WODES (2010)
Yin Wang, Hamid Reza Motahari-Nezhad, Sharad Singhal
A Language-Based Framework for Analyzing Service Representation Models and Service Composition Approaches. ICEBE (2010)
Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke
Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets. CDC (2010)
Yin Wang, Hongwei Liao, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune
Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. CDC (2009)
Terence Kelly, Yin Wang, Stéphane Lafortune, Scott A. Mahlke
Eliminating Concurrency Bugs with Control Engineering. Computer 42 (11) (2009)
Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune
Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). CASE (2009)
Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke
The theory of deadlock avoidance via discrete control. POPL (2009)
Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. OSDI (2008)
Yin Wang, Tae-Sic Yoo, Stéphane Lafortune
Diagnosis of Discrete Event Systems Using Decentralized Architectures. Discret. Event Dyn. Syst. 17 (2) (2007)
Yin Wang, Terence Kelly, Stéphane Lafortune
Discrete control for safe execution of IT automation workflows. EuroSys (2007)
Yin Wang, Arif Merchant
Proportional-Share Scheduling for Distributed Storage Systems. FAST (2007)
Yin Wang, Terence Kelly, Stéphane Lafortune
Discrete Control for Dependable IT Automation. HotDep (2006)
Yin Wang, Tae-Sic Yoo, Stéphane Lafortune
Decentralized Diagnosis of Discrete Event Systems using Unconditional and Conditional Decisions. CDC/ECC (2005)