Tien N. Nguyen
2 papers · Latest:
Software Engineering
Enhancing Program Repair with Specification Guidance and Intermediate Behavioral Signals
SpecTune improves automated program repair by using specification-guided intermediate behavioral signals, enabling precise fault localization and targeted patches.
2604.11770
Software EngineeringSemantic Evolution over Populations for LLM-Guided Automated Program Repair
EvolRepair uses a population-based semantic evolutionary algorithm with LLMs and execution feedback to significantly improve automated program repair.
2604.02134
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.