Mihai Christodorescu
4 papers · 2022–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(2)
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
❓
The Questioner
Conferences
ACL (2)
ICML (1)
NIPS (1)
Top co-authors
Keywords
adversarial robustness
(1)
adversarial training
(1)
static analysis
(1)
program analysis
(1)
code agent
(1)
security vulnerability
(1)
memory safety
(1)
relational adversary
(1)
test-time adversarial attack
(1)
information exposure
(1)
c to rust translation
(1)
pointer semantics
(1)
foreign function interface
(1)
functionally correct patch
(1)
Papers
SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
ACL 2026
When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?
ACL 2026
Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates
ICML 2024
Robust Learning against Relational Adversaries
NIPS 2022