Mihai Christodorescu
4 papers · 2022–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
๐
Conference Polyglot ยท Bronze
๐
Interdisciplinary Bridge ยท Bronze
โ
The Questioner
(2)
Venues
Top co-authors
Research topics
Keywords
adversarial robustness
(1)
adversarial training
(1)
static analysis
(1)
program analysis
(1)
code agent
(1)
security vulnerability
(1)
control flow
(1)
counterfactual analysis
(1)
black-box access
(1)
data flow
(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)
large code models
(1)
programming concepts
(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
NeurIPS 2022