Registered user since Sat 26 Mar 2022
Binoy Ravindran is a Professor in Virginia Tech’s Department of Electrical and Computer Engineering, where he leads the Systems Software Research Group. His research is broadly in computer systems (e.g., operating systems, concurrency, virtualization, compilers, run-times), with a focus on programmability, performance, security, energy efficiency, and real-time.
|PLDI 2022||Formally Verified Lifting of C-compiled x86-64 Binaries|
|Show activities from other conferences|