Sai Deep Tetali
Sai Deep Tetali
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
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
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
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
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
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
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
Combination may-must code analysis
AV Nori, P Godefroid, S Rajamani, SD Tetali
US Patent App. 12/410,177, 2010
Program Analyses for Cloud Computations
SD Tetali
University of California, Los Angeles, 2015
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
Quantified Interpolation for SMT
A Goel, S Krstic, R Majumdar, SD Tetali
Satisfiability Modulo Theories (SMT) 2011, 19, 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