Binoy Ravindran

Registered user since Sat 26 Mar 2022

Name:Binoy Ravindran
Bio:

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.

Country:United States
Affiliation:Virginia Tech
Research interests:concurrency, distributed systems, operating systems, compilers/run-times, real-time systems

Contributions

PLDI 2022 Formally Verified Lifting of C-compiled x86-64 Binaries
Show activities from other conferences

Using general profile