Baldoino Fonseca
2 papers · Latest:
Software Engineering
Foundation Models as Oracles for Refactoring Correctness Detection
Foundation models can effectively detect refactoring correctness issues in Java programs, outperforming traditional methods.
2605.02096
Software EngineeringVulnerability Detection with Interprocedural Context in Multiple Languages: Assessing Effectiveness and Cost of Modern LLMs
This study assesses modern LLMs for detecting interprocedural vulnerabilities across C, C++, and Python, finding cost-effective solutions.
2604.08417
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.