12
Publications
759
Citations
12
H-Index
2010
Active since
Sai Deep Tetali is an author at University of California, Los Angeles specializing in engineering, computer science, and data management.
Top concepts
EngineeringComputer ScienceData ManagementSoftware AnalysisSoftware EngineeringData ScienceVerificationFormal MethodsProgram AnalysisFormal Verification
Publications per year
2010–2024
12
12
Compositional may-must program analysis
Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani et al. · 2010 · 215 citations
Matteo Interlandi, Kshitij Shah, Sai Deep Tetali et al. · Proceedings of the VLDB Endowment · 2015 · 98 citations · Full text
Titian: Data Provenance Support in Spark.
Matteo Interlandi, Kshitij Shah, Sai Deep Tetali et al. · PubMed · 2015 · 88 citations
Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar et al. · 2013 · 70 citations
Secure Multi-party Computation, Data Confidentiality, Engineering +13
Muhammad Ali Gulzar, Matteo Interlandi, Seunghyun Yoo et al. · 2016 · 67 citations · Full text
Rows per page
1–5 of 12