Can LLMs Perform Verified Lifting of Code? (EECS-2024-11)
Sahil Bhatia, Jie Qiu, Sanjit A. Seshia and Alvin Cheung

SMT-Based Dynamic Multi-Robot Task Allocation ()
Victoria Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry and Sanjit A. Seshia

Specifying and Generating Abstract Models for Formal Security Analysis (EECS-2023-230)
Adwait Godbole, Kevin Cheang, Yatin Manerkar and Sanjit A. Seshia

Compositional Proofs of Information Flow Properties for Hardware-Software Platforms (EECS-2023-204)
Kevin Cheang, Adwait Godbole, Yatin A. Manerkar and Sanjit A. Seshia

Ashera; Neural Guided Optimization Modulo Theory (EECS-2023-103)
Justin Wong, Pei-Wei Chen, Tianjun Zhang, Joseph Gonzalez, Yuandong Tian and Sanjit A. Seshia

A Principled Intelligent Occupational Training of Psychomotor Skills in Virtual Reality (EECS-2023-17)
Edward Kim, Zachary Pardos, Sanjit A. Seshia and Björn Hartmann

Algorithms for Context-Aided Variable Elimination (EECS-2023-15)
Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia

Hypercontracts (EECS-2021-158)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia

Satisfiability and Synthesis Modulo Oracles (EECS-2021-10)
Elizabeth Polgreen, Andrew Reynolds and Sanjit A. Seshia

Model-based Formalization of the Autonomy-to-Human Perception Hand-off (EECS-2021-8)
Yash Vardhan Pant, Balasaravanan Thoravi Kumaravel, Ameesh Shah, Erin Kraemer, Marcell Vazquez-Chanlatte, K Kulkarni, Björn Hartmann and Sanjit A. Seshia

Gordian: Formal Reasoning Based Outlier Detection for Secure Localization (EECS-2019-1)
Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit A. Seshia and Alberto L. Sangiovanni-Vincentelli

Soter: Programming Safe Robotics System using Runtime Assurance (EECS-2018-127)
Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar and Ashish Tiwari

Compositional Programming and Testing of Dynamic Distributed Systems (EECS-2018-95)
Ankush Desai, Amar Phanishayee, Shaz Qadeer and Sanjit A. Seshia

Formal Specification for Deep Neural Networks (EECS-2018-25)
Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte and Xiangyu Yue

Scenic: Language-Based Scene Generation (EECS-2018-8)
Daniel Fremont, Xiangyu Yue, Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components (EECS-2017-165)
Tommaso Dreossi, Alexandre Donze and Sanjit A. Seshia

Compositional Verification without Compositional Specification for Learning-Based Systems (EECS-2017-164)
Sanjit A. Seshia

A Compiler and Verifier for Page Access Oblivious Computation (EECS-2017-124)
Rohit Sinha, Sriram Rajamani and Sanjit A. Seshia

Gordian SMT: Untangling Ranging Attacks in Noisy Sensor Networks for Secure Localization (EECS-2017-5)
Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit A. Seshia and Alberto L. Sangiovanni-Vincentelli

Maximum Model Counting (EECS-2016-169)
Daniel J. Fremont, Markus N. Rabe and Sanjit A. Seshia

Combining Requirement Mining, Software Model Checking, and Simulation-Based Verification for Industrial Automotive Systems (EECS-2016-124)
Tomoya Yamaguchi, Tomoyuki Kaga, Alexandre Donze and Sanjit A. Seshia

Building Reliable Distributed Systems With P (EECS-2015-198)
Ankush Desai, Ethan Jackson, Amar Phanishayee, Shaz Qadeer and Sanjit A. Seshia

Formal Methods for Engineering Education (EECS-2015-170)

Verification of Confidentiality Properties of Enclave Programs (EECS-2015-162)
Rohit Sinha, Sriram Rajamani, Sanjit A. Seshia and Kapil Vaswani

Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems (EECS-2015-158)
Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman and John Eidson

A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications (EECS-2014-166)
Dorsa Sadigh, Eric Kim, Samuel Coogan, S. Shankar Sastry 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

Beaver: An SMT Solver for Quantifier-free Bit-vector Logic (EECS-2010-67)
Rhishikesh Shrikant Limaye and Sanjit A. Seshia

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