Technical Reports - Sanjit A. Seshia
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties (EECS-2013-24)
Alberto Alessandro Angelo Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia
SWATI: Synthesizing Word-Lengths Automatically Using Testing and Induction (EECS-2013-7)
Susmit Jha and Sanjit A. Seshia
The TerraSwarm Research Center (TSRC) (A White Paper) (EECS-2012-207)
Edward A. Lee, John D. Kubiatowicz, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, John Wawrzynek, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Roozbeh Jafari, Doug Jones, Vijay Kumar, Richard Murray, George Pappas, Anthony Rowe, Carl M. Sechen, Tajana Simunic Rosing, Ben Taskar and David Wessel
CrowdMine: Towards Crowdsourced Human-Assisted Verification (EECS-2012-121)
Wenchao Li, Sanjit A. Seshia and Somesh Jha
A Sparse Coding Method for Specification Mining and Error Localization (EECS-2011-163)
Wenchao Li and Sanjit A. Seshia
Power-Aware Dynamic Control of Error-Resilience Mechanisms (EECS-2011-109)
Wenchao Li, Susmit Kumar Jha and Sanjit A. Seshia
Proceedings of the 9th International Workshop on Satisfiability Modulo Theories (SMT) 2011 (EECS-2011-80)
Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis (EECS-2011-68)
Sanjit A. Seshia
Learning Conditional Abstractions (EECS-2011-24)
Bryan Brady and Sanjit A. Seshia
Synthesizing Switching Logic to Minimize Long-Run Cost (EECS-2011-16)
Susmit Kumar Jha, Sanjit A. Seshia and Ashish Tiwari
Quantitative Analysis of Systems Using Game-Theoretic Learning (EECS-2010-102)
Sanjit A. Seshia and Alexander Rakhlin
CalCS: SMT Solving for Non-linear Convex Constraints (EECS-2010-100)
Pierluigi Nuzzo, Alberto Alessandro Angelo Puggelli, Sanjit A. Seshia and Alberto L. Sangiovanni-Vincentelli
Synthesizing Switching Logic for Safety and Dwell-Time Requirements (EECS-2010-28)
Susmit Kumar Jha, Sumit Gulwani, Sanjit A. Seshia and Ashish Tiwari
Oracle-Guided Component-Based Program Synthesis (EECS-2010-15)
Susmit Kumar Jha, Sumit Gulwani, Sanjit A. Seshia and Ashish Tiwari
Algorithms for Green Buildings: Learning-Based Techniques for Energy Prediction and Fault Diagnosis (EECS-2009-138)
Daniel Holcomb, Wenchao Li and Sanjit A. Seshia
Time-centric Models For Designing Embedded Cyber-physical Systems (EECS-2009-135)
John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia and Jia Zou
Quantitative Analysis of Embedded Software Using Game-Theoretic Learning (EECS-2009-130)
Sanjit A. Seshia and Alexander Rakhlin
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic (EECS-2009-95)
Susmit Kumar Jha, Rhishikesh Shrikant Limaye and Sanjit A. Seshia
Proceedings of the 1st Workshop on Quantitative Analysis of Software (QA'09) (EECS-2009-93)
On the Computational Complexity of Satisfiability Solving for String Theories (EECS-2009-41)
Susmit Kumar Jha, Sanjit A. Seshia and Rhishikesh Shrikant Limaye
Abstracting RTL Designs to the Term Level (EECS-2008-136)
Bryan Brady, Randal Bryant and Sanjit A. Seshia
On the Duality between Vacuity and Coverage (EECS-2008-26)
Orna Kupferman, Wenchao Li and Sanjit A. Seshia
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata (EECS-2007-32)
Susmit Kumar Jha, Bryan Brady and Sanjit A. Seshia
Verification-Guided Soft Error Resilience (EECS-2006-118)
Sanjit A. Seshia, Wenchao Li and Subhasish Mitra
Automatic Model Generation for Black Box Real-Time Systems (EECS-2006-117)
Thomas Huining Feng, Lynn Tao-Ning Wang, Wei Zheng, Sri Kanajan and Sanjit A. Seshia
Integrated Verification for Robust Computing (EECS-2006-103)
Sanjit A. Seshia
Beaver: An SMT Solver for Quantifier-free Bit-vector Logic (EECS-2010-67)
Rhishikesh Shrikant Limaye and Sanjit A. Seshia