Systems Software Research Group


SSRG Word Cloud 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 areas include operating systems, concurrency, distributed systems, real-time systems, virtualization, run-times, compilers, and middleware. A cross-cutting goal is to understand how to build software systems -- broadly defined -- that are high-performance, scalable, reliable, and secure. Ongoing projects include operating systems, hypervisors, and compilers/run-times for multicore and heterogeneous architectures; scalable and secure concurrency control and consensus algorithms; and scalable verification of systems software.


LLRM project's FMUC paper has been nominated for award!

LLRM project's FMUC paper has been nominated for the TACAS 2020 EASST Award for Systematic and Rigorous Engineering of Software & Systems. Congratulations LLRMers!

We are recruiting!

See our recruitment advertisements for various research positions here.

Selected Publications