🧑‍🔬 Mihai Christodorescu

🏛️ Affiliations

🎓University of Wisconsin–MadisonMadison · United States2001–2026 · 18 paperscurrent🏢GoogleMountain View · United States2022–2026 · 9 paperscurrent🎓Carnegie Mellon UniversityPittsburgh · United States2026 · 1 papercurrent🏢IBMArmonk · United States2007–2025 · 16 papers🔬IBM Research - Thomas J. Watson Research CenterYorktown Heights · United States2009–2025 · 13 papers🏢QualcommSan Diego · United States2013–2016 · 9 papers🏢VisaFoster City · United States2018–2023 · 6 papers🔬IBM Research - HaifaHaifa · Israel2007 · 2 papers

🏛️Google LLCMountain View · United StatesEmployment

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 1 more institution on single bylines are not listed.

🧭 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📅 Works by year

2020s

📄 Papers

The most cited first (OpenAlex and our library).

1. SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification (2026 · 1 citation)
   Moving legacy C code to Rust can remove whole classes of memory bugs. Rule-based converters such as C2Rust produce Rust that leans heavily on unsafe , and plain LLM prompting gives no assurance that the result behaves like the original. SACTOR addresses both problems. A libclang-based C Parser splits a program into…
2. When “Correct” Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents? (2026)
   Code agents are usually judged by whether their patches resolve an issue and pass the test suite. This paper argues that passing tests does not mean a patch is secure. The authors define a threat class called functionally correct yet vulnerable (FCV) patches: fixes that pass every test but still contain a…

All works

6 works of theirs in our library, the most cited first; 2 with a page here, the others link their original until we summarise them.

1. Identifying and Mitigating the Security Risks of Generative AI ↗Foundations and Trends® in Privacy and Security · no summary yetClark Barrett et al.2023 · 79 citations
2. Malware Detection ↗Advances in information security · no summary yetMihai Christodorescu et al.2007 · 29 citations
3. Inter-Disciplinary Research Challenges in Computer Systems for the 2020s ↗no summary yetAlbert Cohen et al.2018 · 16 citations
4. Malware Detection (Advances in Information Security) ↗Springer eBooks · no summary yetMihai Christodorescu et al.2006 · 7 citations
5. SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based VerificationAnnual Meeting of the Association for Computational Linguistics (ACL)Tianyang Zhou, Ziyi Zhang, Haowen Lin, et al.2026 · 1 citation
6. When “Correct” Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?Annual Meeting of the Association for Computational Linguistics (ACL)Yibo Peng, James Song, Lei Li, et al.2026

🤝 Co-authors here

6 co-authors with a page, the most papers together first.

• Beidi Chen
• Lei Li
• Somesh Jha
• Varun Chandrasekaran
• Xinyu Yang
• Yibo Peng

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

• Annual Meeting of the Association for Computational Linguistics (ACL) ×2: ACL 2026 ×2
• Advances in information security
• Foundations and Trends® in Privacy and Security
• Springer eBooks

🔗 Cited by

Papers of our library cite their works 23 times (of the 149,439 papers whose bibliographies we read); 5 citing papers with a page here →.

Updated 1 November 2026

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/mihai-christodorescu/