Yu Jiang, Ph.D.

Position: Associate Professor
Address: East-Main Building, 11-319, Tsinghua University



Education background:

B.Sc.   Beijing University of Post and Telecommunication,Software Engineering,2010

Ph.D.  Tsinghua University,Computer Science,2015



Post.Doc. University of Illinois at Urbana-Champaign             Computer Science     2015-2016

Concurrent Academic:

PC Member,     33rd IEEE International Conference on Software Maintance and Evoluation(ICSME), 2017.
PC Member,     22nd IEEE International Confercenc on Computers and Communications(ISCC), 2017.
PC Member,     17th Springer International Conference on Algorithms and Architecture for Parallel Processing(ICA3PP), 2017.
PC Member,     5th IEEE International Workshop on Cloud Computing Systems, Networkings, and Applications(CCSNA), 2016. etc.



Honors And Awards:

Distinguished Dissertation Award, China Computer Federation (CCF): 2015

Outstanding Dissertation of Tsinghua, China: 2015

National Scholarship for Doctorate, China: 2013


Academic Achievement:

[1]  Yuanliang Chen, Yu Jiang, Fuchen Ma, Jie Liang, Mingzhe Wang, Chijin Zhou, Xun Jiao and Zuo Su. EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzer. 28th USENIX Security Symposium (Security), USA , 2019
[2]  Jie Liang, Yu Jiang, Mingzhe Wang, Yuanliang Chen and Jiaguang Sun. PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode. 26th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), USA , 2018
[3]  Jian Gao, Xin Yang, Ying Fu, Yu Jiang,  Heyuan Shi and Jiaguang Sun. VulSeeker-Pro: Enhanced Semantic Learning Based Binary Vulnerability Seeker With Emulation. 26th ACM Symposium on the Foundations of Software Engineering(FSE), USA, 2018
[4]  Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, Jiaguang Sun. DLFuzz: Differential Fuzzing Testing of Deep Learning Systems. 26th ACM SIGSOFT International Symposium on Foundations of Software Engineering(FSE), USA, 2018
[5]  Mingzhe Wang, Jie liang, Yu Jiang, Jiaguang Sun. SAFL: Increasing and Accelerating Testing Coverage with Symbolic Execution and Guided Fuzzing. 38th ACM International Conference on Software Engineering(ICSE), Sweden, 2018.
[6]   Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Jiaguang Sun, and Lui Sha. Dependable Model Driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Transactions on Cyber-Physical Systems(TCPS), 2017.
[7]   Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jiaguang Sun and Lui Sha. Use Runtime Verification to Improve the Quality of Medical Care Practice", 38th ACM International Conference on Software Engineering(ICSE), Austin, USA, 2016.
[8]  Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu,Ming Gu, Jiaguang Sun. Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. IEEE Transaction on Parallel and Distributed Systems(TPDS), 26(8):2220-2232, 2015.
[9]  Yu Jiang, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun. Design and Optimization of Multi-clocked Embedded Systems using Formal Techniques. IEEE Transactions on Industrial Electronics (TIE)62 (2), 1270-1278 , 2015.
[10]  Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, Ming Gu, Jiaguang Sun. Bayesian Network Based Reliability Analysis of PLC Systems. IEEE Transactions on Industrial Electronics(TIE), 60(11), p5325-5336, 2014.