Yanyan Jiang 蒋炎岩
I'm interested in fun stuffs on constructing and torturing software systems: validation, verification, and synthesis. Selected publications:
- “The hitchhiker's guide to operating systems”, in Proceedings of the 2023 USENIX Annual Technical Conference (USENIX ATC), 929–943, 2023.
- “Synthesizing object state transformers for dynamic software updates”, in Proceedings of the 43rd International Conference on Software Engineering (ICSE), 1111–1122, 2021 (ACM SIGSOFT Distinguished Paper Award 🏅 and ACM Europe Council Best Paper Award 🏅). “软件动态更新技术”
- “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 🏅). “一个由正则表达式引发的血案 (解决版)”
- And the full publication list.
- As PC Member: ASE'23, ASE'21, SANER'23, SANER'22, Internetware'21-23, Chinasoft'20-21, ChinaSys'21, ASE'20 Tools, 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, APIO2023.
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: July 11, 2023