Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares. - Yi Zhou 025; Sydney Gibson; Sarah Cai; Menucha Winchell; Bryan Parno (CCS, 2023)

Unity Catalog: Open and Universal Governance for the Lakehouse and Beyond. - Ramesh Chandra; Haogang Chen 003; Ray Matharu; Sarah Cai; Jeff Chen; Priyam Dutta; Bogdan Ghita 004; Todd Greenstein; Gopal Holla; Peng Huang; Yuchen Huo; Adrian Ionescu; et al. (SIGMOD Conference Companion, 2025)