教育背景
9月至1月，清华大学计算机科学与技术，博士
9月至7月，北京邮电大学软件工程，学士
工作履历
12月至今 清华大学软件学院，副教授
9月11月 清华大学软件学院，助理教授
4月至8月 伊利诺伊大学厄巴纳香槟分校， 博士后
学术兼职
PC, 43th ACM/IEEE International Conference on Software Engineering(ICSE),
PC, 57th ACM/IEEE Design Automation Conference(DAC),
PC, 20th ACM/IEEE International Conference on Embedded Software(EMSOFT),
PC, 10th ACM International Conference on Cyber-Physical System(ICCPS),
PC, 25th IEEE Real-time and Embedded Technology & Applications Symposium(RTAS),
PC, 22nd ACM International Conference on Model Driven Engineering Languages and Systems(MODELS),
研究领域
信息物理融合系统，软件系统安全
奖励与荣誉
，ACM ICSE工业论文最佳论文提名
，ACM EMSOFT最佳论文提名
，IEEE CPSCom最佳论文
，中国科协青年托举人才
，全国软件测试大赛优秀指导教师
，中国计算机协会优秀博士学位论文
学术成果
[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 ,
[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 ,
[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,
[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,
[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, .
[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), .
[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, .
[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, .
[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 , .
[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, .
