Na Meng
Associate Professor Gilbert Place, Room 4311A |
02/2024: Our paper on "Methods and Benchmark for Detecting Cryptographic API Misuses in Python" was accepted by TSE!
01/2024: Our paper on "Understanding the Impact of Branch Edit Features for the Automatic Prediction of Merge Conflict Resolutions" was accepted by the RENE track of ICPC 2024!
12/2023: Our project on "An Empirical Evaluation of Large Language Models (LLMs) in Generating Security Tests to Mitigate Supply Chain Attacks" has received a funding from the Supply Chain Cybersecurity Program by CCI SWVA!
12/2023: Our paper on "Compiler-directed Migrating API Callsite of Client Code" was accepted by ICSE 2024!
12/2023: Our paper one "Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust" was accepted by ICSE SEIP 2024!
Bowen Shen (PhD student, Fall 2018 - ) bowenshe@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
Waad Aldndni (PhD student, Spring 2022 - ) waada@vt.edu
Rishith Gandham (MS student, Summer 2023 - ) rishith@vt.edu
CS6704: Software Engineering Research [Spring17][Spring19][Spring21]
CS5704: Software Engineering [Spring16][Spring18][Spring20][Spring24]
CS3304: Comparative Languages [Fall16][Fall17][Fall18][Fall20]
CS3704: Intermediate Software Design and Engineering [Fall15][Fall19][Spring22][Fall23]
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