Yanyan Jiang 蒋炎岩
Dept. of Computer Science and Technology, Nanjing University
Ph.D. (Nanjing University , 2017)
Visiting Scholar (Ohio State University , 2015)
I'm a coder striving to make programs (and programmer's world) better. I'm interested in automated technologies for software and systems: testing, analysis, and synthesis. Chronological list of my publications. (欢迎关注知乎专栏:软件工程研究漫谈 )
- Software Testing and Analysis
- Program Synthesis
- Programming Tricks for Fun and Profits
(click to magnify)
- Operating Systems (Spring 2019) and Introduction to Computer Systems (Fall 2018). (Only available for NJU campus-local network.)
- I am a co-founder (with Zihao Yu 余子濠) of Project-N in which undergraduate students build a complete computer system (NPC SoC, NEMU system emulator, Nanos operating system, NCC compiler, and applications) from scratch.
- Papers: Plagiarism Detection (Needle [SIGCSE-China18]).
- We won first prize in 2018 Loongson Cup contest.
- Selected talks:
- “Building Computer Systems From Scratch Around AbstractMachine” (CSEW'18).
- “计算：万物的起源和终点” (Keynote speech at JSOI'14 Winter Camp).
- “从逻辑门到电子计算机” (Guest lecture, 2014).
I'm co-supervising graduate students with Prof. Chang Xu and Prof. Xiaoxing Ma.
Current: Wenjie Li 李文杰 (PhD, Android), Dongjie Chen 陈冬杰 (PhD, concurrency), Jue Wang 王珏 (PhD, Android), Chenxi Zhang 张晨曦 (PhD, Android), Xianfei Ou 欧先飞 (PhD, compilers), Daohan Qu 屈道涵 (PhD, Java runtime), Yang Cao 曹阳 (MSc, fuzzing), Yuju Shen 沈宇桔 (MSc, regex analysis), Yi Liu 刘毅 (MSc, Android), Zhao Gang 刚昭 (Undergrad, computer-aided automation), Mingjie Shen 沈明杰 (Undergrad), Xiaolin Li 李晓霖 (Undergrad), Shixuan Zhao 赵士轩 (Undergrad, Kernel concurrency), Shaoyuan Chen 陈劭源 (Undergrad, program repair), 刘恩萌 (Undergrad, empirical software engineering), 裴一凡 (Undergrad, regex anlaysis), 何伟 (Undergrad, Android)
Past (Details): Zhanshuai Meng 孟占帅 (2018 MSc → Ant Financial), Jiarong Wu 吴嘉荣 (2018 BSc → HKUST PhD)
- PC Member: SATE2019, SATE2018; External Reviewer: SCP (2019), TPDS (2018), Internetware (2018).
- Steering/Scientific Program Committee member of Jiangsu Olympiad in Informatics.
- Coach of the programming contest training team at Nanjing University.
Honors and Awards
- 2018 ACM SIGSOFT Distinguished Paper Award.
- 2018 CCF Docotral Disseration Award (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; 2015 and 2010 National Scholarship;
- First Place in 2014 Huawei Cup Regional Programming Contest; Second Place in 2012 Tencent Hackathon.
- I competed in ACM-ICPC regional contests for two Gold Medals and earned 49th Place in 2009 World Finals.
Last Update: March 20, 2019