If you are a VT CS graduate or undergraduate student interested in working with me, please send me an e-mail.
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)
Bowen Shen (PhD student)
Ying Zhang (PhD student)
Chengyuan Wen (MS student)
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]
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-1845446, ONR N00014-17-1-2498, NSF-1565827