Follow
Sai Deep Tetali
Sai Deep Tetali
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Compositional may-must program analysis: unleashing the power of alternation
P Godefroid, AV Nori, SK Rajamani, SD Tetali
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2010
2632010
Proofs from tests
NE Beckman, AV Nori, SK Rajamani, RJ Simmons
Proceedings of the 2008 international symposium on Software testing and …, 2008
2202008
Titian: Data provenance support in spark
M Interlandi, K Shah, SD Tetali, MA Gulzar, S Yoo, M Kim, T Millstein, ...
Proceedings of the VLDB Endowment International Conference on Very Large …, 2015
1402015
MrCrypt: Static analysis for secure cloud computations
SD Tetali, M Lesani, R Majumdar, T Millstein
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
1102013
The Yogi Project: Software Property Checking via Static Analysis and Testing
AV Nori, SK Rajamani, SD Tetali, AV Thakur
International Conference on Tools and Algorithms for the Construction and …, 2009
1052009
Bigdebug: Debugging primitives for interactive big data processing in spark
MA Gulzar, M Interlandi, S Yoo, SD Tetali, T Condie, T Millstein, M Kim
Proceedings of the 38th International Conference on Software Engineering …, 2016
912016
Kuai: A model checker for software-defined networks
R Majumdar, SD Tetali, Z Wang
2014 Formal Methods in Computer-Aided Design (FMCAD), 163-170, 2014
682014
Adding data provenance support to Apache Spark
M Interlandi, A Ekmekji, K Shah, MA Gulzar, SD Tetali, M Kim, T Millstein, ...
The VLDB Journal 27, 595-615, 2018
352018
Optimizing interactive development of data-intensive applications
M Interlandi, SD Tetali, MA Gulzar, J Noor, T Condie, M Kim, T Millstein
Proceedings of the Seventh ACM Symposium on Cloud Computing, 510-522, 2016
182016
Interactive debugging for big data analytics
MA Gulzar, X Han, M Interlandi, S Mardani, SD Tetali, T Millstein, M Kim
8th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 16), 2016
102016
Combination may-must code analysis
AV Nori, P Godefroid, S Rajamani, SD Tetali
US Patent App. 12/410,177, 2010
82010
Program Analyses for Cloud Computations
SD Tetali
University of California, Los Angeles, 2015
22015
Spark-BDD: Debugging Big Data Applications
T Condie, MA Gulzar, M Interlandi, M Kim, T Millstein, S Tetali, S Yoo
the 16th International Workshop on High Performance Transaction Systems (HPTS), 2015
12015
Privacy-Preserving Gaze Data Streaming in Immersive Interactive Virtual Reality: Robustness and User Experience
E Wilson, A Ibragimov, MJ Proulx, SD Tetali, K Butler, E Jain
arXiv preprint arXiv:2402.07687, 2024
2024
Quantified Interpolation for SMT
A Goel, S Krstic, R Majumdar, SD Tetali
Satisfiability Modulo Theories (SMT) 2011, 19, 2011
2011
MrCrypt: Static Analysis for Secure Cloud Computations
MLRMT Millstein, SD Tetali
The system can't perform the operation now. Try again later.
Articles 1–16