| 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 | 270 | 2010 |
| Proofs from tests NE Beckman, AV Nori, SK Rajamani, RJ Simmons Proceedings of the 2008 international symposium on Software testing and …, 2008 | 222 | 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 | 146 | 2015 |
| 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 | 112 | 2013 |
| 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 | 107 | 2009 |
| 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 | 98 | 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 | 70 | 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, 595-615, 2018 | 38 | 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 | 18 | 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 | 10 | 2016 |
| Combination may-must code analysis AV Nori, P Godefroid, S Rajamani, SD Tetali US Patent App. 12/410,177, 2010 | 8 | 2010 |
| Program Analyses for Cloud Computations SD Tetali University of California, Los Angeles, 2015 | 2 | 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 | 1 | 2015 |
| 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 IEEE Transactions on Visualization and Computer Graphics, 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 | | |
