Technical Reports - Sanjit A. Seshia

Approximate Synchrony: An Abstraction for Distributed Time-Synchronized Systems (EECS-2014-136)
Ankush Desai, David Broman, John Eidson, Shaz Qadeer and Sanjit A. Seshia

Endlessly Circulating Messages in IEEE 1588-2008 Systems (EECS-2014-62)
David Broman, Patricia Derler, Ankush Desai, John Eidson and Sanjit A. Seshia

Robust Strategy Synthesis for Probabilistic Systems Applied to Risk-Limiting Renewable-Energy Pricing (EECS-2014-16)
Alberto Alessandro Angelo Puggelli, Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia

Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior (EECS-2013-197)
Dorsa Sadigh, Katherine Driggs Campbell, Alberto Alessandro Angelo Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry and Sanjit A. Seshia

Control Improvisation with Application to Music (EECS-2013-183)
Alexandre Donze, Sophie Libkind, Sanjit A. Seshia and David Wessel

Synthesis for Human-in-the-Loop Control Systems (EECS-2013-134)
Wenchao Li, Dorsa Sadigh, S. Shankar Sastry and 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