Na Meng

Assistant Professor
Computer Science
Virginia Tech

2209 KWII

CV   (December 2015)

My research interests include Software Engineering and Programming Languages.

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


03/2017: I got invited to attend the LATTICE symposium for early career women in engineering.

02/2017: Our paper "How Does Execution Information Help with Information-Retrieval Based Bug Localization?" got accepted by ICPC 2017.

12/2016: Our poster "An Empirical Study on Using Hints from Past Fixes" got accepted by ICSE 2017.

06/2016: Our poster "Trifest: Automated Inference for Probabilistic Systems" got accepted by USENIX ATC '16.

03/2016: Our patent application ``System to uncover root cause of non-deterministic (flaky) tests'' got approved.

03/2016: My CRII Proposal got funded by NSF (sole PI).

Current Students

Kijin An (PhD student, co-advising with Dr. Eli Tilevich)
Ye Wang (PhD student)
Shengzhe Xu (PhD student)
Wenjie Zhuang (MS student)

Graduated Students

Zhenshu Zhao (Bachelor => Graduate Student at CMU-Silicon Valley)


Spring 2017: CS6704: Software Engineering Research
Fall 2016: CS3304: Comparative Languages
Spring 2016: CS5704: Software Engineering
Fall 2015: CS3704: Intermediate Software Design and Engineering

Selected Publications

ICSE 2015 Does Automated Refactoring Obviate Systematic Editing?
Na Meng, Lisa Hua, Miryung Kim, Kathryn S. McKinley
Acceptance ratio: 18.5%
ICSE 2013 Lase: Locating and Applying Systematic Edits by Learning from Examples
Na Meng, Miryung Kim, and Kathryn S. McKinley
Acceptance ratio: 18.5%
PLDI 2011 Systematic Editing: Generating Program Transformations from an Example
Na Meng, Miryung Kim, and Kathryn S. McKinley
Acceptance ratio: 23.3%

A complete list of publications


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.


Financial Support