MrCrypt: static analysis for secure cloud computations. - Sai Deep Tetali; Mohsen Lesani; Rupak Majumdar; Todd D. Millstein (OOPSLA, 2013)

Kuai: A model checker for software-defined networks. - Rupak Majumdar; Sai Deep Tetali; Zilong Wang 004 (FMCAD, 2014)

Titian: Data Provenance Support in Spark. - Matteo Interlandi; Kshitij Shah; Sai Deep Tetali; Muhammad Ali Gulzar; Seunghyun Yoo; Miryung Kim; Todd D. Millstein; Tyson Condie (Proc. VLDB Endow., 2015)

Program Analyses for Cloud Computations. - Sai Deep Tetali (2015)

Optimizing Interactive Development of Data-Intensive Applications. - Matteo Interlandi; Sai Deep Tetali; Muhammad Ali Gulzar; Joseph Noor; Tyson Condie; Miryung Kim; Todd D. Millstein (SoCC, 2016)

Interactive Debugging for Big Data Analytics. - Muhammad Ali Gulzar; Xueyuan Han; Matteo Interlandi; Shaghayegh Mardani; Sai Deep Tetali; Todd D. Millstein; Miryung Kim (HotCloud, 2016)

BigDebug: debugging primitives for interactive big data processing in spark. - Muhammad Ali Gulzar; Matteo Interlandi; Seunghyun Yoo; Sai Deep Tetali; Tyson Condie; Todd D. Millstein; Miryung Kim (ICSE, 2016)

Adding data provenance support to Apache Spark. - Matteo Interlandi; Ari Ekmekji; Kshitij Shah; Muhammad Ali Gulzar; Sai Deep Tetali; Miryung Kim; Todd D. Millstein; Tyson Condie (VLDB J., 2018)

Privacy-Preserving Gaze Data Streaming in Immersive Interactive Virtual Reality: Robustness and User Experience. - Ethan Wilson; Azim Ibragimov; Michael J. Proulx; Sai Deep Tetali; Kevin R. B. Butler; Eakta Jain (IEEE Trans. Vis. Comput. Graph., 2024)

Eye Gaze as a Signal for Conveying User Attention in Contextual AI Systems. - Ethan Wilson; Naveen Sendhilnathan; Charlie S. Burlingham; Yusuf Mansour; Robert Cavin; Sai Deep Tetali; Ajoy Savio Fernandes; Michael J. Proulx (ETRA, 2025)