Na Meng

Assistant Professor
Computer Science
Virginia Tech

nm8247@cs.vt.edu

2226 KWII

My research interests include Software Engineering and Programming Languages. Our research group NiSE (iNnovations in Software Engineering) (1) conduct empirical studies to comprehend program changes made by developers, and (2) develop methods and tools to assist comprehension of programs and changes, software bug detection, automatic program repair, program transformation, and program generation.

If you are a VT CS graduate or undergraduate student interested in working with me, please send me an e-mail.

News

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.

Current Students

Ye Wang (PhD student)
Bowen Shen (PhD student)
Ying Zhang (PhD student)
Chengyuan Wen (MS student)

Graduated Students

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)

Teaching

CS6704: Software Engineering Research [Spring17][Spring19]
CS5704: Software Engineering [Spring16][Spring18]
CS3304: Comparative Languages [Fall16][Fall17][Fall18]
CS3704: Intermediate Software Design and Engineering [Fall15]

Selected Research Topics

Security coding practices [ICSE19][ICSE18]
Automated program transformations [MOBILESoft18][ICSE15][ICSE13][PLDI11]
Empirical studies on bug fixes
Code clones
Program comprehension

Publications

A complete list of publications can be found here

Patent

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

Software

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.

Activities

Funding

NSF-1845446, ONR N00014-17-1-2498, NSF-1565827