![]() Education
Awards
![]() Research InterestMy research interest lies in software system analysis.
PublicationsFull list![]() Current PhD StudentsSayali KateGuanhong Tao Le Yu Shengwei An Zhuo Zhang Qiuling Xu Yu Shi Yapeng Ye Xuwei Liu Zhiyuan Cheng Guangyu Shen Yunshu Mao Xiangzhe Xu Shiwei Feng Siyuan Cheng Junyang Shao Xuan Zhou I also work with Kaiyuan Zhang, Xuan Chen, and Chanwoo Bae. Current VisitorsCurrent Post DocQingkai ShiFormer Post DocHongyu Liu (Researcher at Huawei Galois Lab, China)Mijung Kim (Assistant Professor at Ulsan National Institute of Science and Technology, Korea) Yousra Aafer (Assistant Professor at University of Waterloo, Canada) Wei You (Associate Professor at Renmin University, China) Juan Zhai (Assistant Professor at University Massachusetts Amherst) Peng Liu (IBM T.J. Watson and then Google) Former studentsI Luk KimYingqi Liu(Research Scientist at Microsoft) Hongjun Choi (Assistant Professor at Daegu Gyeongbuk Institute of Science and Technology) Fei Wang (Facebook) Dohyeong Kim (Google) Fei Peng (Apple) Wenchuan Lee (Apple) Shiqing Ma (Assistant Professor at University Massachusetts Amherst, NSF Career Awardee) Yonghwi Kwon (John Knight Career Enhancement Assistant Professor at University of Virginia, NSF Career Awardee, co-advised with Dongyan Xu) Weihang Wang (Assistant Professor at Southern California, NSF Career Awardee, co-advised with Patrick Eugster) Jianjun Huang (Assistant Professor at Renmin University, China) Brendan Saltaformmagio(Assistant Professor at Georgia Tech, Recipient of ACM SIGACT Distinguished Dissertation Award 2017, co-advised with Dongyan Xu) Kyu Hyung Lee (Associate Professor at University of Georgia, co-advisded with Dongyan Xu) Chung Hwan Kim (Assistant Professor at University of Texas at Dallas, co-advised with Dongyan Xu) Zhui Deng(Apple, co-advised with Dongyan Xu) Tao Bao(Google) Yunhui Zheng(Research Staff Member at IBM Research, then Co-Founder and CTO of sec3 (security for Web 3)) William N. Sumner (Associate Professor at Simon Fraser University, Canada) Vinai Sundaram (co-advised with Patrick Eugster, Co-Founder of SensorHound Innovations LLC ) Dasarath Weeratunge ( Intel Lab, co-advised with Suresh Jagannanthan) Zhiqiang Lin (co-advised with Dongyan Xu, Professor at Ohio State University, NSF Career Awardee and Airforce Young Investigator Awardee) Mingwu Zhang (co-advised with Prof. Prabhakar, Microsoft) Bin Xin ( Google) Former VisitorsChonghua Wang, PhD student, University of Chinese Academy of Sciences, China (2015-2016)Zhaogui Xu, PhD student, Nanjing University (2014-2016) Lin Chen, Associate Professor, Nanjing University (2015-2016) Zhifei Chen, PhD Student, Nanjing University (2015) Chang-Ai Sun, Professor, University of Science and Technology Beijing (2014-2015) Lei Xu, Associate Professor, Nanjing University (2014-2015) Juan Zhai, PhD Student, Nanjing University (2014-2015) Hao Sun, PhD Student, Nanjing University (2014) Wanying Ma, PhD student, Nanjing University, China (2016-2017) Zhenhao Tang, PhD student, Nanjing University, China (2016-2017) Yang Zhang, Associate Professor, Hebei University of Sci. and Tech., China (2016-2018) Yuan Zhuang, PhD student, Nanjing University, China (2019-2020) ![]() Teaching and Reading GroupCS307 Software Engineering in fall 2021.CS240 C Programming in spring 2020. CS590 Program Analysis for Deep Learning in fall 2019. CS408 Software Testing in spring 2019. CS408 Software Testing in fall 2018. CS240 C Programming in spring 2018. CS408 Software Testing in fall 2017. CS510 Software Engineering in spring 2017. CS408 Software Testing in fall 2016. CS408 Software Testing in spring 2016. CS408 Software Testing in fall 2015. CS408 Software Testing in spring 2015. CS353 Principles of Concurrency and Parallelism in fall 2014. CS408 Software Testing in spring 2014. CS510 Software Engineering in spring 2013. CS490 Software Testing in fall 2012. CS510 Software Engineering in spring 2012. CS490 Software Testing in fall 2011. CS352 Compilers: Principles and Practice in spring 2011. CS510 Software Engineering in fall 2010. CS510 Software Engineering in spring 2010. CS590 Advanced Software Testing and Debugging in fall 2009. CS352 Compilers: Principles and Practice in spring 2009. CS510 Software Engineering in fall 2008. Fault Localization and Program Analysis Reading Group (spring 2008). CS510 Software Engineering in spring 2008. CS590Z Software Defect Analysis in fall 2007. CS590F in spring 2007. ![]() Recent Professional ActivitiesPC chair: ISSTA'21 PC member: CCS, USENIX Security, ICSE, FSEAssociate Editor: TSE (2015-2021) ![]() Personal InterestSoccer is my favorite. I still play twice a week (timestamp: 12/30/2021). |