Binoy Ravindran
Scholar

Binoy Ravindran

Google Scholar ID: gVz6VpIAAAAJ
Professor, Virginia Tech
Computer systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,041
 
H-index
25
 
i10-index
52
 
Publications
20
 
Co-authors
87
list available
Contact
No contact links provided.
Publications
4 items
Adding Compilation Metadata To Binaries To Make Disassembly Decidable
2026
Cited
0
ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
2026
Cited
0
BeePL: Correct-by-compilation kernel extensions
2025
Cited
0
Large Language Model-Powered Agent for C to Rust Code Translation
2025
Cited
0
Resume (English only)
Co-authors
87 total
Co-author 1
Co-author 1
Roberto Palmieri
Roberto Palmieri
Associate Professor, Lehigh University
Hyeonjoong Cho
Hyeonjoong Cho
Professor, Korea university
Antonio Barbalace
Antonio Barbalace
Senior Lecturer, University of Edinburgh
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Freek Verbeek
Freek Verbeek
Radboud University, The Netherlands