Yin Wang

Researcher
Services Research Lab
Palo Alto

Biography

Dr. Yin Wang received Bachelor's (2000) and Master's (2003) degrees from Shanghai Jiaotong University.  He earned his Ph.D. at the University of Michigan Electrical Engineering and Computer Science department and joined Hewlett-Packard Laboratories in 2009.  While a graduate student, Wang interned at Microsoft Shanghai, IBM Almaden Research Center, and HP Labs. 

 

Research interests

Dr. Yin Wang's research interest is in the area of computer systems, with the strong emphasis on the theoretical foundation in the solutions to system problems.

Publications

Applications to Computer Systems

  • Yin Wang, Hamid Reza Motahari-Nezhad, and Sharad Singhal, "A Language-Based Framework For Analyzing Service Representation Models and Service Composition Approaches", IEEE ICEBE 2010, Shanghai, China
  • Terence Kelly, Yin Wang, Stephane Lafortune and Scott Mahlke, "Eliminating Concurrency Bugs with Control Engineering", IEEE Computer, vol.42, no.12, pp. 52-60, Dec 2009
  • Yin Wang, Scott Mahlke, Stephane Lafortune, Terence Kelly and Manjunath Kudlur, "The Theory of Deadlock Avoidance via Discrete Control", POPL 2009, Savannah, Geogia
  • Yin Wang, Terence Kelly, Manjunath Kudlur, Stephane Lafortune and Scott Mahlke, "Gadara: dynamic deadlock avoidance for mult-threaded programs", OSDI 2008, San Diego, California
  • A. Singh, S. Uttamchandani and Y. Wang, "Evaluating the Effectiveness of Information Extraction in Real-World Storage Management", MASCOTS 2008, Baltimore, Maryland
  • Yin Wang and Arif Merchant, "Proportional-Share Scheduling for Distributed Storage Systems", The 5th USENIX Conference on File and Storage Technologies (FAST '07), San Jose, California, 2007
  • Yin Wang, Terence Kelly and Stephane Lafortune, "Discrete Control for for Safe Execution of IT Automation Workflows ", EuroSys 2007, Lisbon, Portugal, 2007
  Control of Discrete Event Systems
  • Ahmed Nazeem, Spyros Reveliotis, Yin Wang, and Stephane Lafortune, "Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: the Linear Case", IEEE Transactions on Automatic Control , to appear
  • Hongwei Liao, Stephane Lafortune, Spyros Reveliotis, Yin Wang, and Scott Mahlke, "Synthesis of Maximally-Permissive Liveness-Enforcing Control Policies for Gadara Petri Nets", IEEE Conference on Decisions and Control, Atlanta, GA, Dec. 2010
  • Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stephane Lafortune, Scott Mahlke, and Spyros Reveliotis, "Supervisory Control of Software Execution for Failure Avoidance: Experience from the Gadara Project", Workshop on Descrete Event Systems, Berlin, Germany, Aug. 2010
  • Ahmed Nazeem, Spyros Reveliotis, Yin Wang, and Stephane Lafortune, "Optimal Deadlock Avoidance for Complex Resource Allocation Systems through Classification Theory", Workshop on Descrete Event Systems, Berlin, Germany, Aug. 2010
  • Yin Wang, Hongwei Liao, Spyros Reveliotis, Terence Kelly, Scott Mahlke and Stephane Lafortune, "Gadara Nets: Modeling and Analyzing Lock Allocation for Deadlock Avoidance in Multithreaded Software", IEEE Conference on Decisions and Control, Shanghai, China, Dec. 2009
  • Yin Wang, Terence Kelly, Manjunath Kudlur, Scott Mahlke and Stephane Lafortune, "The application of supervisory control to deadlock avoidance in concurrent software", Workshop on Descrete Event Systems 2008, Goteborg, Sweden
  • Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros Reveliotis, Terence Kelly, Scott Mahlke and Stephane Lafortune, "Maximally Permissive Deadlock Avoidance for Multithreaded Computer Programs", IEEE Conference on Automation Science and Engineering, Bangalore, India, Aug. 2009 (invited paper)
  • Yin Wang, Zhiming Wu, " Deadlock Avoidance Control Synthesis in Manufacturing Systems Using Model Checking", IEEE American Control Conference 2003, pp.1702-1703.
  • Yin Wang, Zhiming Wu, "Avoiding Unsafe States in Manufacturing Systems Based on Polynomial Digraph Algorithms", IEEE International Conference on Robotics and Automation 2003, pp.2159-2164.

Diagnosis of Discrete Event Systems
  • Yin Wang, Tae-Sic Yoo and Stephane Lafortune, "Diagnosis of Discrete Event Systems Using Decentralized Architectures", Journal of Discrete Event Dynamic Systems, Special Issue, invited, vol.17, no.2, pp. 233-263, Jun 2007
  • Yin Wang, Tae-Sic Yoo and Stephane Lafortune, "Decentralized Diagnosis of Discrete Event Systems Using Conditional and Unconditional Decisions", The 44th IEEE Conference on Decision and Control, and European Control Conference, Seville, Spain, 2005
  • Yin Wang, Tae-Sic Yoo and Stephane Lafortune, "New Results on Decentralized Diagnosis of Discrete Event Systems", The 42nd Annual Allerton Conference on Communication, Control, and Computing, Allerton, Illinois, 2004 .(Invited Paper)