Na Meng
Associate Professor Gilbert Place, Room 4311A |
12/2024: Congratulations to Rishith Gandham for successfully defending his MS thesis!
11/2024: Congratulations to Waad Aldndni for successfully defending her PhD dissertation, and getting a job offer from Northern Border University in Saudi Arabia!
11/2024: Our workshop proposal of "The First International Workshop on Large Language Model-Oriented Empirical Research (LLanMER)" got accepted by FSE 2025!
09/2024: Our paper on "How Do Developers Reuse StackOverflow Answers in Their GitHub Projects?" got accepted by HCSE&CS 2024!
08/2024: Our paper on "Madeline: Continuous and Low-cost Monitoring with Graph-free Representations to Combat Cyber Threats" got accepted by ACSAC 2024!
08/2024: Congratulation to Sheik Murad Hassan Anik for successfully defending his PhD dissertation, and accepting a job offer from Auburn University at Montgomery (AUM) to work there as an assistant professor!
07/2024: Our project on "Addressing Security Vulnerabilities in Smart Home Automations" has received a funding from the FY25 Cybersecurity Research program of Commonwealth Cyber Initiative (CCI)!
06/2024: We received the Mutual Mentoring Grant from AdvanceVT and Mutual Mentoring program!
04/2024: Our paper on "ConflictBench: A Benchmark to Evaluate Software Merge Tools" was accepted by Journal of Systems and Software!
04/2024: Our project on "AI-Accessibility: reconceiving the inclusive co-design of building elements and navigation software" has received a funding from ICAT of VT!
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/2024: Our paper on "Automation in Building Occupant Profile Development: A Machine Learning‐ and Persona‐enabled Approach" got accepted by Construction Research Congress 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
CS6704: Software Engineering Research [Spring17][Spring19][Spring21][Fall24]
CS5704: Software Engineering [Spring16][Spring18][Spring20][Spring24]
CS3304: Comparative Languages [Fall16][Fall17][Fall18][Fall20]
CS3704: Intermediate Software Design and Engineering [Fall15][Fall19][Spring22][Fall23][Fall24]
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.
Commonwealth Cyber Initiative (CCI), ONR N00014-22-1-2057, NSF-2006278