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!

Launching a new Distributed Systems course in UTCS Online Masters

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

... see all News