conftrace_
← Authors

Corina S. Pasareanu

2 papers · 2025–2026 · 2 conferences · across top CS/AI conferences

Conferences

ACL (1) ICML (1)

Top co-authors

Ravi Mangal (2) Yibo Peng (1) Haizhong Zheng (1) Somesh Jha (1) Mihai Christodorescu (1) Saranya Vijayakumar (1) James Song (1) Nils Palumbo (1) Zifan Wang (1) Xinyu Yang (1)

Keywords

code agent (1) security vulnerability (1) information exposure (1) functionally correct patch (1)

Papers

When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents? ACL 2026 Validating Mechanistic Interpretations: An Axiomatic Approach ICML 2025