Professional Experience

• Tsinghua University, Associate Professor, June. 2018 – present.
• Tsinghua University, Assistant Professor, June. 2017 – June. 2018.
• Tsinghua University, Assistant Researcher, Dec. 2010 – June.2017.
• Tsinghua University, Post-Doc, Jan. 2009 – Dec. 2010.

Education

• 2002 - 2009, Computer Science & Technology, Tsinghua University.
  Doctor of Philosophy (Adviser: Shi-Min Hu), Awarded in Jan. 2009.
  Master of Engineering in Computer Science, Awarded in Jun. 2005.
  
• 1998 - 2002, Computer Science & Technology, Northeastern University.
  Bachelor of Engineering in Computer Science
  

Research Interests

• System Reliability & Security
• Software Engineering
• Robotic System
• Storage System
• Computer Graphics

Publications

Journal papers (asterisks on Tsinghua students advised by me)

• Jia-Ju Bai*, Yu-Ping Wang, Shi-Min Hu.
  Automated and Reliable Resource Release in Device Drivers Based on Dynamic Analysis.
  Journal of Systems and Software, 137: 463-479, 2017.
  
  
• Jia-Ju Bai*, Yu-Ping Wang, Hu-Qiu Liu*, Shi-Min Hu.
  Mining and Checking Paired Functions in Device Drivers using Characteristic Fault Injection.
  Information and Software Technology, 73: 122-133, 2016.
  
  
• Hu-Qiu Liu*, Yu-Ping Wang, Jia-Ju Bai*, Shi-Min Hu.
  PF-Miner: A Practical Paired Functions Mining Method for Android Kernel in Error Paths.
  Journal of Systems and Software, 121: 234-246, 2016.
  
  
• Xu-Feng Guo*, Yu-Ping Wang.
  Optimizing random write performance of FAST FTL for NAND flash memory.
  Science China Information Sciences, 58(3): 1-14, 2015.
  
  
• Chao Ma*, Dong Yan*, Yu-Ping Wang, Shi-Min Hu.
  Advanced Graph Model for Tainted Variable Tracking.
  Science China Information Sciences, 56(11): 1-12, 2013.
  
  
• Xue-Liang Liao*, Shi Bai*, Yu-Ping Wang, Shi-Min Hu.
  ISRA Based Grouping: A Disk Reorganization Approach for Disk Energy Conservation and Disk Performance Enhancement.
  IEEE Transactions on Computers, 60(2): 292-304, 2011.
  
  
• Shi Bai*, Jie Yin*, Gang Tan, Yu-Ping Wang, Shi-Min Hu.
  FDTL: A Unified Flash Memory and Hard Disk Translation Layer.
  IEEE Transactions on Consumer Electronics, 57(4): 1719-1727, 2011.
  
  
• Yu-Ping Wang, Shi-Min Hu.
  Optimization Approach for 3D Model Watermarking by Linear Binary Programming.
  Computer Aided Geometric Design, 27(5): 395-404, 2010.
  
  
• Yu-Ping Wang, Shi-Min Hu.
  A New Watermarking Method for 3D Models Based on Integral Invariants.
  IEEE Transactions on Visualization and Computer Graphics, 15(2): 285-294, 2009.
  
  

Refereed conference papers (asterisks on Tsinghua students advised by me)

• Jia-Ju Bai*, Yu-Ping Wang, Julia Lawall, Shi-Min Hu.
  DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules.
  in Proceedings of the 2018 USENIX Annual Technical Conference (USENIX ATC), 2018.
  
  
• Jia-Ju Bai*, Yu-Ping Wang, Shi-Min Hu.
  AutoPA: Automatically Generating Active Driver from Original Passive Driver Code.
  in Proceedings of the 2018 International Symposium on Code Generation and Optimization (CGO), 2018.
  
  
• Jia-Ju Bai*, Yu-Ping Wang, Jie Yin, Shi-Min Hu.
  Testing Error Handling Code in Device Drivers using Characteristic Fault Injection.
  in Proceedings of the 2016 USENIX Annual Technical Conference (USENIX ATC), 2016.
  
  
• Jia-Ju Bai*, Yu-Ping Wang, Hu-Qiu Liu, Shi-Min Hu.
  Automated Resource Release in Device Drivers.
  in Proceedings of the 26th International Symposium on Software Reliability Engineering (ISSRE), 2015.
  
  
• Jia-Ju Bai*, Hu-Qiu Liu*, Yu-Ping Wang, Shi-Min Hu.
  Complete Runtime Tracing for Device Drivers Based on LLVM.
  in Proceedings of the 39th International Computer Software and Applications Conference (COMPSAC), 2015.
  
  
• Hu-Qiu Liu*, Jia-Ju Bai*, Yu-Ping Wang, Zhe Bian, Shi-Min Hu.
  Pairminer: Mining for Paired Functions in Kernel Extensions.
  in Proceedings of the 2015 International Symposium on Performance Analysis of Systems and Software (ISPASS), 2015.
  
  
• Jia-Ju Bai*, Hu-Qiu Liu*, Yu-Ping Wang, Shi-Min Hu.
  Runtime Checking for Paired Functions in Device Drivers.
  in Proceedings of the 21st Asia-Pacific Software Engineering Conference (APSEC), 2014.
  
  
• Hu-Qiu Liu*, Jia-Ju Bai*, Yu-Ping Wang, Shi-Min Hu.
  BP-Miner: Mining Paired Functions from the Binary Code of Drivers for Error Handling.
  in Proceedings of the 21st Asia-Pacific Software Engineering Conference (APSEC), 2014.
  
  
• Hu-Qiu Liu*, Yu-Ping Wang, Ling-Bo Jiang*, Shi-Min Hu.
  PF-Miner: A new paired functions mining method for Android kernel in error paths.
  in IEEE 38th Annual Conference on Computer Software and Applications (COMPSAC), 2014. (Best Paper Award)
  
  
• Xu-Feng Guo*, Jian-Feng Tan*, Yu-Ping Wang.
  PAB: Parallelism-Aware Buffer Management Scheme for Nand-based SSDs.
  in IEEE 21st International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), 2013.