Operating System

System Security

1997-2001 B.E. from Computer Sciences Department of Tsinghua University
2001-2006 PhD. from University of Chinese Academy of Sciences

2007-2008 Postdoc in CS of Stony Brook University
2008-2012 Associate professor in ISCAS 
2012-present Professor in ISCAS

2020.9-present Operating System - Principle and Practice

2018.3-present Introduction of Robot Operating System

2017.3-2017.7 AI and System Software

2013.4-2015.7 Linux Application Programming
2013.9-2015.7 Linux Kernel Programming

2016 ISCAS Excellence of Youth Innovation Award

2010 Beijing Sciences & Technologies Nova Award.
2011 ISCAS Outstanding Youth Award
2012 Beijing Haidian Talent Award

   

Selected papers in last three years:

[1] VulSniper: Focus Your Attention to Shoot Fine-Grained Vulnerabilities. The 28th International Joint Conference on Artificial Intelligence (IJCAI 2019).

[2] Teaching Machines to Ask Questions. The 27th International Joint Conference on Artificial Intelligence (IJCAI 2018).

[3] Exception Beyond Exception: Crashing Android System by Trapping in "uncaughtException". The 39th International Conference on Software Engineering （ICSE 2017）

For long time my research interests focus on Linux based operating systems, from embedded system, smart terminal to server and cluster. Currently we are building OS for RISC-V and AIoT by Linux from scratch. In order to support  RISC-V ISA, e.g. RV Vector, we customized uboot/Linux kernel, implement the essential assembly code for LLVM RISC-V backend, port Chrome V8 and QuickJS.     

Another interesting project is open source software supply chain management (OSS-SCM), which looks like operating system BOM (the term used by Black Duck). By OSS-SCM, we want to analyze the massive OSS from all kinds of websites and repositories, and build a comprehensive system to monitor the spread and reuse of OSS, thus help developers and industries to reduce the cost and risk of adopting OSS.