Mihai Christodorescu

Identifiers

• name variant Mihai Christodorescu 0.60 · backfill

Papers (6)

1. Agent Security is a Systems Problem cs.CR · 2026 · author #1
2. Verifier-Guided Code Translation via Meta-Step Decoding cs.LG · 2026 · author #3
3. Taint-Style Vulnerability Detection and Confirmation for Node.js Packages Using LLM Agent Reasoning cs.CR · 2026 · author #2
4. COSET: A Benchmark for Evaluating Neural Program Embeddings cs.LG · 2019 · author #2
5. REMOTEGATE: Incentive-Compatible Remote Configuration of Security Gateways cs.CR · 2017 · author #3
6. Learning Execution Contexts from System Call Distributions for Intrusion Detection in Embedded Systems cs.CR · 2015 · author #4

Mentions

• 2605.18991 #1 · arxiv_oai · confidence 0.70 Mihai Christodorescu
• 2605.17626 #3 · arxiv_oai · confidence 0.70 Mihai Christodorescu

Frequent Coauthors

• Somesh Jha 2 shared papers
• Abhinav Aggarwal 1 shared papers
• Andrey Labunets 1 shared papers
• Ashish Hooda 1 shared papers
• Earlence Fernandes 1 shared papers
• Guy Amir 1 shared papers
• Jaesik Choi 1 shared papers
• Jihye Choi 1 shared papers
• Johann Rehberger 1 shared papers
• Kamalika Chaudhuri 1 shared papers
• Ke Wang 1 shared papers
• Khawaja Shams 1 shared papers
• Kirill Levchenko 1 shared papers
• Limin Jia 1 shared papers
• Lui Sha 1 shared papers
• Mahdi Zamani 1 shared papers
• Man-Ki Yoon 1 shared papers
• Nils Palumbo 1 shared papers
• Nishit V. Pandya 1 shared papers
• Ronghao Ni 1 shared papers