![Systems Software Research Group](images/ssrg_header.png)
Welcome!
![SSRG Word Cloud](images/word_cloud_2017-04-02.png)
News
Welcome back Prof. Zhoulai Fu!Prof. Zhoulai Fu from SUNY Korea visits SSRG for Summer'24. Welcome back Prof. Fu!
Welcome aboard Dr. Ruotong Yu!
Dr. Ruotong Yu has joined SSRG as a postdoctoral scholar. Welcome aboard Ruotong!
We are recruiting!
See our recruitment advertisements for various research positions here.
Selected Publications
- Formally Verified Lifting of C-compiled x86-64 Binaries, F. Verbeek, J. Bockenek, Z. Fu, and B. Ravindran, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022), June 13-17, 2022
- Aggregate VM: Why Reduce or Evict VM’s Resources When You Can Borrow Them From Other Nodes?, H. Chuang, K. Manaouil, T. Xing, A. Barbalace, P. Olivier, B. Heerekar, and B. Ravindran, 18th ACM European Conference on Computer Systems (EuroSys 2023), May 8-12, 2023
- A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation, R. Nikolaev and B. Ravindran, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024), June 24-28, 2024