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
Proceedings of the 2008 international symposium on Software testing and …, 2008
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