Yanyan Jiang 蒋炎岩

(Pre-tenure) Associate Professor,
SPAR - CASTLE Joint Group
Dept. of Computer Science and Technology, Nanjing University

Ph.D. (Nanjing University , 2017)
Visiting Ph.D. Student (The Ohio State University , 2015)

Research

My research interests are automated technologies for software and systems, particularly program synthesis and end-user programming. There are also a few projects on testing and analysis of system software. Selected publications:

• Cong Li, Yanyan Jiang, and Chang Xu, “Push-button synthesis of watch companions for Android apps”, in Proceedings of the 42nd International Conference on Software Engineering (ICSE), 2022.
• Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, and Xiaoxing Ma, “Synthesizing object state transformers for dynamic software updates”, in Proceedings of the 43rd International Conference on Software Engineering (ICSE), Accetped, 2021 (ACM SIGSOFT Distinguished Paper Award 🏅 and ACM Europe Council Best Paper Award 🏅). “软件动态更新技术”
• Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, and Jian Lu, “Testing file system implementations on layered models”, in Proceedings of the 42nd International Conference on Software Engineering (ICSE), 1483–1495, 2020. “豪华文件系统测试套餐 现已加入南京大学操作系统实验”
• Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, and Jian Lu, “ReScue: Crafting regular expression DoS attacks”, in Proceedings of the 33rd International Conference on Automated Software Engineering (ASE), 225–235, 2018 (ACM SIGSOFT Distinguished Paper Award 🏅). “一个由正则表达式引发的血案 (解决版)”
• Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma, and Jian Lu, “Crash consistency validation made easy”, in Proceedings of the 24th International Symposium on the Foundations of Software Engineering (FSE), 133–143, 2016. “崩溃一致性：你的程序真的正确保存了数据吗？”
• And the full publication list.

Teaching

• Yanyan's Wiki and “绿导师原谅你了@bilibili”
  • Operating Systems; test case design and plagiarism detection (Needle [SIGCSE-China18]).
  • Project-N (with Zihao Yu 余子濠) in which undergraduate students build a complete computer system (SoC, full-system emulator, operating system, etc.) from scratch.

Students

• Current (Find them in CST Building 812/824/544)

  • PhD: Cong Li 李聪 (2018), Xianfei Ou 欧先飞 (2018), Daohan Qu 屈道涵 (2019), Hanzhi Liu 刘瀚之 (2020), Yike Zhou 周意可 (2021), Peili Gao 高培立 (2023), Chaoyi Zhao 赵超懿 (2023)
  • Master: Yicheng Huang 黄奕诚 (2020), Yiding Li 李一丁 (2020), Yike Fu 付毅科 (2020), Yaoming Wen 温耀铭 (2021), Tianyun Zhang 张天昀 (2021), Zesen Liu 刘泽森 (2023), Hao Gao 高灏 (2023)

• Past students

Services

• As PC Member: SANER'23, SANER'22, ASE'21, Internetware'21, Chinasoft'21, ChinaSys'21, ASE'20 Tools, Internetware'20, Chinasoft'20, ChinaSys'20, ISSTA'19 Artifacts, SATE'19, SATE'18; As reviewer: TSE, TOSEM, TPDS, SCP, JoS, FCS.
• As Guest Editor: Journal of Software: Evolution and Process, Special Issue on Evolving Large-scale Systems
• Steering Committee Member of Jiangsu Olympiad in Informatics; Technical Committee Member of APIO2022.

Honors and Awards

• 2022 Xiaomi Youth Innovation Award and Houjun Liu Teaching Award of Nanjing University.
• 2021 NASAC Youth Software Innovation Award (NASAC 青年软件创新奖).
• 2021 ACM SIGSOFT Distinguished Paper Award and ACM European Best Paper Award (ICSE'21).
• 2020 Bank of China Teaching Award of Nanjing University.
• 2018-2020 CCF Elite Youth Scientists Sponsorship Program (CCF 青年人才托举计划; Top 6 in China).
• 2018 ACM SIGSOFT Distinguished Paper Award (ASE'18).
• 2018 CCF Docotral Disseration Award (CCF 优秀博士学位论文; Top 5 in China), ACM China Doctoral Dissertation Award Nomination (Top 5 in China).
• 2016 Distinguished Student of Nanjing University (南京大学学生年度人物; the only PhD student out of ten winners).
• 2014 MSRA Fellowship Award (微软学者奖学金; Top 12 in Asia Region); 2015 and 2010 National Scholarship;
• First Place in 2014 Huawei Cup Regional Programming Contest; Second Place in 2012 Tencent Hackathon.
• I competed in ICPC regional contests for two Gold Medals and earned 49th Place in the 2009 World Finals.

Last Update: Dec 8, 2022