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 concurrency, distributed systems, operating systems, compilers/run-times, and real-time systems. 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 novel heterogeneous architectures, verification of systems software at lower abstraction levels, secure operating systems, and concurrency control abstractions and algorithms.


LLRM project's decompilation paper receives Best Paper award!

LLRM project's C code decompilation paper received the Best Paper award at the SEFM 2020 conference. Congratulations LLRMers!

We are recruiting!

See our recruitment advertisements for various research positions here.

Selected Publications