Professional Service
Program Committee & Peer Review
Program Committee Member
-
PC Member — ICSME 2026, Replication and Negative Results (RENE) Track2026
-
2026
-
PC Member — MSR 2026, Mining Challenge Papers track2026
-
Junior PC Member — MSR 2026, 23rd International Conference on Mining Software Repositories2026
-
PC Member — A-SPPI 2025, International Workshop on Analytics for Software Product and Process Improvement, co-located with PROFES 20252025
Journal Reviewer
-
Ongoing
-
Ongoing
-
Reviewer — Empirical Software Engineering (EMSE), SpringerOngoing
-
Reviewer — Journal of Systems and Software (JSS), Elsevier2025
Conference Volunteering
-
Student Volunteer — ICSME 2025, Auckland, New Zealand2025
-
Volunteer — CS Symposium, Department of Computer Science, William & Mary2022–2024
Articles & Columns
Intent-Invariant Mutation Testing: A Coverage Criterion for Large Language Model Safety Contracts
Aug 2026
Computer (IEEE Computer Society), vol. 59, no. 8, pp. 98–106 — with A. Mastropaolo, S. Shahnami, D. R. Kuhn, and J. Voas
- — A coverage-driven framework that treats an LLM safety policy as a behavioral contract and tests whether the model enforces it consistently across semantically equivalent reframings. IEEE Xplore · doi:10.1109/MC.2026.3696017
Polyglot but Perilous: A Multi-Model, Multi-Language Audit of LLM-Generated Code
Jul 2026
“Spotlight on Transactions” column, Computer (IEEE Computer Society) — with Antonio Mastropaolo
- — Column spotlighting recent research on the security and quality of LLM-generated code across models and programming languages. IEEE Xplore · doi:10.1109/MC.2026.3696004