![]() |
Na Meng
Associate Professor 2226 KWII |
03/2023: Our project on "Audio Navigation System for People with Vision Impairments" has been awarded the Proof-of-Concept (POC) grant by LAUNCH: the Center for New Ventures.
03/2023: Our paper on "UniLoc: Unified Fault Localization of Continuous Integration Failures" is accepted by TOSEM!
01/2023: I am serving as the General Chair of IEEE Secure Development Conference (SecDev) 2023. Please submit your awesome work to the conference!
Bowen Shen (PhD student, Fall 2018 - ) bowenshe@vt.edu
Ying Zhang (PhD student, Spring 2019 - ) yingzhang@vt.edu
Md Mahir Asef Kabir (PhD student, Fall 2019 - ) mahir.kabir.prof@gmail.com
Sheikh Shadab Towqir (PhD student, Spring 2020 - ) shadabtowqir@vt.edu
Sheik Murad Hassan Anik (PhD student, Spring 2020 - ) murad@vt.edu
Tung Dao (PhD student, Fall 2020 - ) T.Dao@cvent.com
Waad Aldndni (PhD student, Spring 2022 - ) waada@vt.edu
Suhani Khurana (MS student, Fall 2021 - ) suhanik@vt.edu
Zeheng Ye (MS student, Fall 2022 - ) zehengye@vt.edu
CS6704: Software Engineering Research [Spring17][Spring19][Spring21]
CS5704: Software Engineering [Spring16][Spring18][Spring20]
CS3304: Comparative Languages [Fall16][Fall17][Fall18][Fall20]
CS3704: Intermediate Software Design and Engineering [Fall15][Fall19][Spring22]
Security coding practices[SecDev22][ICPC22][IEEE S&P'22][TSE22][SecDev20][TIFS19][ICSE19][ICSE18]
Artificial intelligence and software engineering[IJCNN21][TDSC19][ICSME18a][ICSME17a]
Automated program generation[ESEC/FSE21][ITiCSE21][IJCAI19]
Automated program transformations [ASE20][ICPC19][MOBILESoft18][ICSE15][ICSE13][PLDI11]
Software bugs and fixes[ASE22][TOSEM'22][SANER22][ICSE21][JSS19][ICSME18b][EMSE17][ICSME17b][ICPC17]
Program comprehension[ICSE20][LCTES19][JSS18]
Cyber-Physical Systems[JOBE'22][CRC22]
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 and GitHub for details.
ONR N00014-22-1-2057, NSF-2006278, NSF-1929701, NSF-1845446, ONR N00014-17-1-2498, NSF-1565827