Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Victor Chen
conf.researchr.org general profile
PLDI 2026 profile
SPLASH/ISSTA 2026 profile
Registered user since Thu 9 Apr 2026
Name:
Victor Chen
Affiliation:
The Ohio State University
Contributions
2026
SPLASH/ISSTA
Author of Towards Scalable and Verifiable Automated Translation from C to Safe Rust within the Doctoral symposium-track
Author of Towards Scalable and Verifiable Automated Translation from C to Safe Rust (Long Talk) within the Doctoral symposium-track
PLDI
Author of &inator: Correct, Precise C-to-Rust Interface Translation within the PLDI Research Papers-track
Share
x
Thu 15 Oct 04:21