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 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.
News
Go HermiTux-ers!Our HermiTux paper won the best paper award at VEE 2019. Congratulations HermiTux-ers!
Our newly minted PhD!
Our PhD student Rob Lyerly has successfully defended his PhD thesis. Rob has joined Facebook in Boston, MA. Congratulations and best wishes Dr. Lyerly!
We are recruiting!
See our recruitment advertisements for various research positions here.
Selected Publications
- Breaking the Boundaries in Heterogeneous-ISA Datacenters, A. Barbalace, R. Lyerly, C. Jelesnianski, A. Carno, H. Chuang, V. Legout, and B. Ravindran, 22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2017), April 8-12, 2017, Xi'an, China
- A Binary-Compatible Unikernel, P. Olivier, D. Chiba, S. Lankes, C. Min, and B. Ravindran, The 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE'19), April 13-14, 2019, Providence, Rhode Island, USA
- ezBFT: Decentralizing Byzantine Fault-Tolerant State Machine Replication, B. Arun, S. Peluso, and B. Ravindran, The 39th IEEE International Conference on Distributed Computing Systems (ICDCS'19), July 7-10, 2019, Dallas, TX, USA