Welcome!
Welcome to the homepage of the Systems Software Research Group in the Bradley Department of Electrical & Computer Engineering at Virginia Tech. The group's general research area is computer systems, with a focus on improving security, performance, energy-efficiency, and timeliness. Ongoing projects include verifying security properties of low-level software, systems software for emerging heterogeneous architectures, secure operating systems, and concurrency control techniques.
News
Congratulations graduates!Our MS students, Priyatam Annambhotla, Kartik Goel, Pranav Kumar, and Shubham Tiwari, who worked on the LLRM project, have successfully defended their theses. Congratulations Priyatam, Kartik, Pranav, and Shubham!
Congratulations Prof. Nikolaev!
Our former Research Assistant Professor Ruslan Nikolaev is awarded NSF's CAREER grant! Congratulations Prof. Nikolaev!
We are recruiting!
See our recruitment advertisements for various research positions here.
Selected Publications
- Stramash: A Fused-kernel Operating System for Cache-Coherent, Heterogeneous-ISA Platforms, T. Xing, C. Xiong, T. Wei, A. Sanchez, B. Ravindran, J. Balkind, and A. Barbalace, ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2025), March 30-April 3, 2025
- Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly, F. Verbeek, N. Naus, and B. Ravindran, 31st ACM Conference on Computer and Communications Security (CCS 2024), October 14-18, 2024
- A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation, R. Nikolaev and B. Ravindran, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024), June 24-28, 2024