CINXE.COM

<html> <head> <title>Welcome to Chang Xu's homepage</title> <meta content="text/html;charset=UTF-8" http-equiv="Content-Type"/> <style type="text/css"> n5 {font-family:"Palatino Linotype","宋体";font-size:24px} n4 {font-family:"Palatino Linotype","宋体";font-size:18px} </style> </head> <body> <table id="x"> <tr> <td> <n5>XU, Chang (许畅)</n5> <n4>Ph.D. (HKUST), CCF/IEEE senior member, ACM distinguished member</n4> <n4>Professor (Ph.D. supervisor) with:</n4> <ul> <li><n4><a href="http://keysoftlab.nju.edu.cn/">State Key Laboratory for Novel Software Technology</a></n4></li> <li><n4><a href="http://cs.nju.edu.cn/">School of Computer Science</a></n4></li> <li><n4><a href="http://ics.nju.edu.cn/">Institute of Computer Software (ICS)</a></n4></li> </ul> <n4>Mailing address:</n4> <ul> <li><n4>Room 807, Building of Computer Science and Technology</n4></li> <li><n4>Nanjing University (Xianlin Campus)</n4></li> <li><n4>163 Xianlin Avenue, Qixia District, Nanjing, Jiangsu, China (210023)</n4></li> </ul> <n4>E-mail: <img height="20" src="email.jpg"/></n4> </td> <td>&nbsp</td> <td> <img src="portrait.jpg" width="200"/> </td> </tr> </table> <n4>[<a href="#n">News</a>] [<a href="#b">Bio</a>] [<a href="#r">Research Interests</a>] [<a href="#s">Students</a>] [<a href="#a">Academic Services</a>] [<a href="#t">Teaching Duties</a>] [<a href="#h">Hobbies</a>]</n4> <hr/> <n5>News</n5> <ul> <li><n4>Magic on software engineering research: <a href="https://zhuanlan.zhihu.com/se-research">zhihu articles</a></n4></li> <li><n4>Potential graduate students: <a href="https://ics.nju.edu.cn/recruit/index.html">ICS recruitment portal</a> (2024 open)</n4></li> <li><n4>Growing software: Theory, Methodology, and Techniques (<a href="1_publications/20/SSI20.pdf">pdf</a>); Objective, Methodology, and Technology (<a href="1_publications/23/TCSS23.pdf">pdf</a>)</n4></li> <li><n4>Growing software: Transformer Synthesis for evolving Java projects (<a href="1_publications/21/ICSE21_01.pdf">pdf</a>), receiving the ACM SIGSOFT Distinguished Paper Award and ACM Europe Council Best Paper Award</n4></li> <li><n4>Growing software: Dependency diagnosis for evolving Go projects (<a href="http://www.hero-go.com">Hero</a>), receiving the ACM SIGSOFT Distinguished Paper Award</n4></li> <li><n4>Growing software: Dependency diagnosis for evolving Python projects (<a href="http://www.watchman-pypi.com">Watchman</a>), recommended by <a href="https://blog.acolyer.org/2020/09/21/watchman">The Morning Paper</a> on Sep 21, 2020)</n4></li> </ul> <hr/> <n5>Bio</n5> <n4>I obtained Ph.D. from <a href="http://www.ust.hk/">The Hong Kong University of Science and Technology (HKUST)</a> in 2008 (advisor: <a href="http://www.cs.ust.hk/~scc">Prof. S.C. Cheung</a>), M.Eng. from <a href="http://www.ios.ac.cn/">Institute of Software, Chinese Academy of Sciences (ISCAS)</a> in 2003, and B.Eng. from <a href="http://www.ustc.edu.cn/">University of Science and Technology of China (USTC)</a> in 2000.</n4> <n4>I was a research assistant professor with HKUST from 2008 to 2010. I joined <a href="http://www.nju.edu.cn/">Nanjing University (NJU)</a> as an associate professor in 2010, and was promoted to full professor in 2015.</n4> <n4>Awards or honors:</n4> <ul> <li><n4>ACM Distinguished Member in 2024</n4></li> <li><n4>Best Paper Award (最佳论文奖) from SOSP 2023</n4></li> <li><n4>Best Paper Candidate (最佳论文提名奖) from ISSRE 2022</n4></li> <li><n4>Yangtze River Scholar by the Ministry of Education (教育部长江学者特聘教授) in 2021</n4></li> <li><n4>ACM SIGSOFT Distinguished Paper Awards and ACM Europe Council Best Paper Award (杰出论文奖和最佳论文奖) from ICSE 2021</n4></li> <li><n4>Safety and Security of System Software Best Paper Award (最佳论文奖) from NASAC 2018</n4></li> <li><n4>ACM SIGSOFT Distinguished Paper Award (杰出论文奖) from ASE 2018</n4></li> <li><n4>NJU CS Virtue Star Award (南京大学计算机学科美德之星奖) in 2017</n4></li> <li><n4>NJU Du-Sha Teaching Award (南京大学杜厦奖教金) in 2017</n4></li> <li><n4>CCF Young Computer Scientist Award (中国计算机学会CCF青年科学家奖) in 2015</n4></li> <li><n4>ACM Nanjing Rising Star Award (ACM南京新星奖) in 2014</n4></li> <li><n4>Best Paper Award (最佳论文奖) from APSEC 2014</n4></li> <li><n4>NJU BOB "Jing"-Ying Teaching Award (南京大学北京银行"京"英奖教金) in 2014</n4></li> <li><n4>ACM SIGSOFT Distinguished Paper Award (杰出论文奖) from ICSE 2014</n4></li> <li><n4>Mountain-Climbing Talent (南京大学登峰人才支持计划) since 2013</n4></li> <li><n4>CVIC SE Talent (中创软件人才奖) in 2012</n4></li> <li><n4>National Science and Technology Progress Award (国家科学技术进步奖) (Second Class) in 2011</n4></li> <li><n4>New Century Excellent Talent in University by the Ministry of Education (教育部新世纪优秀人才) in 2010</n4></li> </ul> <hr/> <n5>Research Interests</n5> <n4>My research interests include big data software engineering, intelligent software testing and analysis, and adaptive and autonomous software systems. Recent topics focus on the construction and runtime support for intelligent software in open environments, which cover the inconsistency detection and resolution for environments, and quality assurance for adaptive/concurrent/learning-based/smartphone-based/spreadsheet-based applications.</n4> <ul> <li><n4>My <a href="1_publications/index.html">full publications</a>, <a href="http://scholar.google.com/citations?hl=en&user=jlZOlxIAAAAJ">Google Scholar Citations</a>, and <a href="https://dblp.org/pid/97/2966-1">DBLP page</a></n4></li> <li><n4>Associated research groups: <a href="http://ics.nju.edu.cn/spar/">SPAR</a> (NJU) and <a href="http://sccpu2.cse.ust.hk/castle/index.html">CASTLE</a> (HKUST)</n4></li> </ul> <hr/> <n5>Students</n5> <n4>Present (MSc + PhD):</n4> <ul> <li><n4>Mingchen Gao (MSc; with Dr. Huiyan Wang; software testing)</n4></li> <li><n4>Mingxiao Wang (MSc; with Dr. Yi Qin; self-adaptive system)</n4></li> <li><n4>Shuhui Zhang (MSc; self-adaptive system)</n4></li> <li><n4>Han Li (MSc; with Dr. Huiyan Wang; constraint checking)</n4></li> <li><n4>Li Qu (MSc; metamorphic testing)</n4></li> <li><n4>Zhiyong Chen (MSc; large language model)</n4></li> <li><n4>Yifei Xu (MSc; with Dr. Yi Qin; self-adaptive system)</n4></li> <li><n4>Ziyang Yan (Msc; program analysis)</n4></li> <li><n4>Zengji Li (Msc; software consistency)</n4></li> <li><n4>Peifeng Lu (Msc; software testing)</n4></li> <li><n4>Chenxi Zhang (PhD; with Dr. Yue Li; program analysis)</n4></li> <li><n4>Xianfei Ou (PhD; with Dr. Yanyan Jiang; compiler testing)</n4></li> <li><n4>Lingyu Zhang (PhD; with Dr. Huiyan Wang; software consistency)</n4></li> <li><n4>Teng Zhang (PhD; with Dr. Yue Li; program analysis)</n4></li> <li><n4>Hanzhi Liu (PhD; with Dr. Yanyan Jiang; system software)</n4></li> <li><n4>Weijie Sun (PhD; software evoluation)</n4></li> <li><n4>Chaoyi Zhao (PhD; with Dr. Yanyan Jiang; Java virtual machine)</n4></li> <li><n4>Tailin Chen (PhD; program analysis)</n4></li> </ul> <n4>Past:</n4> <ul> <li><n4>2024: Daohan Qu (MSc; with Dr. Yanyan Jiang), Ruijie Guo (MSc; with Dr. Ying Wang), Yan Yuan (MSc; with Dr. Ying Wang), Tianyun Zhang (MSc; with Dr. Yanyan Jiang), and Rong Yang (MSc; with Dr. Yi Qin)</n4></li> <li><n4>2023: Cong Li (PhD; with Dr. Yanyan Jiang; thesis: "Automating Device Adaptability of GUIs for Android Applications"), Yicheng Huang (MSc; with Dr. Yanyan Jiang), Jinchi Chen (MSc; with Dr. Yi Qin), Chuyang Chen (MSc; with Dr. Huiyan Wang), Xinyi Mao (MSc; with Dr. Yi Qin), and Shuguan Liu (MSc; with Prof. Xiaoxing Ma and Dr. Huiyan Wang)</n4></li> <li><n4>2022: Wenjie Li (PhD; with Dr. Jun Ma and Yanyan Jiang; thesis: "Research on Inefficient Image Displaying Issues in Android Apps"), Jue Wang (PhD; with Prof. Jian Lu and Dr. Yanyan Jiang; thesis: "Automatically Detecting Deep Logic Bugs in Mobile Applications"), Ziqi Chen (MSc; with Dr. Huiyan Wang), Yingzhuo Yang (MSc), and Siyuan Zhu (MSc; with Dr. Jingwei Xu)</n4></li> <li><n4>2021: Huiyan Wang (PhD; thesis: "Input Validation for Context-aware Intelligent Software via Consistency Checking"), Dongjie Chen (PhD; with Prof. Xiaoxing Ma and Dr. Yanyan Jiang; thesis: "Bug Interpretation-based Input Generation for Software Testing"), Zelin Zhao (PhD; with Prof. Xiaoxing Ma and Dr. Yanyan Jiang; thesis: "Automatic Patch Generation and Validation for Dynamic Software Updates"), Jinci Chen (MSc), Da Li (MSc; with Prof. Jian Lu), and Shaocong Liu (MSc; with Dr. Jun Ma)</n4></li> <li><n4>2020: Qingwei Sun (MSc; with Dr. Jun Ma) and Yi Liu (MSc; with Prof. Xiaoxing Ma and Dr. Yanyan Jiang)</n4></li> <li><n4>2019: Yang Cao (MSc; with Dr. Yanyan Jiang), Yuju Shen (MSc; with Dr. Yanyan Jiang), and Dawei Cheng (MSc; with Prof. Xiaoxing Ma)</n4></li> <li><n4>2018: Yi Qin (PhD; with Prof. Jian Lu; thesis: "Software Testing for Cyber-physical Systems Suffering Uncertainty"), Zhanshuai Meng (MSc; with Prof. Xiaoxing Ma and Dr. Yanyan Jiang), and Bingying Guo (MSc)</n4></li> <li><n4>2017: Yanyan Jiang (PhD; with Prof. Jian Lu and Xiaoxing Ma; thesis: "Understanding Shared Memory Dependences"), Wenhua Yang (PhD; with Prof. Xiaoxing Ma; thesis: "Verification and Counterexample Validation for Self-adaptive Software Systems Suffering Uncertain Environmental Interactions"), Xiangyu Wu (MSc), Qiwei Li (MSc), Ruiqing Zhang (MSc), Xiaofan Li (MSc), and Tianxiao Gu (PhD; with Prof. Xiaoxing Ma and Chun Cao; thesis: "On Dynamic Updating of Java Programs")</n4></li> <li><n4>2016: Jun Sui (MSc)</n4></li> <li><n4>2015: Xuezhi Hong (MSc), Wang Xi (MSc), Hao Jin (MSc; with Prof. Xiaoxing Ma), and Xiujiang Li (MSc; with Prof. Xiaoxing Ma)</n4></li> <li><n4>2014: Linghao Zhang (PhD; with Prof. Jian Lu and Xiaoxing Ma; thesis: "Dealing with Faults in Self-adaptive Software System: An Explicit Environment Model-based Approach"), Xiaokang Chen (MSc), Lei Jiang (MSc), and Hui Sun (MSc; with Prof. Xiaoxing Ma)</n4></li> <li><n4>2012: Hailong Ge (MSc; with Prof. Xiaoxing Ma) and Hao Chen (MSc; with Prof. Xiaoxing Ma)</n4></li> </ul> <hr/> <n5>Academic Services</n5> <n4>Editing journals:</n4> <ul> <li><n4>Special Editor on the area of Intelligent Software Engineering, <a href="http://www.jsjkx.com/CN/1002-137X/home.shtml">Computer Science (CS)</a></n4></li> <li><n4>Youth Area Editor, <a href="http://journal.hep.com.cn/fcs/EN/2095-2228/current.shtml">Frontiers of Computer Science (FCS)</a></n4></li> <li><n4>Guest Editor and Editorial Board of Young Scientists on the area of Software Systems, <a href="http://jcst.ict.ac.cn">Journal of Computer Science and Technology (JCST)</a></n4></li> <li><n4>Associate Editor, <a href="https://onlinelibrary.wiley.com/journal/20477481">Journal of Software: Evolution and Process (JSEP)</a></n4></li> </ul> <n4>Reviewing journals/magzines:</n4> <ul> <li><n4>Journal of Automated Software Engineering (ASEJ), Communications of the ACM (CACM), Journal of Computer Research and Development (CRAD), Frontiers of Computer Science (FCS), Journal of Computer Science and Technology (JCST)</a>, Journal of Software (JOS), Journal of Parallel and Distributed Computing (JPDC), The Journal of Systems and Software (JSS), Pervasive and Mobile Computing (PMC), Science China: Information Sciences (SCIS), IEEE Transactions on Systems, Man and Cybernetics: Systems (SMCA), Software: Practice and Experience (SPE), Software Testing, Verification and Reliability (STVR), IEEE Software (SW), ACM Transactions on Autonomous and Adaptive Systems (TAAS), IEEE Transactions on Parallel and Distributed Systems (TPDS), IEEE Transactions on Reliability (TR), IEEE Transactions on Services Computing (TSC), and IEEE Transactions on Software Engineering (TSE)</n4></li> </ul> <n4>Organizing conferences/symposiums:</n4> <ul> <li><n4>Program Co-chair, <a href="https://internetware2018.github.io">2018 10th Asia-Pacific Symposium on Internetware (INTERNETWARE 2018)</a></n4></li> <li><n4>SETA Symposium Program Co-chair, <a href="https://www.computer.org/web/compsac2017">2017 41st Annual International Computers, Software and Applications Conference (COMPSAC 2017)</a></n4></li> <li><n4>English Track Co-chair, 2016 15th National Software Application Conference (NASAC 2016)</n4></li> <li><n4>Co-chair, 2014 Software Engineering Educators Symposium (SEES 2014; with FSE 2014)</n4></li> <li><n4>Doctoral Symposium Co-chair, <a href="http://2013.middleware-conference.org">2013 ACM/IFIP/USENIX International Middleware Conference (MIDDLEWARE 2013)</a></n4></li> </ul> <n4>Serving program committees:</n4> <ul> <li><n4><a href="https://conf.researchr.org/home/fse-2025">2025 ACM International Conference on the Foundations of Software Engineering (FSE 2025)</a></n4></li> <ul> <li><n4>Also for ESEC/FSE 2022 (Ideas, Visions and Reflections Track) and ESEC/FSE 2021</n4></li> </ul> <li><n4><a href="https://conf.researchr.org/home/icse-2025">2025 47th IEEE/ACM International Conference on Software Engineering (ICSE 2025)</a></n4></li> <ul> <li><n4>Also for ICSE 2024, ICSE 2021 (Doctoral Symposium), ICSE 2020, ICSE 2017 (Student Research Competition Track), and ICSE 2012 (Formal Demonstrations Track)</n4></li> </ul> <li><n4><a href="https://conf.researchr.org/home/ase-2024">2024 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024)</a></n4></li> <ul> <li><n4>Also for ASE 2023 and ASE 2022</n4></li> </ul> <li><n4><a href="https://qrs21.techconf.org">2021 21st IEEE International Conference on Software Quality, Reliability, and Security (QRS 2021)</a></n4></li> <ul> <li><n4>Also for QRS 2020, QRS 2019, QRS 2018, QRS 2017, QRS 2016, and QRS 2015</n4></li> </ul> <li><n4><a href="http://issta2015.cs.uoregon.edu/">2015 ACM International Symposium on Software Testing and Analysis (ISSTA 2015, Demonstrations Track)</a></n4></li> </ul> <hr/> <n5>Teaching Duties</n5>  <n4>2024 (Spring; 16/95): 科学之光――走近 CSAI（计算机科学与人工智能）</n4> <ul> <li><n4>Also in 2023 (16/120), 2022 (Spring; 16/82)</n4></li> </ul> <n4>2024 (Spring; 64/131): <a href="2_compiler/index.html">Principles and Techniques of Compilers (编译原理)</a></n4> <ul> <li><n4>Also in 2023 (Spring; 64/107), 2022 (Spring; 68/81), 2021 (Spring * 2; 64/41 and 64/106), 2020 (Spring * 2; 68/60 and 68/68), 2019 (Spring; 64/50), 2018 (Spring; 64/59), 2017 (Spring; 72/65), 2016 (Spring; 72/81), 2015 (Spring and Fall; 72/65 and 72/44), 2014 (Spring and Fall), 2013 (Spring), 2012 (Spring), and 2011 (Spring)</n4></li> </ul> <n4>2024 (Fall; 30/??): <a href="http://jyywiki.cn/ISER/2024/">Guidance to Software Engineering Research (软件工程研究导引)</a></n4> <ul> <li><n4>Also in 2023 (Fall; 30/56), 2022 (Fall; 28/33), 2021 (Fall; 28/40), 2020 (Fall; 32/43), 2019 (Fall; 30/47), 2018 (Fall; 30/24), 2017 (Fall; 32/46), 2016 (Fall; 32/28), 2015 (Fall; 32/12), 2014 (Fall), 2013 (Fall), and 2012 (Fall)</n4></li> </ul> <hr/> <n5>Hobbies</n5> <n4>Early-year games: <a href="3_newpal/index.html">NewPal</a> and <a href="3_freerpg/index.html">FreeRPG</a></n4> <hr/> <n4>[<a href="#x">Back to Top</a>]</n4> <n4>Last updated on Oct 31, 2024</n4>.</n4>  <script type="text/javascript">var sc_project=6371420; var sc_invisible=1; var sc_security="2921ddaf"; </script> <script type="text/javascript" src="https://www.statcounter.com/counter/counter.js" async></script> <noscript> <div class="statcounter"> <a title="Web Analytics Made Easy - StatCounter" href="https://statcounter.com" target="_blank"> <img class="statcounter" src="https://c.statcounter.com/6371420/0/2921ddaf/1" alt="Web Analytics Made Easy - StatCounter" /> </a> </div> </noscript>  </body> </html>