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 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.
News
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
- HEXO: Offloading HPC Compute-Intensive Workloads on Low-Cost, Low-Power Embedded Systems, P. Olivier, A. F. Mehrab, S. Lankes, M. Karaoui, R. Lyerly, and B. Ravindran, The 28th ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC'19), June 24-28, 2019, Phoenix, AZ, USA
- 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
- LibrettOS: A Dynamically Adaptable Multiserver-Library OS, R. Nikolaev, M. Sung, and B. Ravindran, 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2020), March 17, 2020, Lausanne, Switzerland