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 concurrency, distributed systems, operating systems, compilers/run-times, real-time systems, and verification. A cross-cutting goal is to understand how to build software systems -- broadly defined -- that are high-performant, secure, reliable, energy-efficient, and real-time. Ongoing projects include systems software for emerging heterogeneous architectures, verification of systems software, secure operating systems, and concurrency control abstractions and algorithms.
News
Congratulations Dr. Nikolaev!Our Research Assistant Professor, Dr. Ruslan Nikolaev has joined the Department of Computer Science and Engineering at Penn State as an Assistant Professor. Congratulations and best wishes Prof. Nikolaev!
Welcome aboard Drs. Ashouri and Naus!
Dr. Mohammadreza Ashouri and Dr. Nico Naus have joined SSRG as postdoctoral scholars. Welcome aboard postdocs!
We are recruiting!
See our recruitment advertisements for various research positions here.
Selected Publications
- Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures, R. Nikolaev and B. Ravindran, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021), June 20-25, 2021
- Xar-Trek: Run-time Execution Migration among FPGAs and Heterogeneous-ISA CPUs, E. Horta, H-R. Chuang, N. VSathish, C. Philippidis, A. Barbalace, P. Olivier, and B. Ravindran, 22nd ACM/IFIP International Middleware Conference (MIDDLEWARE 2021), Quebec, Canada, December 6-10, 2021
- Highly Automated Formal Proofs over Memory Usage of Assembly Code, F. Verbeek, J. Bockenek, and B. Ravindran, 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), April 25-30, 2020, Dublin, Ireland