--- title: "Mihai Christodorescu · Google — author profile and papers" description: "Mihai Christodorescu, Google: 2 papers on Elamur Research (2026), h-index 28 — affiliations, topics, co-authors and who cites them in our library." canonical: "https://research.elamur.ai/free/en/authors/mihai-christodorescu/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/mihai-christodorescu/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Mihai Christodorescu # Mihai Christodorescu Mihai Christodorescu has 2 papers in our library, in 2026; often with [Beidi Chen](https://md.research.elamur.ai/free/en/authors/beidi-chen/), [Lei Li](https://md.research.elamur.ai/free/en/authors/lei-li/), [Somesh Jha](https://md.research.elamur.ai/free/en/authors/somesh-jha/). 2 papers in our library · 2026 [OpenAlex](https://openalex.org/A5050855162) · [ORCID](https://orcid.org/0000-0001-5808-8015) · [**h-index 28**](https://openalex.org/authors/A5050855162) · [107 works](https://openalex.org/works?filter=author.id:A5050855162) · [4,330 citations](https://openalex.org/works?filter=author.id:A5050855162&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/mihai-christodorescu/#papers) · [🔗 Cited 23 times in our library](https://md.research.elamur.ai/free/en/authors/mihai-christodorescu/cited-by/) · [4 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #11615](https://md.research.elamur.ai/free/en/paper-stars/page/117/#star-11615) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Mihai+Christodorescu) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Mihai+Christodorescu) · [dblp](https://dblp.org/search?q=Mihai+Christodorescu) · [ACL Anthology](https://aclanthology.org/search/?q=Mihai+Christodorescu) ## Affiliations [🎓**University of Wisconsin–Madison** Madison · United States 2001–2026 · 18 papers*current*](https://md.research.elamur.ai/free/en/universities/university-of-wisconsin-madison/) · [🏢**Google** Mountain View · United States 2022–2026 · 9 papers*current*](https://md.research.elamur.ai/free/en/companies/google/) · [🎓**Carnegie Mellon University** Pittsburgh · United States 2026 · 1 paper*current*](https://md.research.elamur.ai/free/en/universities/carnegie-mellon-university/) · [🏢**IBM** Armonk · United States 2007–2025 · 16 papers](https://md.research.elamur.ai/free/en/companies/ibm/) · [🔬**IBM Research - Thomas J. Watson Research Center** Yorktown Heights · United States 2009–2025 · 13 papers](https://md.research.elamur.ai/free/en/labs/ibm-research-thomas-j-watson-research-center/) · [🏢**Qualcomm** San Diego · United States 2013–2016 · 9 papers](https://md.research.elamur.ai/free/en/companies/qualcomm/) · [🏢**Visa** Foster City · United States 2018–2023 · 6 papers](https://md.research.elamur.ai/free/en/companies/visa/) · [🔬**IBM Research - Haifa** Haifa · Israel 2007 · 2 papers](https://md.research.elamur.ai/free/en/labs/ibm-research-haifa/) 🏛️**Google LLC** Mountain View · [United States](https://md.research.elamur.ai/free/en/countries/united-states/) Employment 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. 📚 Shelves 6 The field of science this work belongs to (OpenAlex fields).[Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Arts and Humanities · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Information Systems · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/information-systems/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · [Software · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/software/) ## Works by year ### 2020s [**2026** 2 papers](https://md.research.elamur.ai/free/en/authors/mihai-christodorescu/year/2026/) ## 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](https://md.research.elamur.ai/free/en/papers/zhou-2026-sactor-llm-driven-correct-idiomatic/)** *(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?](https://md.research.elamur.ai/free/en/papers/peng-2026-when-correct-is-not-safe/)** *(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 ↗](https://doi.org/10.1561/3300000041) Foundations and Trends® in Privacy and Security · no summary yet**Clark Barrett et al.*2023 · 79 citations* 2. **[Malware Detection ↗](https://doi.org/10.1007/978-0-387-44599-1) Advances in information security · no summary yet**Mihai Christodorescu et al.*2007 · 29 citations* 3. **[Inter-Disciplinary Research Challenges in Computer Systems for the 2020s ↗](https://openalex.org/W2903187878) no summary yet**Albert Cohen et al.*2018 · 16 citations* 4. **[Malware Detection (Advances in Information Security) ↗](https://openalex.org/W2463752017) Springer eBooks · no summary yet**Mihai Christodorescu et al.*2006 · 7 citations* 5. **[SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification](https://md.research.elamur.ai/free/en/papers/zhou-2026-sactor-llm-driven-correct-idiomatic/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/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?](https://md.research.elamur.ai/free/en/papers/peng-2026-when-correct-is-not-safe/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/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](https://md.research.elamur.ai/free/en/authors/beidi-chen/) - [Lei Li](https://md.research.elamur.ai/free/en/authors/lei-li/) - [Somesh Jha](https://md.research.elamur.ai/free/en/authors/somesh-jha/) - [Varun Chandrasekaran](https://md.research.elamur.ai/free/en/authors/varun-chandrasekaran/) - [Xinyu Yang](https://md.research.elamur.ai/free/en/authors/xinyu-yang/) - [Yibo Peng](https://md.research.elamur.ai/free/en/authors/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)](https://md.research.elamur.ai/free/en/venues/acl/) ×2: [ACL 2026](https://md.research.elamur.ai/free/en/venues/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 →](https://md.research.elamur.ai/free/en/authors/mihai-christodorescu/cited-by/). Updated 1 November 2026