您所在的位置:首页 > 师资队伍 > 教师详细信息返  回

姓名:姜宇
职务:助理教授
邮件:jy1989@mail.tsinghua.edu.cn
地址:清华大学东配楼11区319室
主页:https://sites.google.com/site/jiangyu198964/home

教育背景

2010年9月至2015年1月,    清华大学计算机科学与技术,      博士
2006年9月至2010年7月,    北京邮电大学软件工程,             学士

工作履历

2016年9月至今                  清华大学软件学院,                       助理教授
2015年4月至2016年8月    伊利诺伊大学厄巴纳香槟分校         博士后

学术兼职

PC Member, 25th IEEE Real-time and Embedded Technology & Applications Symposium, 2019
PC Member, 22nd ACM International Conference on Model Driven Engineering Languages and Systems, 2019
PC Member, 4th Springer Symposium on Dependable Software Engineering: Theories, Tools, and Applications, 2018
PC Member, 33rd IEEE International Conference on Software Maintance and Evoluation, 2017.

研究领域

信息物理融合系统,软件系统安全

奖励与荣誉

2018年,中国科协青年托举人才
2017年,全国软件测试大赛优秀指导教师
2015年,中国计算机协会优秀博士学位论文
2015年,清华大学优秀博士学位论文

学术成果

[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.