Recent Publications

1. Tigon: A Distributed Database for a CXL Pod
   Yibo Huang, Haowei Chen, Newton Ni, Yan Sun, Vijay Chidambaram, Dixin Tang, Emmett Witchel
   19th USENIX Symposium on Operating Systems Design and Implementation (OSDI 25)

   PDF SLIDES BIB CODE

   @inproceedings{huang25tigon,
     author = {Huang, Yibo and Chen, Haowei and Ni, Newton and Sun, Yan and Chidambaram, Vijay and Tang, Dixin and Witchel, Emmett},
     title = {{Tigon: A Distributed Database for a CXL Pod}},
     booktitle = {19th USENIX Symposium on Operating Systems Design
                       and Implementation (OSDI 25)},
     year = {2025},
     pdf = {https://www.usenix.org/system/files/osdi25-huang-yibo.pdf},
     publisher = {USENIX Association},
     month = jul,
     keywords = {CXL, databases},
     slides = {https://www.cs.utexas.edu/~vijay/slides/osdi25-huang-yibo-slides.pdf},
     software = {https://github.com/ut-datasys/tigon}
   }
   

2. PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection
   Hayley LeBlanc, Jacob R. Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram
   19th USENIX Symposium on Operating Systems Design and Implementation (OSDI 25)
   🏆 Distinguished artifact award

   PDF SLIDES BIB CODE

   @inproceedings{hayley25power,
     author = {LeBlanc, Hayley and Lorch, Jacob R. and Hawblitzel, Chris and Huang, Cheng and Tao, Yiheng and Zeldovich, Nickolai and Chidambaram, Vijay},
     title = {{PoWER Never Corrupts: Tool-Agnostic Verification of
                       Crash Consistency and Corruption Detection}},
     booktitle = {19th USENIX Symposium on Operating Systems Design
                       and Implementation (OSDI 25)},
     year = {2025},
     pdf = {https://www.usenix.org/system/files/osdi25-leblanc.pdf},
     publisher = {USENIX Association},
     month = jul,
     keywords = {verification, key-value stores},
     slides = {https://www.cs.utexas.edu/~vijay/slides/osdi25-leblanc-slides.pdf},
     award = {Distinguished Artifact Award},
     software = {https://github.com/microsoft/verified-storage/}
   }
   

3. Pasha: An efficient, scalable database architecture for CXL pods
   Yibo Huang, Newton Ni, Vijay Chidambaram, Emmett Witchel, Dixin Tang
   The 15th Annual Conference on Innovative Data Systems Research (CIDR ’25)

   PDF SLIDES BIB

   @inproceedings{huang2025pasha,
     title = {Pasha: An efficient, scalable database architecture
                       for CXL pods},
     author = {Huang, Yibo and Ni, Newton and Chidambaram, Vijay and Witchel, Emmett and Tang, Dixin},
     year = {2025},
     month = jan,
     booktitle = {"The 15th Annual Conference on Innovative Data
                       Systems Research (CIDR ’25)"},
     publisher = {VLDB},
     address = {Amsterdam, The Netherlands},
     pdf = {https://www.cs.utexas.edu/~witchel/pubs/huang25cidr-pasha.pdf},
     keywords = {CXL, databases},
     slides = {https://www.cs.utexas.edu/~vijay/slides/pasha-slides.pdf}
   }
   

News

Four new students (Minh, Talia, Nitin, and Shurang) are joining the group. Welcome!

Hayley defended her thesis and graduated! She will be joining Microsoft Research. Congratulations!

Tigon and PoWER were accepted to OSDI 25!

GPEmu got accepted to VLDB 25!

Pasha was accepted to CIDR 25!

... see all News