If you are a VT CS graduate or undergraduate student interested in working with me, please send me an e-mail.
09/2019: Prof. Daphne Yao and I received an NSF SaTC funding for "Deployment-quality and Accessible Solutions for Cryptography Code Development".
05/2019: Our paper on "SAIS: Self-Adaptive Identification of Security Bug Reports" is accepted by Transactions on Dependable and Secure Computing.
05/2019: Our paper on "Optimizing Constraint Solving via Dynamic Programming"is accepted by IJCAI.
04/2019: Our poster on "Deployment-Quality and Accessible Solutions for Cryptography Code Development" is accepted by S&P.
04/2019: I received the NSF CAREER Award for the project "Data-Driven Debugging of Complex Program Changes".
04/2019: Our paper on "An Empirical Comparison between Monkey Testing andHuman Testing" is accepted by LCTES 2019.
03/2019: Our chapter on "Software Evolution" is published in the book "Handbook of Software Engineering".
03/2019: Our paper on "Meditor: Inference and Application of API Migration Edits" is accepted by ICPC 2019.
12/2018: Our paper on "How Reliable is the Crowdsourced Knowledge of Security Implementation?" is accepted by ICSE 2019.
Ye Wang (PhD student, Fall 2016 - )
Bowen Shen (PhD student, Fall 2018 - )
Ying Zhang (PhD student, Spring 2019 - )
Mahir Kabir (PhD student, Fall 2019 - )
Chengyuan Wen (MS student, Spring 2018 - )
Zijian Jiang (MS student, Spring 2019 - )
Pronnoy Goswami (MS student, Fall 2019 - )
Yan Zhao (MS student, Fall 2019 - )
Mengsu Chen (2018 MS)
Tung Dao (2017 MS => Cvent)
Sophia Kobelja (2017 Bachelor => Software Engineer at SimonComputing, Inc.)
Zhenshu Zhao (2016 Bachelor => Graduate Student at CMU-Silicon Valley)
CS6704: Software Engineering Research [Spring17][Spring19]
CS5704: Software Engineering [Spring16][Spring18]
CS3304: Comparative Languages [Fall16][Fall17][Fall18]
CS3704: Intermediate Software Design and Engineering [Fall15][Fall19]
Security coding practices [ICSE19][ICSE18]
Automated program transformations [MOBILESoft18][ICSE15][ICSE13][PLDI11]
Empirical studies on bug fixes
A complete list of publications can be found here
|System to uncover root cause of non-deterministic (flaky) tests (Patent Number 9,311,220).|
|Jungwoo Ha, Jaeheon Yi, Peter Dinges, Jeremy Manson, Caitlin Harrison Sadowski, Na Meng|
The implementations from nearly all of my publications are publicly available. Other researchers have used several of these implementations in their publications. See projects for details.
NSF-1929701, NSF-1845446, ONR N00014-17-1-2498, NSF-1565827