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
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
Co-authors
5 total
Roberto Palmieri
Roberto Palmieri
Associate Professor, Lehigh University
Hyeonjoong Cho
Hyeonjoong Cho
Professor, Korea university
Antonio Barbalace
Antonio Barbalace
Senior Lecturer, University of Edinburgh
Freek Verbeek
Freek Verbeek
Radboud University, The Netherlands
Xiaoguang Wang
Xiaoguang Wang
University of Illinois at Chicago