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
2482010
Proofs from tests
NE Beckman, AV Nori, SK Rajamani, RJ Simmons, SD Tetali, AV Thakur
IEEE Transactions on Software Engineering 36 (4), 495-508, 2010
2102010
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
1172015
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
1022009
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
1012013
Bigdebug: Debugging primitives for interactive big data processing in spark
MA Gulzar, M Interlandi, S Yoo, SD Tetali, T Condie, T Millstein, M Kim
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016
742016
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
662014
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 (5), 595-615, 2018
302018
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
162016
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
92016
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
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–15