• Book/Book Chapter/Thesis • Refereed Conference Papers • Journal Papers • Refereed Workshop Papers • Invited Papers and Tutorials • Technical Reports •
Book/Book Chapter/Thesis
Clark Barrett, Roberto Sebastiani, Sanjit A. Seshia, and Cesare Tinelli.
Satisfiability Modulo Theories. In Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh, editors, Handbook
of Satisfiability, pp. 1267–1329, IOS Press, 2021. Second edition.
First edition version available here.
Details
BibTeX
Download:
[pdf]
Edward A. Lee and Sanjit A. Seshia. Introduction to Embedded Systems:
A Cyber-Physical Systems Approach, http://leeseshia.org, 2015.
Details
BibTeX
Download:
[HTML]
Sanjit A. Seshia, Natasha Sharygina, and Stavros Tripakis. Modeling
for Verification. In Edmund M. Clarke, Thomas Henzinger, and Helmut Veith, editors, Handbook of Model Checking,
Springer, 2014.
Details
BibTeX
Download:
[pdf]
Edward A. Lee and Sanjit A. Seshia. Introduction to Embedded Systems:
A Cyber-Physical Systems Approach, http://leeseshia.org, 2011.
Details
BibTeX
Download:
[HTML]
Clark Barrett, Roberto Sebastiani, Sanjit A. Seshia, and Cesare Tinelli.
Satisfiability Modulo Theories. In Armin Biere, Hans van Maaren, and Toby Walsh, editors, Handbook of Satisfiability,
IOS Press, 2009.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia. Adaptive Eager Boolean Encoding for Arithmetic
Reasoning in Verification. Ph.D. Thesis, Carnegie Mellon University, 2005.
Co-winner, 2005 SCS
Distinguished Dissertation Award.
Details
BibTeX
Download:
[pdf]
[HTML]
Refereed Conference Papers
Adwait Godbole, Yatin A. Manerkar, and Sanjit A. Seshia. SemPat:
From Hyperproperties to Attack Patterns for Scalable Analysis of Microarchitectural Security. In Proceedings of the
31th ACM Conference on Computer and Communications Security (CCS), ACM, 2024.
Details
BibTeX
Download:
[pdf]
Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth
Polgreen, and Sanjit A. Seshia. Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages. In Thirty-Eighth Annual Conference on Neural
Information Processing Systems (NeurIPS), 2024.
Details
BibTeX
Download:
[pdf]
Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, and Sanjit
A. Seshia. Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning. In Thirty-Eighth
Annual Conference on Neural Information Processing Systems (NeurIPS), 2024.
Details
BibTeX
Download:
[pdf]
Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, and Alvin
Cheung. Verified Code Transpilation with LLMs. In Thirty-Eighth Annual Conference on Neural Information Processing
Systems (NeurIPS), 2024.
Details
BibTeX
Download:
[pdf]
Kevin Kai-Chun Chang, Kaifei Xu, Edward Kim, Alberto Sangiovanni-Vincentelli, and
Sanjit A. Seshia. Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS. In International
Conference on Runtime Verification (RV), pp. 40–58, Springer, October 2024.
Details
BibTeX
Download:
[pdf]
Karim Elmaaroufi, Devan Shanker, Ana Cismaru, Marcell Vazquez-Chanlatte, Alberto L. Sangiovanni-Vincentelli, Matei Zaharia,
and Sanjit A. Seshia. ScenicNL: Generating Probabilistic Scenario Programs
from Natural Language. In Conference on Language Models (COLM), 2024.
Details
BibTeX
Download:
[pdf]
Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia,
and Alvin Cheung. Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations. In 38th European Conference
on Object-Oriented Programming (ECOOP), LIPIcs, 2024.
Details
BibTeX
Download:
[HTML]
Amar Shah, Federico Mora, and Sanjit A. Seshia. An Eager Satisfiability
Modulo Theories Solver for Algebraic Datatypes. In Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI),
pp. 8099–8107, AAAI Press, 2024.
Details
BibTeX
Download:
[HTML]
Adwait Godbole, Kevin Cheang, Yatin A. Manerkar, and Sanjit A. Seshia.
Lifting Micro-Update Models from RTL for Formal Security Analysis. In Proceedings of the 29th ACM International
Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp. 631–648,
ACM, 2024.
Details
BibTeX
Download:
[pdf]
Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, and
Sanjit A. Seshia. SMT-Based Dynamic Multi-Robot Task Allocation. In NASA Formal Methods - 16th International
Symposium (NFM), pp. 331–351, Lecture Notes in Computer Science 14627, Springer, 2024.
Details
BibTeX
Download:
[pdf]
Federico Mora, Ankush Desai, Elizabeth Polgreen, and Sanjit A. Seshia.
Message Chains for Distributed System Verification. Proceedings of the ACM on Programming Languages, 7({OOPSLA2}):2224–2250,
2023.
Details
BibTeX
Download:
[pdf]
Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue,
Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia. 3D Environment
Modeling for Falsification and Beyond with Scenic 3.0. In 35th International Conference on Computer Aided Verification
(CAV), pp. 253–265, Lecture Notes in Computer Science 13964, Springer, 2023.
Details
BibTeX
Download:
[pdf]
Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, and Alvin Cheung.
Building Code Transpilers for Domain-Specific Languages Using Program Synthesis. In 37th European
Conference on Object-Oriented Programming (ECOOP), pp. 38:1–38:30, LIPIcs 263, 2023.
Details
BibTeX
Download:
[HTML]
Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, and Sanjit A. Seshia.
Modelling and Verification of Security-Oriented Resource Partitioning Schemes. In International
Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 268–273, IEEE, 2023.
Details
BibTeX
Download:
[HTML]
Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, and Sanjit A. Seshia.
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications.
In 23rd International Conference on Runtime Verification (RV), pp. 191–212, Lecture Notes in Computer Science
14245, Springer, 2023.
Details
BibTeX
Download:
[pdf]
Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, and
Sanjit A. Seshia. Learning Monitor Ensembles for Operational Design Domains. In 23rd International Conference
on Runtime Verification (RV), pp. 271–290, Lecture Notes in Computer Science 14245, Springer, 2023.
Details
BibTeX
Download:
[HTML]
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar,
Federico Mora, and Sanjit A. Seshia. UCLID5: Multi-modal Formal
Modeling, Verification, and Synthesis. In 34th International Conference on Computer Aided Verification (CAV),
pp. 538–551, Lecture Notes in Computer Science 13371, Springer, 2022.
Details
BibTeX
Download:
[pdf]
Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gadamaduggu, Anjo Vahldiek-Oberwagner, Mona Vij,
Dawn Song, Sanjit A. Seshia, and Krste Asanovic. Cerberus: A Formal
Approach to Secure and Efficient Enclave Memory Sharing. In Proceedings of the 2022 ACM SIGSAC Conference on Computer
and Communications Security (CCS), 2022.
Details
BibTeX
Download:
[pdf]
Adwait Godbole, Yatin Manerkar, and Sanjit A. Seshia. Automated
Conversion of Axiomatic to Operational Models: Theoretical and Practical Results. In Proceedings of the IEEE International
Conference on Formal Methods in Computer-Aided Design (FMCAD), October 2022.
Details
BibTeX
Download:
[pdf]
Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, and
Sanjit A. Seshia. Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. In
Proceedings of the IEEE International Conference on Formal Methods in Computer-Aided Design (FMCAD), October 2022.
Details
BibTeX
Download:
[pdf]
Yash Vardhan Pant, Balasaravanan Thoravi Kumaravel, Ameesh Shah, Erin Kraemer, Marcell Vazquez-Chanlatte, Kshitij Kulkarni,
Bjoern Hartmann, and Sanjit A. Seshia. Modeling and Influencing
Human Attentiveness in Autonomy-to-Human Perception Hand-offs. In 23rd IEEE International Conference on Intelligent
Transportation Systems (ITSC), September 2022.
Details
BibTeX
Download:
[pdf]
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar,
Federico Mora, and Sanjit A. Seshia. UCLID5: Multi-modal Formal
Modeling, Verification, and Synthesis. In 34th International Conference on Computer Aided Verification (CAV),
pp. 538–551, Lecture Notes in Computer Science 13371, Springer, August 2022.
Details
BibTeX
Download:
[pdf]
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia. Hypercontracts. In Proceedings
of the 14th NASA Formal Methods Symposium (NFM), pp. 674–692, June 2022.
Details
BibTeX
Download:
[pdf]
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, and
Sanjit A. Seshia. Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. In Proceedings
of the International Conference on Cyber-Physical Systems (ICCPS), pp. 34–45, April 2022.
Details
BibTeX
Download:
[pdf]
Abdus Salam Azad, Edward Kim, Mark Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Alberto Sangiovanni-Vincentelli, and Sanjit A. Seshia. Programmatic Modeling and Generation of Real-time
Strategic Soccer Environments for Reinforcement Learning. In Thirty-Sixth AAAI Conference on Artificial Intelligence
(AAAI), pp. , AAAI Press, February 2022.
Details
BibTeX
Download:
[HTML]
Elizabeth Polgreen, Andrew Reynolds, and Sanjit A. Seshia. Satisfiability
and Synthesis Modulo Oracles. In Proceedings of the 23rd International Conference on Verification, Model Checking,
and Abstract Interpretation (VMCAI), January 2022.
Early technical report version available here.
Details
BibTeX
Download:
[pdf]
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, and Sanjit
A. Seshia. Synthesizing Pareto-Optimal Interpretations for Black-Box Models. In Proceedings of the IEEE International
Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 153–162, IEEE, October 2021.
Details
BibTeX
Download:
[pdf]
Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, and
Sanjit A. Seshia. Addressing the IEEE AV Test Challenge with Scenic and VerifAI. In IEEE International Conference
on Artificial Intelligence Testing (AITest), pp. 136–142, IEEE, 2021.
Details
BibTeX
Download:
[HTML]
Shromona Ghosh, Yash Vardhan Pant, Hadi Ravanbakhsh, and Sanjit A. Seshia.
Counterexample-Guided Synthesis of Perception Models and Control. In American Control Conference (ACC), pp.
3447–3454, IEEE, 2021.
Details
BibTeX
Download:
[pdf]
Yash Vardhan Pant, He Yin, Murat Arcak, and Sanjit A. Seshia.
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications. In American Control
Conference (ACC), pp. 4209–4216, IEEE, 2021.
Details
BibTeX
Download:
[pdf]
Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, and Sanjit A. Seshia.
PSec: Programming Secure Distributed Systems using Enclaves. In ACM Asia Conference on Computer and Communications
Security (ASIACCS), pp. 802–816, ACM, 2021.
Details
BibTeX
Download:
[pdf]
Sebastian Junges, Hazem Torfah, and Sanjit A. Seshia. Runtime Monitors
for Markov Decision Processes. In 33rd International Conference on Computer Aided Verification (CAV), pp. 553–576,
Lecture Notes in Computer Science 12760, Springer, 2021.
Details
BibTeX
Download:
[HTML]
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein,
Sanjit A. Seshia, and Guy Van den Broeck. Model Checking Finite-Horizon Markov Chains with Probabilistic Inference.
In 33rd International Conference on Computer Aided Verification (CAV), pp. 577–601, Lecture Notes in Computer
Science 12760, Springer, 2021.
Details
BibTeX
Download:
[HTML]
Sebastian Junges, Nils Jansen, and Sanjit A. Seshia. Enforcing
Almost-Sure Reachability in POMDPs. In 33rd International Conference on Computer Aided Verification (CAV), pp.
602–625, Lecture Notes in Computer Science 12760, Springer, 2021.
Details
BibTeX
Download:
[HTML]
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, and Sanjit
Seshia. Entropy-Guided Control Improvisation. In Robotics: Science and Systems XVII (RSS), 2021.
Details
BibTeX
Download:
[pdf]
Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, and
Sanjit A. Seshia. Parallel and Multi-Objective Falsification with Scenic and VerifAI. In 21st International
Conference on Runtime Verification (RV), pp. 265–276, Lecture Notes in Computer Science 12974, Springer, 2021.
Details
BibTeX
Download:
[pdf]
Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, and Sanjit A. Seshia.
MedleySolver: Online SMT Algorithm Selection. In 24th International Conference on Theory and Applications of Satisfiability
Testing (SAT), pp. 453–470, Lecture Notes in Computer Science 12831, Springer, 2021.
Details
BibTeX
Download:
[HTML]
Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse,
Sanjit A. Seshia, and Fahiem Bacchus. Learning Branching Heuristics for Propositional Model Counting. In
Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI), pp. 12427–12435, AAAI Press, February 2021.
Details
BibTeX
Download:
[HTML]
Sumukh Shivakumar, Hazem Torfah, Ankush Desai, and Sanjit A. Seshia.
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. In 20th International Conference on
Runtime Verification (RV), October 2020.
Details
BibTeX
Download:
[pdf]
Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia,
Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, and Shalin Mehta. Formal Scenario-Based Testing of
Autonomous Vehicles: From Simulation to the Real World. In 23rd IEEE International Conference on Intelligent Transportation
Systems (ITSC), September 2020.
Details
BibTeX
Download:
[pdf]
Marcell Vazquez-Chanlatte and Sanjit A. Seshia. Maximum Causal Entropy
Specification Inference from Demonstrations. In 32nd International Conference on Computer Aided Verification (CAV),
July 2020.
Details
BibTeX
Download:
[pdf]
Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, and
Sanjit A. Seshia. Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with
VerifAI. In 32nd International Conference on Computer Aided Verification (CAV), July 2020.
Details
BibTeX
Download:
[pdf]
Edward Kim, Divya Gopinath, Corina S. Pasareanu, and Sanjit A. Seshia.
A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors.
In IEEE Conference on Computer Vision and Pattern Recognition (CVPR), June 2020.
Details
BibTeX
Download:
[pdf]
Gil Lederman, Markus N. Rabe, Sanjit Seshia, and Edward A. Lee.
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. In 8th International Conference
on Learning Representations (ICLR), April 2020.
Details
BibTeX
Download:
[HTML]
Micah Carroll, Rohin Shah, Mark K. Ho, Tom Griffiths, Sanjit A. Seshia,
Pieter Abbeel, and Anca D. Dragan. On the Utility of Learning about Humans for Human-AI Coordination. In Annual
Conference on Neural Information Processing Systems (NeurIPS), pp. 5175–5186, December 2019.
Details
BibTeX
Download:
[HTML]
Albert Magyar, David Biancolin, John Koenig, Sanjit A. Seshia, Jonathan
Bachrach, and Krste Asanovic. Golden Gate: Bridging The Resource-Efficiency Gap Between ASICs and FPGA
Prototypes. In In Proceedings of the International Conference on Computer-Aided Design (ICCAD), pp. 1–8,
November 2019.
Details
BibTeX
Download:
[HTML]
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, and Sanjit A. Seshia. VerifAI: A Toolkit for the Formal Design and Analysis
of Artificial Intelligence-Based Systems. In 31st International Conference on Computer Aided Verification (CAV),
July 2019.
Details
BibTeX
Download:
[pdf]
Eric Kim, Murat Arcak, and Sanjit A. Seshia. Flexible Computational
Pipelines for Robust Abstraction-Based Control Synthesis. In 31st International Conference on Computer Aided Verification
(CAV), July 2019.
Details
BibTeX
Download:
[pdf]
Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and
Sanjit A. Seshia. Scenic: A Language for Scenario Specification and Scene Generation. In Proceedings of the
40th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), June 2019.
Details
BibTeX
Download:
[pdf]
Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar,
and Ashish Tiwari. SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. In IEEE/IFIP International
Conference on Dependable Systems and Networks (DSN), June 2019.
Details
BibTeX
Download:
[pdf]
Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, and Pramod Subramanyan.
A Formal Approach to Secure Speculation. In Proceedings of the Computer Security Foundations Symposium (CSF),
June 2019.
Details
BibTeX
Download:
[pdf]
Hadi Ravanbakhsh, Sriram Sankaranarayanan, and Sanjit A. Seshia.
Formal Policy Learning from Demonstrations for Reachability. In Proceedings of the IEEE International Conference on
Robotics and Automation (ICRA), May 2019.
Details
BibTeX
Download:
[pdf]
Shromona Ghosh, Somil Bansal, Alberto Sangiovanni-Vincentelli, Sanjit
A. Seshia, and Claire J. Tomlin. A New Simulation Metric to Determine Safe Environments and Controllers for Systems
with Unknown Dynamics. In Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
(HSCC), pp. 185–196, April 2019.
Details
BibTeX
Download:
[pdf]
Ankush Desai, Amar Phanishayee, Shaz Qadeer, and Sanjit A. Seshia.
Compositional Programming and Testing of Dynamic Distributed Systems. In Proceedings of the ACM on Programming
Languages (PACMPL) -- OOPSLA, 2018.
Details
BibTeX
Download:
[pdf]
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, and
Sanjit A. Seshia. Learning Task Specifications from Demonstrations. In Advances in Neural Information Processing
Systems 31: Annual Conference on Neural Information Processing Systems (NeurIPS), pp. 5372–5382, December
2018.
Details
BibTeX
Download:
[HTML]
Dorsa Sadigh, S. Shankar Sastry, and Sanjit A. Seshia. Verifying
Robustness of Human-Aware Autonomous Cars. In Proceedings of the 2nd IFAC Conference on Cyber-Physical and Human Systems
(CPHS), pp. 131–138, December 2018.
Details
BibTeX
Download:
[HTML]
Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, and
Sanjit A. Seshia. Time-Series Learning Using Monotonic Logical Properties. In 18th International Conference
on Runtime Verification (RV), pp. 389–405, November 2018.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel Fremont,
Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, and Xiangyu Yue. Formal Specification for
Deep Neural Networks. In Proceedings of the International Symposium on Automated Technology for Verification and Analysis
(ATVA), pp. 20–34, October 2018.
Details
BibTeX
Download:
[pdf]
Tommaso Dreossi, Somesh Jha, and Sanjit A. Seshia. Semantic Adversarial
Deep Learning. In 30th International Conference on Computer Aided Verification (CAV), pp. 3–26, July 2018.
Details
BibTeX
Download:
[pdf]
Daniel Fremont and Sanjit A. Seshia. Reactive Control Improvisation.
In 30th International Conference on Computer Aided Verification (CAV), pp. 307–326, July 2018.
Details
BibTeX
Download:
[pdf]
Markus Rabe, Leander Tentrup, Cameron Rasmussen, and Sanjit A. Seshia.
Understanding and Extending Incremental Determinization for 2QBF. In 30th International Conference on Computer
Aided Verification (CAV), pp. 256–274, July 2018.
Details
BibTeX
Download:
[pdf]
Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto Sangiovanni-Vincentelli, and
Sanjit A. Seshia. Counterexample-Guided Data Augmentation. In 27th International Joint Conference on Artificial
Intelligence (IJCAI), pp. 2071–2078, July 2018.
Details
BibTeX
Download:
[pdf]
Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto Sangiovanni-Vincentelli, and
Sanjit A. Seshia. Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games. In IFAC Conference
on Analysis and Design of Hybrid Systems (ADHS), pp. 7–12, July 2018.
Details
BibTeX
Download:
[pdf]
Xiangyu Yue, Bichen Wu, Sanjit A. Seshia, Kurt Keutzer, and Alberto
L. Sangiovanni-Vincentelli. A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving. In Proceedings
of the 2018 ACM on International Conference on Multimedia Retrieval (ICMR), pp. 458–464, June 2018.
Details
BibTeX
Download:
[HTML]
Negar Mehr, Dorsa Sadigh, Roberto Horowitz, S. Shankar Sastry, and Sanjit
A. Seshia. Stochastic Predictive Freeway Ramp Metering from Signal Temporal Logic Specifications. In American
Control Conference (ACC), pp. 4884–4889, 2017.
Details
BibTeX
Download:
[HTML]
Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, and Sanjit
A. Seshia. Logical Clustering and Learning for Time-Series Data. In 29th International Conference on Computer
Aided Verification (CAV), pp. 305–325, 2017.
Details
BibTeX
Download:
[pdf]
Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, and
Sanjit A. Seshia. A Formal Foundation for Secure Remote Execution of Enclaves. In Proceedings of the 2017
ACM SIGSAC Conference on Computer and Communications Security (CCS), pp. 2435–2450, 2017.
Best
Paper Award.
Details
BibTeX
Download:
[pdf]
Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia, George J. Pappas, and Paulo Tabuada. Linear temporal logic motion planning for teams of underactuated
robots using satisfiability modulo convex programming. In 56th IEEE Annual Conference on Decision and
Control (CDC), pp. 1132–1137, 2017.
Details
BibTeX
Download:
[HTML]
Eric S. Kim, Sadra Sadraddini, Calin Belta, Murat Arcak, and Sanjit A.
Seshia. Dynamic contracts for distributed temporal logic control of traffic networks. In 56th
IEEE Annual Conference on Decision and Control (CDC), pp. 3640–3645, 2017.
Details
BibTeX
Download:
[HTML]
Dorsa Sadigh, Anca D. Dragan, Shankar Sastry, and Sanjit A. Seshia.
Active Preference-Based Learning of Reward Functions. In Robotics: Science and Systems XIII (RSS), 2017.
Details
BibTeX
Download:
[HTML]
Ankush Desai, Tommaso Dreossi, and Sanjit A. Seshia. Combining
Model Checking and Runtime Verification for Safe Robotics. In 17th International Conference on Runtime Verification
(RV), pp. 172–189, 2017.
Details
BibTeX
Download:
[pdf]
Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, and Natarajan
Shankar. TeLEx: Passive STL Learning Using Only Positive Examples. In 17th International Conference on Runtime
Verification (RV), pp. 208–224, 2017.
Details
BibTeX
Download:
[pdf]
Rohit Sinha, Sriram K. Rajamani, and Sanjit A. Seshia. A Compiler
and Verifier for Page Access Oblivious Computation. In Proceedings of the 2017 11th Joint Meeting on Foundations of
Software Engineering (ESEC/FSE), pp. 649–660, 2017.
Details
BibTeX
Download:
[pdf]
Tommaso Dreossi, Alexandre Donze, and Sanjit A. Seshia. Compositional
Falsification of Cyber-Physical Systems with Machine Learning Components. In Proceedings of the NASA Formal Methods
Conference (NFM), pp. 357–372, May 2017.
Details
BibTeX
Download:
[pdf]
Eric S. Kim, Murat Arcak, and Sanjit A. Seshia. A Small Gain Theorem
for Parametric Assume-Guarantee Contracts. In Proceedings of the 10th International Conference on Hybrid Systems:
Computation and Control (HSCC), pp. 207–216, April 2017.
Details
BibTeX
Download:
[pdf]
Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit
A. Seshia, George J. Pappas, and Paulo Tabuada. SMC: Satisfiability Modulo Convex Optimization. In Proceedings
of the 10th International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 19–28, April 2017.
Details
BibTeX
Download:
[pdf]
Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, and Sanjit A.
Seshia. Drona: A Framework for Safe Distributed Mobile Robotics. In Proceedings of the 8th International Conference
on Cyber-Physical Systems (ICCPS), pp. 239–248, April 2017.
Details
BibTeX
Download:
[pdf]
Daniel Fremont, Markus N. Rabe, and Sanjit A. Seshia. Maximum Model
Counting. In Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI), pp. 3885–3892, February
2017.
Details
BibTeX
Download:
[pdf]
Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia and George J. Pappas,
and Paulo Tabuada. Scalable Lazy SMT-based Motion Planning. In Proceedings of the 55th IEEE Conference on Decision
and Control (CDC), pp. 6683–6688, December 2016.
Details
BibTeX
Download:
[pdf]
Yasser Shoukry, Konstantinos Gatsis, Amr Alanwar, George J. Pappas, Sanjit A. Seshia and Mani Srivastava, and Paulo Tabuada.
Privacy-Aware Quadratic Optimization Using Partially Homomorphic Encryption. In Proceedings of the 55th IEEE Conference
on Decision and Control (CDC), pp. 5053–5058, December 2016.
Details
BibTeX
Download:
[pdf]
Nikolaj Bjorner, Garvit Juniwal, Sanjit A. Seshia, George Varghese,
and Ratul Mahajan. ddNF: An Efficient Data Structure for Header Spaces. In Proceedings of the Haifa Verification
Conference (HVC), pp. 49–64, November 2016.
Best Paper Award.
Details
BibTeX
Download:
[pdf]
Tara Rezvani, Katherine Rose Driggs-Campbell, Dorsa Sadigh, S. Shankar Sastry,
Sanjit A. Seshia, and Ruzena Bajcsy. Towards trustworthy automation: User interfaces that convey internal
and external awareness. In 19th IEEE International Conference on Intelligent Transportation Systems
(ITSC), pp. 682–688, November 2016.
Details
BibTeX
Download:
[pdf]
Dorsa Sadigh, Shankar Sastry, Sanjit A. Seshia, and Anca D. Dragan.
Information Gathering Actions Over Human Internal State. In Proceedings of the IEEE/RSJ International Conference
on Intelligent Robots and Systems (IROS), pp. 66–73, October 2016.
Best Paper Finalist (cognitive
robotics category). Featured in IEEE
Spectrum.
Details
BibTeX
Download:
[pdf]
Tomoya Yamaguchi, Tomoyuki Kaga, Alexandre Donzé, and Sanjit A.
Seshia. Combining Requirement Mining, Software Model Checking, and Simulation-Based Verification for Industrial Automotive
Systems. In Proceedings of the IEEE International Conference on Formal Methods in Computer-Aided Design (FMCAD),
October 2016.
Extended tech report version available here.
Details
BibTeX
Download:
[pdf]
Susmit Jha, Vasumathi Raman, and Sanjit A. Seshia. On $\exists
\forall \exists$ Solving: A Case Study on Automated Synthesis of Magic Card Tricks. In Proceedings of the IEEE International
Conference on Formal Methods in Computer-Aided Design (FMCAD), October 2016.
Details
BibTeX
Download:
[pdf]
Nathan Mull, Daniel J. Fremont, and Sanjit A. Seshia. On the Hardness
of SAT with Community Structure. In Proceedings of the 19th International Conference on Theory and Applications of
Satisfiability Testing (SAT), pp. 141–159, July 2016.
Details
BibTeX
Download:
[pdf]
Markus N. Rabe and Sanjit A. Seshia. Incremental Determinization.
In Proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT), pp.
375–392, July 2016.
Details
BibTeX
Download:
[pdf]
Yi-Chin Wu, Vasumathi Raman, Stéphane Lafortune, and Sanjit A.
Seshia. Obfuscator Synthesis for Privacy and Utility. In Proceedings of the 8th NASA Formal Methods Symposium
(NFM), pp. 133–149, June 2016.
Details
BibTeX
Download:
[pdf]
Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram Rajamani,
Sanjit A. Seshia, and Kapil Vaswani. A Design and Verification Methodology for Secure Isolated Regions. In
Proceedings of the 37th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), pp. 665–681,
June 2016.
Details
BibTeX
Download:
[pdf]
Dorsa Sadigh, Shankar Sastry, Sanjit A. Seshia, and Anca D. Dragan.
Planning for Autonomous Cars that Leverages Effects on Human Actions. In Proceedings of the Robotics: Science
and Systems Conference (RSS), June 2016.
Details
BibTeX
Download:
[pdf]
Ilge Akkaya, Daniel Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, and
Sanjit A. Seshia. Control Improvisation for Probabilistic Temporal Specifications. In Proceedings of the 1st
IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI), April 2016.
Best Paper
Award.
Details
BibTeX
Download:
[pdf]
Yasser Shoukry, Michelle Chong, Masashi Wakiaki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli,
Sanjit A. Seshia, Joao P. Hespanha, and Paulo Tabuada. SMT-Based Observer Design for Cyber Physical Systems under
Sensor Attacks. In Proceedings of the International Conference on Cyber-Physical Systems (ICCPS), April 2016.
Best Paper Award.
Details
BibTeX
Download:
[pdf]
Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, and
Sanjit A. Seshia. Implan: Scalable Incremental Motion Planning for Multi-Robot Systems. In Proceedings of
the 7th International Conference on Cyber-Physical Systems (ICCPS), April 2016.
Details
BibTeX
Download:
[pdf]
Eric S. Kim, Murat Arcak, and Sanjit A. Seshia. Directed Specifications
and Assumption Mining for Monotone Dynamical Systems. In Proceedings of the 9th International Conference on Hybrid
Systems: Computation and Control (HSCC), April 2016.
Details
BibTeX
Download:
[pdf]
Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli,
S. Shankar Sastry, and Sanjit A. Seshia. Diagnosis and Repair for
Synthesis from Signal Temporal Logic Specifications. In Proceedings of the 9th International Conference on Hybrid
Systems: Computation and Control (HSCC), April 2016.
Details
BibTeX
Download:
[pdf]
James Kapinski, Xiaoqing Jin, Jyotirmoy Deshmukh, Alexandre Donze, Tomoya Yamaguchi, Hisahiro Ito, Tomoyuki Kaga,
Shunsuke Kobuna, and Sanjit Seshia. ST-Lib: A Library for Specifying
and Classifying Model Behaviors. In SAE World Congress and Exhibition, SAE Technical Paper 2016-01-0621, SAE
International, April 2016.
Details
BibTeX
Download:
[HTML]
Eric S. Kim, Murat Arcak, and Sanjit A. Seshia. Compositional Controller
Synthesis for Vehicular Traffic Networks. In Proceedings of the 54th IEEE Conference on Decision and Control (CDC),
pp. 6165–6171, December 2015.
Details
BibTeX
Download:
[pdf]
Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia andPaulo Tabuada.
Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks Using SatisfiabilityModulo Theory Solving.
In Proceedings of the 54th IEEE Conference on Decision and Control (CDC), pp. 3804–3809, December 2015.
Details
BibTeX
Download:
[pdf]
Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia, and David
Wessel. Control Improvisation. In 35th IARCS Annual Conference on Foundation of Software Technology
and Theoretical Computer Science (FSTTCS), pp. 463–474, LIPIcs 45, December 2015.
Details
BibTeX
Download:
[pdf]
Rohit Sinha, Sriram Rajamani, Sanjit A. Seshia, and Kapil Vaswani.
Moat: Verifying Confidentiality of Enclave Programs. In Proceedings of the 22nd ACM Conference on Computer and
Communications Security (CCS), pp. 1169–1184, October 2015.
Details
BibTeX
Download:
[pdf]
Jyotirmoy Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, and
Sanjit A. Seshia. Robust Online Monitoring of Signal Temporal Logic. In Proceedings of the International Conference
on Runtime Verification (RV), pp. 55–70, Lecture Notes in Computer Science 9333, Springer, September 2015.
Best Paper Award.
Details
BibTeX
Download:
[pdf]
Ankush Desai, Shaz Qadeer, and Sanjit A. Seshia. Systematic Testing
of Asynchronous Reactive Systems. In Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
(FSE), pp. 73–83, August 2015.
Details
BibTeX
Download:
[pdf]
Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia, and Paulo Tabuada. Sound and Complete State Estimation for Linear Dynamical Systems Under Sensor
Attacks Using Satisfiability Modulo Theory Solving. In Proceedings of the American Control Conference (ACC 2015),
pp. 3818–3823, July 2015.
Details
BibTeX
Download:
[pdf]
Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, and John
C. Eidson. Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems. In Proceedings of
the 27th International Conference on Computer-Aided Verification (CAV), pp. 429–448, July 2015.
Extended
tech report version available here.
Details
BibTeX
Download:
[pdf]
Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, and
Sanjit A. Seshia. Reactive Synthesis from Signal Temporal Logic Specifications. In Proceedings of the 8th
International Conference on Hybrid Systems: Computation and Control (HSCC 2015), pp. 239–248, April 2015.
Details
BibTeX
Download:
[pdf]
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia,
and Moshe Y. Vardi. On Parallel Scalable Uniform SAT Witness Generation. In Proceedings of the 21st International
Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 304–319, April 2015.
Details
BibTeX
Download:
[pdf]
Garvit Juniwal, Sakshi Jain, Alexandre Donzé, and Sanjit A. Seshia.
Clustering-Based Active Learning for CPSGrader. In Proceedings of the Second ACM Conference on Learning @ Scale
(L@S), pp. 399–403, March 2015.
Details
BibTeX
Download:
[pdf]
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto Sangiovanni-Vincentelli, and
Sanjit A. Seshia. Model Predictive Control with Signal Temporal Logic Specifications. In Proceedings of the
53rd IEEE Conference on Decision and Control (CDC), pp. 81–87, December 2014.
Details
BibTeX
Download:
[pdf]
Dorsa Sadigh, Eric S. Kim, Samuel Coogan, Shankar Sastry, and Sanjit
A. Seshia. A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications.
In Proceedings of the 53rd IEEE Conference on Decision and Control (CDC), pp. 1091–1096, December 2014.
Details
BibTeX
Download:
[pdf]
Susmit Jha, Krishnendu Chatterjee, Sanjit A. Seshia, and Stavros Tripakis.
Game-Theoretic Secure Localization in Wireless Sensor Networks. In Proceedings of the 4th International Conference
on the Internet of Things (IoT), October 2014.
Details
BibTeX
Download:
[pdf]
Garvit Juniwal, Alexandre Donzé, Jeff C. Jensen, and Sanjit A.
Seshia. CPSGrader: Synthesizing Temporal Logic Testers for Auto-Grading an Embedded Systems Laboratory.
In Proceedings of the 14th International Conference on Embedded Software (EMSOFT), pp. 24:1–24:10, October 2014.
Details
BibTeX
Download:
[pdf]
Alberto Puggelli, Alberto Sangiovanni-Vincentelli, and Sanjit A. Seshia.
Robust Strategy Synthesis for Probabilistic Systems Applied to Risk-Limiting Renewable-Energy Pricing. In
Proceedings of the 14th International Conference on Embedded Software (EMSOFT), pp. 13:1–13:10, October 2014.
Details
BibTeX
Download:
[pdf]
Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, and
Sanjit A. Seshia. Automated Composition of Motion Primitives for Multi-Robot Systems from Safe LTL Specifications.
In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 1525–1532,
September 2014.
Details
BibTeX
Download:
[pdf]
Alexandre Donzé, Rafael Valle, Ilge Akkaya, Sophie Libkind, Sanjit
A. Seshia, and David Wessel. Machine Improvisation with Formal Specifications. In Proceedings of the 40th
International Computer Music Conference (ICMC), pp. 1277–1284, September 2014. Available online at http://hdl.handle.net/2027/spo.bbp2372.2014.196.
Details
BibTeX
Download:
[pdf]
David Broman, Patricia Derler, Ankush Desai, John C. Eidson, and Sanjit
A. Seshia. Endlessly Circulating Messages in IEEE 1588-2008 Systems. In Proceedings of the 8th International
IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication (ISPCS), pp. 7–12,
September 2014.
Details
BibTeX
Download:
[pdf]
Dorsa Sadigh, Henrik Ohlsson, S. Shankar Sastry, and Sanjit A. Seshia.
Robust Subspace System Identification via Weighted Nuclear Norm Optimization. In Proceedings of the 19th World
Congress of the International Federation of Automatic Control (IFAC), pp. 9510–9515, August 2014.
Details
BibTeX
Download:
[pdf]
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia,
and Moshe Y. Vardi. Distribution-Aware Sampling and Weighted Model Counting for SAT. In Proceedings of the 28th
AAAI Conference on Artificial Intelligence (AAAI), pp. 1722–1730, July 2014.
Details
BibTeX
Download:
[pdf]
Wei Yang Tan, Rohit Sinha, John Manferdelli, and Sanjit A. Seshia.
Formal Modeling and Verification of CloudProxy. In 6th Working Conference on Verified Software: Theories, Tools,
and Experiments (VSTTE), pp. 87–104, July 2014.
Details
BibTeX
Download:
[pdf]
Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, and Sanjit A. Seshia.
Synthesis for Human-in-the-Loop Control Systems. In Proceedings of the 20th International Conference on Tools
and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 470–484, April 2014.
Details
BibTeX
Download:
[pdf]
Ashish Tiwari, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Patrick Lincoln, John M. Rushby, Dorsa Sadigh, and
Sanjit A. Seshia. Safety Envelope for Security. In Proceedings
of the 3rd International Conference on High Confidence Networked Systems (HiCoNS), pp. 85–94, April 2014.
Details
BibTeX
Download:
[pdf]
Rüdiger Ehlers, Sanjit A. Seshia, and Hadas Kress-Gazit. Synthesis
with Identifiers. In Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract
Interpretation (VMCAI), pp. 415–433, January 2014.
Extended version available here.
Details
BibTeX
Download:
[pdf]
Cynthia Sturton, Rohit Sinha, Thurston H.Y. Dang, Sakshi Jain, Michael McCoyd, Wei-Yang Tan, Petros Maniatis,
Sanjit A. Seshia, and David Wagner. Symbolic Software Model Validation. In Proceedings of the 10th ACM/IEEE
International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 97–108, October 2013.
Details
BibTeX
Download:
[pdf]
Alberto Puggelli, Wenchao Li, Alberto Sangiovanni-Vincentelli, and Sanjit
A. Seshia. Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. In Proceedings
of the 25th International Conference on Computer-Aided Verification (CAV), July 2013.
Details
BibTeX
Download:
[pdf]
Wenchao Li, Adria Gascon, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, and Sanjit A. Seshia. WordRev: Finding Word-Level Structures in a Sea of
Bit-Level Gates. In Proceedings of the IEEE Conference on Hardware-Oriented Security and Trust (HOST), June 2013.
Details
BibTeX
Download:
[pdf]
Xiaoqing Jin, Alexandre Donzé, Jyotirmoy Deshmukh, and Sanjit A.
Seshia. Mining Requirements from Closed-Loop Control Models. In Proceedings of the International Conference
on Hybrid Systems: Computation and Control (HSCC), April 2013.
Details
BibTeX
Download:
[pdf]
Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, and
David Wagner. Verification with Small and Short Worlds. In Proceedings of the IEEE International Conference on
Formal Methods in Computer-Aided Design (FMCAD), October 2012.
Details
BibTeX
Download:
[pdf]
Wenchao Li and Sanjit A. Seshia. Sparse Coding for Specification
Mining and Error Localization. In Proceedings of the International Conference on Runtime Verification (RV), September
2012.
Details
BibTeX
Download:
[pdf]
Daniel Holcomb, Alexander Gotmanov, Michael Kishinevsky, and Sanjit A.
Seshia. Compositional Performance Verification of NoC Designs. In Proceedings of the 10th ACM/IEEE International
Conference on Formal Methods and Models for Codesign (MEMOCODE), July 2012.
Details
BibTeX
Download:
[pdf]
Wenchao Li, Zach Wasson, and Sanjit A. Seshia. Reverse Engineering
Circuits Using Behavioral Pattern Mining. In Proceedings of the IEEE Conference on Hardware-Oriented Security and
Trust (HOST), June 2012.
Details
BibTeX
Download:
[pdf]
Wenchao Li, Sanjit A. Seshia, and Somesh Jha. CrowdMine: Towards
Crowdsourced Human-Assisted Verification. In Proceedings of the Design Automation Conference (DAC), June 2012.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia. Sciduction: Combining Induction, Deduction, and
Structure for Verification and Synthesis. In Proceedings of the Design Automation Conference (DAC), June 2012.
Details
BibTeX
Download:
[pdf]
Orna Kupferman, Dorsa Sadigh, and Sanjit A. Seshia. Synthesis with
Clairvoyance. In Proceedings of the Haifa Verification Conference (HVC), December 2011.
Details
BibTeX
Download:
[pdf]
Susmit Jha, Sanjit A. Seshia, and Ashish Tiwari. Synthesis of Optimal
Switching Logic for Hybrid Systems. In Proceedings of the International Conference on Embedded Software (EMSOFT),
pp. 107–116, October 2011.
Details
BibTeX
Download:
[pdf]
Jonathan Kotker, Dorsa Sadigh, and Sanjit A. Seshia. Timing Analysis
of Interrupt-Driven Programs under Context Bounds. In Proceedings of the IEEE International Conference on Formal Methods
in Computer-Aided Design (FMCAD), pp. 81–90, October 2011.
Details
BibTeX
Download:
[pdf]
Bryan Brady, Randal E. Bryant, and Sanjit A. Seshia. Learning Conditional
Abstractions. In Proceedings of the IEEE International Conference on Formal Methods in Computer-Aided Design (FMCAD),
pp. 116–124, October 2011.
Details
BibTeX
Download:
[pdf]
Wenchao Li, Lili Dworkin, and Sanjit A. Seshia. Mining Assumptions
for Synthesis. In Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign
(MEMOCODE), July 2011.
Details
BibTeX
Download:
[pdf]
Daniel Holcomb, Bryan Brady, and Sanjit A. Seshia. Abstraction-Based
Performance Analysis of NoCs. In Proceedings of the Design Automation Conference (DAC), pp. 492–497, June
2011.
Details
BibTeX
Download:
[pdf]
Bryan Brady, Daniel Holcomb, and Sanjit A. Seshia. Counterexample-Guided
SMT-Driven Optimal Buffer Sizing. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE),
pp. 329–334, March 2011.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia and Jonathan Kotker. GameTime: A Toolkit for Timing
Analysis of Software. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
, pp. 388–392, March 2011.
Details
BibTeX
Download:
[pdf]
Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, and Alberto L.
Sangiovanni-Vincentelli. CalCS: SMT Solving for Non-linear Convex Constraints. In Proceedings of the IEEE International
Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 71–79, October 2010.
Details
BibTeX
Download:
[pdf]
Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, and John W. O'Leary.
ATLAS: Automatic Term-Level Abstraction of RTL Designs. In Proceedings of the Eighth ACM/IEEE International Conference
on Formal Methods and Models for Codesign (MEMOCODE), pp. 31–40, July 2010.
Details
BibTeX
Download:
[pdf]
Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, and Alberto L.
Sangiovanni-Vincentelli. CalCS: SMT Solving for Non-linear Convex Constraints. Technical Report UCB/EECS-2010-100,
EECS Department, University of California, Berkeley, 2010.
Details
BibTeX
Download:
[HTML]
Wenchao Li, Alessandro Forin, and Sanjit A. Seshia. Scalable Specification
Mining for Verification and Diagnosis. In Proceedings of the Design Automation Conference (DAC), pp. 755–760,
June 2010.
Details
BibTeX
Download:
[pdf]
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, and Ashish Tiwari.
Oracle-Guided Component-Based Program Synthesis. In Proceedings of the 32nd ACM/IEEE International Conference
on Software Engineering (ICSE), pp. 215–224, May 2010.
Extended tech report version available in
PDF
Details
BibTeX
Download:
[pdf]
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, and Ashish Tiwari.
Synthesizing Switching Logic for Safety and Dwell-Time Requirements. In Proceedings of the International Conference
on Cyber-Physical Systems (ICCPS), pp. 22–31, April 2010.
Extended tech report version available here.
Details
BibTeX
Download:
[pdf]
Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, and
Sanjit A. Seshia. Automating Security Mediation Placement. In Proc. European Symposium on Programming (ESOP),
pp. 327–344, March 2010.
Details
BibTeX
Download:
[pdf]
Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, and David Wagner.
On Voting Machine Design for Verification and Testability. In Proceedings of the ACM Conference on Computer and Communications
Security (CCS), pp. 463–476, November 2009.
Details
BibTeX
Download:
[pdf]
Susmit Jha, Rhishikesh Limaye, and Sanjit A. Seshia. Beaver: Engineering
an Efficient SMT Solver for Bit-Vector Artithmetic. In Proc. 21st International Conference on Computer-Aided verification
(CAV), pp. 668–674, Lecture Notes in Computer Science 5643, June 2009.
Details
BibTeX
Download:
[pdf]
Daniel E. Holcomb, Wenchao Li, and Sanjit A. Seshia. Design as
You See FIT: System-Level Soft Error Analysis of Sequential Circuits. In Proceedings of the Conference on Design,
Automation and Test in Europe (DATE), pp. 785–790, April 2009.
Details
BibTeX
Download:
[pdf]
Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, and
Sanjit A. Seshia. Optimizations of an Application-Level Protocol for Enhanced Dependability in FlexRay.
In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), pp. 1076–1081, April 2009.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia and Alexander Rakhlin. Game-Theoretic Timing Analysis.
In Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pp. 575–582, IEEE
Press, November 2008.
Details
BibTeX
Download:
[HTML]
Orna Kupferman, Wenchao Li, and Sanjit A. Seshia. A Theory of Mutations
with Applications to Vacuity, Coverage, and Fault Tolerance. In Proceedings of the IEEE International Conference on
Formal Methods in Computer-Aided Design (FMCAD), pp. 1–9, November 2008.
Details
BibTeX
Download:
[pdf]
Dave King, Trent Jaeger, Somesh Jha, and Sanjit A. Seshia. Effective
Blame for Information-Flow Violations. In Proceedings of the 16th ACM SIGSOFT International Symposium
on Foundations of Software Engineering (FSE), pp. 250–260, ACM Press, November 2008.
Details
BibTeX
Download:
[pdf]
Susmit Jha, Bryan A. Brady, and Sanjit A. Seshia. Symbolic Reachability
Analysis of Lazy Linear Hybrid Automata. In Proc. 5th International Conference on Formal Modeling and Analysis of
Timed Systems (FORMATS), pp. 241–256, Lecture Notes in Computer Science 4763, October 2007.
Details
BibTeX
Download:
[pdf]
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, and Sanjit A. Seshia.
An Application of Web-Service Interfaces. In ICWS, pp. 831–838, IEEE Computer Society, July 2007.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia. Autonomic Reactive Systems via Online Learning.
In Proceedings of the IEEE International Conference on Autonomic Computing (ICAC), IEEE Press, June 2007.
Details
BibTeX
Download:
[pdf]
Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, and
Sanjit A. Seshia. Sketching Stencils. In Proceedings of the ACM SIGPLAN Conference on Programming
Language Design and Implementation (PLDI), pp. 167–178, ACM Press, June 2007.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia, Wenchao Li, and Subhasish Mitra. Verification-Guided
Soft Error Resilience. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), pp. 1442–1447,
ACM Press, April 2007.
Details
BibTeX
Download:
[pdf]
Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, and Sanjit A.
Seshia. Automatic Model Generation for Black Box Real-Time Systems. In Proceedings of the Conference
on Design, Automation and Test in Europe (DATE), pp. 930–935, ACM Press, April 2007.
Details
BibTeX
Download:
[pdf]
Randal E. Bryant, Daniel Kroening, Joel Ouaknine, Sanjit A. Seshia,
Ofer Strichman, and Bryan Brady. Deciding Bit-Vector Arithmetic with Abstraction . In Proceedings of Tools
and Algorithms for the Construction and Analysis of Systems (TACAS) , pp. 358–372 , Lecture Notes in Computer
Science 4424 , Springer , March 2007.
Details
BibTeX
Download:
[pdf]
Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A.
Seshia, and Vijay A. Saraswat. Combinatorial sketching for finite programs. In Proceedings of the 12th International
Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp. 404–415,
ACM Press, October 2006.
Details
BibTeX
Download:
[pdf]
Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Song, and
Randal E. Bryant. Semantics-Aware Malware Detection. In Proc. IEEE Symposium on Security and Privacy, pp.
32–46, May 2005.
Details
BibTeX
Download:
[pdf]
Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, and
Randal E. Bryant. Automatic Discovery of API-Level Exploits. In Proc. 27th International Conference on Software
Engineering (ICSE), pp. 312–321, May 2005.
Details
BibTeX
Download:
[pdf]
[ps]
Sanjit A. Seshia, Randal E. Bryant, and Kenneth S. Stevens. Modeling
and Verifying Circuits Using Generalized Relative Timing. In 11th International Symposium on Advanced
Research in Asynchronous Circuits and Systems (ASYNC), pp. 98–108, IEEE Computer Society, March 2005.
Details
BibTeX
Download:
[pdf]
[ps]
Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, and Ofer Strichman.
Abstraction-based Satisfiability Solving of Presburger Arithmetic. In Proc. 16th International Conference on Computer-Aided
Verification (CAV), pp. 308–320, LNCS 3114, Springer-Verlag, July 2004.
Details
BibTeX
Download:
[pdf]
[ps]
Shuvendu K. Lahiri and Sanjit A. Seshia. The UCLID Decision Procedure.
In Proc. 16th International Conference on Computer-Aided Verification (CAV), pp. 475–478, LNCS 3114, Springer-Verlag,
July 2004.
Details
BibTeX
Download:
[pdf]
[ps]
Sanjit A. Seshia and Randal E. Bryant. Deciding Quantifier-Free
Presburger Formulas Using Parameterized Solution Bounds. In 19th Annual IEEE Symposium on Logic in Computer Science
(LICS), pp. 100–109, July 2004.
Details
BibTeX
Download:
[pdf]
[ps]
Randal E. Bryant, Shuvendu K. Lahiri, and Sanjit A. Seshia. Convergence
Testing in Term-Level Bounded Model Checking. In Correct Hardware Design and Verification Methods (CHARME), pp.
348–362, Lecture Notes in Computer Science 2860, Springer-Verlag, October 2003.
Details
BibTeX
Download:
[pdf]
[ps]
Sanjit A. Seshia and Randal E. Bryant. Unbounded, Fully Symbolic
Model Checking of Timed Automata using Boolean Methods. In Proc. 15th International Conference on Computer-Aided Verification
(CAV), pp. 154–166, Lecture Notes in Computer Science 2725, July 2003.
Details
BibTeX
Download:
[pdf]
[ps]
Sanjit A. Seshia, Shuvendu K. Lahiri, and Randal E. Bryant. A Hybrid
SAT-Based Decision Procedure for Separation Logic with Uninterpreted Functions. In 40th Design Automation Conference
(DAC '03), pp. 425–430, June 2003.
Details
BibTeX
Download:
[pdf]
[ps]
Shuvendu K. Lahiri, Sanjit A. Seshia, and Randal E. Bryant. Modeling
and Verification of Out-of-Order Microprocessors in UCLID. In Formal Methods in Computer-Aided Design (FMCAD '02),
pp. 142–160, LNCS 2517, Springer-Verlag, November 2002.
Details
BibTeX
Download:
[pdf]
[ps]
Randal E. Bryant, Shuvendu K. Lahiri, and Sanjit A. Seshia. Modeling
and Verifying Systems using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions. In
Proc. 14th International Conference on Computer-Aided Verification (CAV), pp. 78–92, LNCS 2404 , July 2002.
Details
BibTeX
Download:
[pdf]
Ofer Strichman, Sanjit A. Seshia, and Randal E. Bryant. Deciding
Separation Formulas with SAT. In Proc. 14th Intl. Conference on Computer-Aided Verification (CAV'02), pp. 209–222,
LNCS 2404, Springer-Verlag, July 2002.
Details
BibTeX
Download:
[pdf]
[ps]
Cormac Flanagan, Shaz Qadeer, and Sanjit A. Seshia. A Modular Checker
for Multithreaded Programs. In Proc. 14th International Conference on Computer-Aided Verification (CAV), pp. 180–194,
Lecture Notes in Computer Science 2404, Springer, July 2002.
Details
BibTeX
Download:
[pdf]
[ps]
Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, and S.
D. Dhodapkar. A Translation of Statecharts to Esterel. In World Congress on Formal Methods (FM), pp. 983–1007,
Lecture Notes in Computer Science 1709, Springer, September 1999.
Details
BibTeX
Download:
[pdf]
[ps]
A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, and R. K.
Shyamasundar. A Graphical Environment for the Specification and Verification of Reactive Systems. In
18th International Conference on Computer Safety, Reliability and Security (SAFECOMP), pp. 431–444, Lecture
Notes in Computer Science 1698, Springer, September 1999.
Details
BibTeX
Download:
[pdf]
[ps]
Journal Papers
Jose Eduardo Espindola Lima, Yuri Cho, Julie Muccini, Edward Kim, Alan David Anaya Gallegos, Alton Sturgis, James Hu,
Cathy Zhang, Erik Nelson, Nicholas Perlich, Sophie Rengarajan, Sanjit
A. Seshia, and Maarten Lansberg. Augmented Reality-based Physical Assessment (ARPA) for Remote Assessment of Patients
with Prior Stroke: A Feasibility Study. Neurology, 102(17 (supplement 1)), April 2024.
Presented at 76th Annual Meeting of the American Academy of Neurology (AAN),
April 2024.
Details
BibTeX
Download:
[HTML]
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and
Sanjit A. Seshia. Scenic: A Language for Scenario Specification and
Data Generation. Machine Learning, 112(10):3805–3849, 2023.
Published online February 2022.
Details
BibTeX
Download:
[HTML]
Beyazit Yalcinkaya, Hazem Torfah, Ankush Desai, and Sanjit A. Seshia.
Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems. IEEE Transactions
on Computer Aided Design of Integrated Circuits and Systems, 42(11):3679–3692, 2023.
Details
BibTeX
Download:
[pdf]
Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and
Sanjit A. Seshia. Towards Building Verifiable CPS using Lingua Franca.
ACM Transactions on Embedded Computing Systems (TECS), 22(5s):155:1–155:24, 2023.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia, Dorsa Sadigh, and S. Shankar Sastry. Toward Verified
Artificial Intelligence. Communications of the ACM, 65(7):46–55, 2022.
Details
BibTeX
Download:
[HTML]
Sanjit A. Seshia. Explorations in Cyber-Physical Systems Education.
Communications of the ACM, 65(5):60–69, 2022.
Details
BibTeX
Download:
[HTML]
Sicheng Zhao, Xiangyu Yue, Shanghang Zhang, Bo Li, Han Zhao, Bichen Wu, Ravi Krishna, Joseph E. Gonzalez, Alberto
L. Sangiovanni-Vincentelli, Sanjit A. Seshia, and Kurt Keutzer.
A Review of Single-Source Deep Unsupervised Visual Domain Adaptation. IEEE Transactions on Neural Networks and Learning
Systems, 33(2):473–493, 2022.
Details
BibTeX
Download:
[HTML]
Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia,
Paulo Tabuada, and George J. Pappas. Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption.
IEEE Transactions on Automatic Control, 66(5):2357–2364, 2021.
Details
BibTeX
Download:
[HTML]
Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A Lee,
Sanjit A. Seshia, and Alberto L. Sangiovanni-Vincentelli. Gordian: Formal Reasoning-based Outlier Detection for Secure
Localization. ACM Transactions on Cyber-Physical Systems, 4(4), 2020.
Details
BibTeX
Download:
[HTML]
Tommaso Dreossi, Alexandre Donzé, and Sanjit A. Seshia.
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. Journal of Automated
Reasoning, 63(4):1031–1053, 2019.
Details
BibTeX
Download:
[pdf]
Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, and Natarajan
Shankar. TeLEx: Learning Signal Temporal Logic from Positive Examples using Tightness Metric. Formal Methods in
System Design, 54(3):364–387, 2019.
Details
BibTeX
Download:
[HTML]
Susmit Jha, Vasumathi Raman, Dorsa Sadigh, and Sanjit A. Seshia.
Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic. Journal of Automated
Reasoning, 60(1):43–62, 2018.
Details
BibTeX
Download:
[HTML]
Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings, Stéphane Lafortune, and
Sanjit A. Seshia. Synthesis of Obfuscation Policies to Ensure Privacy and Utility. Journal of Automated Reasoning,
60(1):107–131, 2018.
Details
BibTeX
Download:
[HTML]
Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia, Joao Pedro Hespanha, and Paulo Tabuada. SMT-Based Observer Design for Cyber-Physical Systems under
Sensor Attacks. ACM Transactions on Cyber-Physical Systems (TCPS), 2(1):5:1–5:27, 2018.
Details
BibTeX
Download:
[HTML]
Dorsa Sadigh, Nick Landolfi, Shankar S. Sastry, Sanjit A. Seshia,
and Anca D. Dragan. Planning for cars that coordinate with people: leveraging effects on human actions
for planning and active information gathering over human internal state. Autonomous Robots, 42(7):1405–1426,
2018.
Details
BibTeX
Download:
[HTML]
Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit
A. Seshia, George J. Pappas, and Paulo Tabuada. SMC: Satisfiability Modulo Convex Programming. Proceedings
of the IEEE, 106(9), September 2018.
Details
BibTeX
Download:
[pdf]
Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia, and Paulo Tabuada. Secure State Estimation for Cyber Physical Systems under Sensor Attacks: A Satisfiability
Modulo Theory Approach. IEEE Transactions on Automatic Control, 62(10):4917–4932, 2017.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia, Shiyan Hu, Wenchao Li, and Qi Zhu. Design Automation
of Cyber-Physical Systems: Challenges, Advances, and Opportunities. IEEE Transactions on Computer-Aided Design of
Circuits and Systems, 36(9):1421–1434, 2017.
Details
BibTeX
Download:
[pdf]
Susmit Jha and Sanjit A. Seshia. A Theory of Formal Synthesis via Inductive Learning. Acta Informatica,
54(7):693–726, 2017.
Earlier version published in 2015 at ArXiv.
Details
BibTeX
Download:
[pdf]
Eric S. Kim, Murat Arcak, and Sanjit A. Seshia. Symbolic Control
Design for Monotone Systems with Directed Specifications. Automatica, 83:10–19, 2017.
Details
BibTeX
Download:
[HTML]
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, and
Sanjit A. Seshia. Robust Online Monitoring of Signal Temporal Logic. Formal Methods in System Design,
51(1):5–30, 2017.
Details
BibTeX
Download:
[HTML]
William R. Harris, Somesh Jha, Thomas W. Reps, and Sanjit A. Seshia.
Program Synthesis for Interactive-Security Systems. Formal Methods in System Design, 51(2):362–394,
2017.
Details
BibTeX
Download:
[HTML]
Rafael Valle, Alexandre Donzé, Daniel J. Fremont, Ilge Akkaya,
Sanjit A. Seshia, Adrian Freed, and David Wessel. Specification Mining for Machine Improvisation with Formal Specifications.
ACM Computers in Entertainment, 14(3), ACM, 2016.
Details
BibTeX
Download:
[pdf]
Xiaoqing Jin, Alexandre Donzé, Jyotirmoy Deshmukh, and Sanjit A.
Seshia. Mining Requirements from Closed-Loop Control Models. IEEE Transactions on Computer-Aided Design of
Circuits and Systems, 34(11):1704–1717, 2015.
Donald O. Pederson Best Paper Award for IEEE TCAD (awarded
in 2017).
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia. Combining Induction, Deduction, and Structure for
Verification and Synthesis. Proceedings of the IEEE, 103(11):2036–2051, 2015.
Details
BibTeX
Download:
[pdf]
Daniel E. Holcomb and Sanjit A. Seshia. Compositional Performance
Verification of Network-on-Chip Designs. IEEE Transactions on Computer-Aided Design of Circuits and Systems,
33(9):1370–1383, 2014.
Details
BibTeX
Download:
[pdf]
Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adria Gascon, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, and Sharad Malik. Reverse Engineering Digital Circuits
Using Structural and Functional Analyses. IEEE Transactions on Emerging Topics in Computing, 2(1):63–80,
March 2014.
Details
BibTeX
Download:
[pdf]
[HTML]
Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre
Donzé, and Sanjit A. Seshia. A Contract-Based Methodology
for Aircraft Electric Power System Design. IEEE Access, 2:1–25, January 2014.
Details
BibTeX
Download:
[pdf]
[HTML]
Sanjit A. Seshia and Alexander Rakhlin. Quantitative Analysis of
Systems Using Game-Theoretic Learning. ACM Transactions on Embedded Computing Systems (TECS), 11(S2):55:1–55:27,
2012.
Details
BibTeX
Download:
[pdf]
John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, and
Jia Zou. Distributed Real-Time Software for Cyber-Physical Systems. Proceedings of the IEEE, 100(1):45–59,
January 2012.
Details
BibTeX
Download:
[pdf]
Randal E. Bryant, Daniel Kroening, Joel Ouaknine, Sanjit A. Seshia,
Ofer Strichman, and Bryan Brady. An Abstraction-Based Decision Procedure for Bit-Vector Arithmetic . International
Journal on Software Tools for Technology Transfer (STTT) , 11(2):95–104, 2009.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia, K. Subramani, and Randal E. Bryant. On Solving
Boolean Combinations of UTVPI Constraints. Journal on Satisfiability, Boolean Modeling and Computation (JSAT),
3(1-2):67–90, 2007.
Details
BibTeX
Download:
[pdf]
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, and Sanjit A. Seshia.
Modular Verification of Multithreaded Programs. Theoretical Computer Science, 338(1-3):153–183, 2005.
Details
BibTeX
Download:
[HTML]
Sanjit A. Seshia and Randal E. Bryant. Deciding Quantifier-Free
Presburger Formulas Using Parameterized Solution Bounds. Logical Methods in Computer Science, 1(2):1–26,
December 2005.
Details
BibTeX
Download:
[pdf]
[HTML]
A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, and R. K.
Shyamasundar. PERTS: A Graphical Environment for the Specification and Verification of Reactive Systems.
Journal of Reliability Engineering and System Safety, 71(3):299–310, 2001. (Corrigendum in vol. 72(2), page
223.)
Details
BibTeX
Download:
(unavailable)
Refereed Workshop Papers
Sheng-Jung Yu, Inigo Incer, Valmik Prabhu, Anwesha Chattoraj, Eric Vin, Daniel J. Fremont, Ankur Mehta, Alberto L.
Sangiovanni-Vincentelli, Shankar Sastry, and Sanjit A. Seshia. Symbiotic
CPS Design-Space Exploration through Iterated Optimization. In Proceedings of Cyber-Physical Systems and Internet
of Things Week (CPS-IoT Week), pp. 92–99, ACM, 2023.
Details
BibTeX
Download:
[HTML]
Nicolas Chan, Elizabeth Polgreen, and Sanjit A. Seshia. Gradient
Descent over Metagrammars for Syntax-Guided Synthesis. In 9th Workshop on Synthesis (SYNT), July 2020.
Details
BibTeX
Download:
[HTML]
Federico Mora, Kevin Cheang, Elizabeth Polgreen, and Sanjit A. Seshia.
Synthesis in UCLID5. In 9th Workshop on Synthesis (SYNT), July 2020.
Details
BibTeX
Download:
[HTML]
Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, and
Sanjit A. Seshia. A Formalization of Robustness for Deep Neural Networks. In Proceedings of the AAAI Spring
Symposium Workshop on Verification of Neural Networks (VNN), March 2019.
Details
BibTeX
Download:
[pdf]
Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, and
Sanjit A. Seshia. Systematic Testing of Convolutional Neural Networks for Autonomous Driving. In ICML Workshop
on Reliable Machine Learning in the Wild (RMLW), 2017.
Details
BibTeX
Download:
[HTML]
Matthew Fong and Sanjit A. Seshia. Stoichiometrically Minimal Source
Pathways via Model Checking. In Proceedings of the 7th International Workshop on Bio-Design Automation (IWBDA),
August 2015.
See also the accompanying thesis:here.
Details
BibTeX
Download:
[pdf]
Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia, Mani Srivastava, and Paulo Tabuada. Imhotep-SMT: A Satisfiability Modulo Theory Solver for Secure
State Estimation. In In 13th International Workshop on Satisfiability Modulo Theories (SMT), July 2015.
Details
BibTeX
Download:
[pdf]
Susmit Jha and Sanjit A. Seshia. Are There Good Mistakes? A Theoretical
Analysis of CEGIS. In 3rd Workshop on Synthesis (SYNT), pp. 84–99, July 2014.
Details
BibTeX
Download:
[HTML]
Daniel J. Fremont and Sanjit A. Seshia. Speeding Up SMT-Based Quantitative
Program Analysis. In In 12th International Workshop on Satisfiability Modulo Theories (SMT), pp. 3–13, July
2014.
Details
BibTeX
Download:
[pdf]
Dorsa Sadigh, Katherine Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto L. Sangiovanni-Vincentelli,
S. Shankar Sastry, and Sanjit A. Seshia. Data-Driven Probabilistic
Modeling and Verification of Human Driver Behavior. In Formal Verification and Modeling in Human-Machine Systems,
AAAI Spring Symposium, March 2014.
Details
BibTeX
Download:
[pdf]
Jeff C. Jensen, Edward A. Lee, and Sanjit A. Seshia. Virtualizing
Cyber-Physical Systems: Bringing CPS to Online Education. In Proc. First Workshop on CPS Education (CPS-Ed), April
2013.
Details
BibTeX
Download:
[pdf]
Susmit Jha and Sanjit A. Seshia. Synthesis of Optimal Fixed-Point
Implementations of Numerical Software Routines. In Proc. Sixth International Workshop on Numerical Software Verification
(NSV), April 2013.
Details
BibTeX
Download:
[pdf]
Wenchao Li, Susmit Jha, and Sanjit A. Seshia. Generating Control
Logic for Optimized Soft Error Resilience. In Proc. 9th Workshop on Silicon Errors in Logic - System Effects (SELSE),
March 2013.
Details
BibTeX
Download:
[pdf]
Saurabh Srivastava, Tim Hsiau, Sarah Chasins, Jonathan Kotker, Yen-Sheng Ho, Paul Ruan, Jeff Tsui, Stephi Hamilton,
Jene Li, J. Christopher Anderson, Sanjit A. Seshia, and Rastislav
Bodik. Biochemistry as a Programming Language. In Proc. Off the Beaten Track (OBT/POPL), January 2013.
Details
BibTeX
Download:
[pdf]
Dorsa Sadigh, Sanjit A. Seshia, and Mona Gupta. Automating Exercise
Generation: A Step towards Meeting the MOOC Challenge for Embedded Systems. In Proc. Workshop on Embedded Systems
Education (WESE), October 2012.
Details
BibTeX
Download:
[pdf]
Saurabh Srivastava, Jonathan Kotker, Stephi Hamilton, Paul Ruan, Jeff Tsui, J. Christopher Anderson, Rastislav Bodik,
and Sanjit A. Seshia. Pathway Synthesis Using the Act Ontology.
In Proceedings of the 4th International Workshop on Bio-Design Automation (IWBDA), June 2012.
Details
BibTeX
Download:
[pdf]
Edward A. Lee and Sanjit A. Seshia. An Introductory Textbook on
Cyber-Physical Systems. In Proc. Workshop on Embedded Systems Education (WESE), October 2010.
Details
BibTeX
Download:
[pdf]
Susmit Jha, Wenchao Li, and Sanjit A. Seshia. Localizing Transient
Faults Using Dynamic Bayesian Networks. In IEEE International High Level Design Validation and Test Workshop (HLDVT),
November 2009.
Details
BibTeX
Download:
[pdf]
Randal E. Bryant, Shuvendu K. Lahiri, and Sanjit A. Seshia. Deciding
CLU Logic Formulas via Boolean and Pseudo-Boolean Encodings. In Proc. Intl. Workshop on Constraints in Formal Verification,
September 2002. Associated with Intl. Conf. on Principles and Practice of Constraint Programming (CP'02)
Details
BibTeX
Download:
[pdf]
[ps]
Nicholas J. Hopper, Sanjit A. Seshia, and Jeannette M. Wing. A
Comparison and Combination of Theory Generation and Model Checking for Security Protocol Analysis. In Workshop on
Formal Methods in Computer Security (FMCS), July 2000. Associated with Intl. Conf. on Computer-Aided Verification (CAV'00)
Details
BibTeX
Download:
[pdf]
[ps]
Invited Papers and Tutorials
Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, and
Sanjit A. Seshia. Learning Monitorable Operational Design Domains for Assured Autonomy. In Proceedings of
the International Symposium on Automated Technology for Verification and Analysis (ATVA), October 2022.
Details
BibTeX
Download:
[pdf]
Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia.
Safety in Autonomous Driving: Can Tools Offer Guarantees?. In 58th ACM/IEEE Design Automation Conference (DAC),
pp. 1311–1314, IEEE, 2021.
Details
BibTeX
Download:
[pdf]
Hazem Torfah, Sebastian Junges, Daniel J. Fremont, and Sanjit A. Seshia.
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. In 21st International Conference on
Runtime Verification (RV), pp. 311–330, Lecture Notes in Computer Science 12974, Springer, 2021.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia, Somesh Jha, and Tommaso Dreossi. Semantic Adversarial
Deep Learning. IEEE Design and Test, 37(2):8–18, 2020.
Earlier version published in 2018 at CAV
2018.
Details
BibTeX
Download:
[HTML]
Sanjit A. Seshia. Introspective Environment Modeling. In
19th International Conference on Runtime Verification (RV), pp. 15–26, October 2019.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia. Cyber-Physical Systems Education: Explorations
and Dreams. In Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th
Birthday, pp. 407–422, 2018.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia and Pramod Subramanyan. UCLID5: Integrating Modeling,
Verification, Synthesis, and Learning. In Proceedings of the 15th ACM/IEEE International Conference on Formal Methods
and Models for Codesign (MEMOCODE), October 2018.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia, Dorsa Sadigh, and S. Shankar Sastry. Formal Methods
for Semi-Autonomous Driving. In Proceedings of the Design Automation Conference (DAC), pp. 148:1–148:5,
June 2015.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia. New Frontiers in Formal Methods: Learning, Cyber-Physical
Systems, Education, and Beyond. CSI Journal of Computing, 2(4):R1:3–R1:13, June 2015.
Details
BibTeX
Download:
[pdf]
Edward A. Lee, Jan Rabaey, David Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Bjoern Hartmann, Roozbeh Jafari,
Douglas L. Jones, John D. Kubiatowicz, Vijay Kumar, Rahul Mangharam, Brian T. Murray, George Pappas, Kris Pister,
Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, Tajana
Simunic Rosing, Ben Taskar, John Wawrzynek, and David Wessel. The Swarm at the Edge of the Cloud. IEEE Design
and Test of Computers, Special Issue on Cloud Computing for Embedded Systems, 31(3):8–20, 2014.
Details
BibTeX
Download:
[HTML]
Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman,
Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. Syntax-Guided Synthesis.
In Proceedings of the IEEE International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 1–17,
October 2013.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia. Verifying High-Confidence Interactive Systems:
Electronic Voting and Beyond. In 14th International Conference on Distributed Computing and Networking
(ICDCN), pp. 1–10, January 2013.
Details
BibTeX
Download:
[pdf]
Jeff C. Jensen, Edward A. Lee, and Sanjit A. Seshia. An Introductory
Capstone Design Course on Embedded Systems. In Proc. International Symposium on Circuits and Systems (ISCAS),
pp. 1199–1202, May 2011.
Details
BibTeX
Download:
[pdf]
Sanjit A. Seshia. Quantitative Analysis of Software: Challenges and
Recent Advances. In 7th International Workshop on Formal Aspects of Component Software (FACS), October 2010.
Details
BibTeX
Download:
[pdf]
Subhasish Mitra, Sanjit A. Seshia, and Nicola Nicolici. Post-Silicon
Validation: Opportunities, Challenges and Recent Advances. In Proceedings of the Design Automation Conference (DAC),
pp. 12–17, June 2010.
Details
BibTeX
Download:
[pdf]
Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, and Jia Zou.
The Case for Timing-Centric Distributed Software. In Workshop on Cyber-Physical Systems, associated with 29th IEEE
International Conference on Distributed Computing Systems (ICDCS), pp. 57–64, IEEE Computer Society,
June 2009.
Details
BibTeX
Download:
[pdf]
Daniel Kroening and Sanjit A. Seshia. Formal Verification at Higher
Levels of Abstraction. In International Conference on Computer-Aided Design (ICCAD), pp. 572–578, IEEE
Press, November 2007.
Slides available in PDF
Details
BibTeX
Download:
[pdf]
Randal E. Bryant and Sanjit A. Seshia. Decision Procedures Customized
for Formal Verification. In 20th International Conference on Automated Deduction (CADE), pp. 255–259,
Lecture Notes in Computer Science 3632, Springer, July 2005.
Details
BibTeX
Download:
[pdf]
Technical Reports
David Dalrymple, Joar Skalse, Yoshua Bengio, Stuart Russell, Max Tegmark,
Sanjit Seshia, Steve Omohundro, Christian Szegedy, Ben Goldhaber, Nora Ammann, Alessandro Abate, Joe Halpern, Clark
W. Barrett, Ding Zhao, Tan Zhi-Xuan, Jeannette Wing, and Joshua B. Tenenbaum. Towards Guaranteed Safe AI: A Framework
for Ensuring Robust and Reliable AI Systems. CoRR, abs/2405.06624, 2024.
Details
BibTeX
Download:
[HTML]
Sanjit A. Seshia. Compositional Verification without Compositional
Specification for Learning-Based Systems. Technical Report UCB/EECS-2017-164, EECS Department, University of California,
Berkeley, 2017.
Details
BibTeX
Download:
[HTML]
Sanjit A. Seshia, Dorsa Sadigh, and S. Shankar Sastry. Towards
Verified Artificial Intelligence. ArXiv e-prints, July 2016.
Details
BibTeX
Download:
[HTML]
S. Jha and S. A. Seshia. A Theory of Formal Synthesis via Inductive Learning. ArXiv e-prints, May 2015.
Details
BibTeX
Download:
[HTML]
Rohit Sinha, Sriram Rajamani, Sanjit A. Seshia, and Kapil Vaswani.
Verification of Confidentiality Properties of Enclave Programs. Technical Report UCB/EECS-2015-162, EECS Department,
University of California, Berkeley, 2015.
Details
BibTeX
Download:
[HTML]
Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia, and David
Wessel. Control Improvisation. ArXiv e-prints, November 2014.
Details
BibTeX
Download:
[HTML]
Alexandre Donzé, Sophie Libkind, Sanjit A. Seshia, and David
Wessel. Control Improvisation with Application to Music. Technical Report UCB/EECS-2013-183, EECS Department, University
of California, Berkeley, 2013.
Details
BibTeX
Download:
[HTML]
Sanjit A. Seshia. Sciduction: Combining Induction, Deduction, and
Structure for Verification and Synthesis. Technical Report UCB/EECS-2011-68, EECS Department, University of California,
Berkeley, 2011.
Details
BibTeX
Download:
[pdf]
Daniel Holcomb, Wenchao Li, and Sanjit A. Seshia. Algorithms for
Green Buildings: Learning-Based Techniques for Energy Prediction and Fault Diagnosis. Technical Report UCB/EECS-2009-138,
EECS Department, University of California, Berkeley, 2009.
Details
BibTeX
Download:
[pdf]
[HTML]
John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, and
Jia Zou. Time-centric Models for Designing Embedded Cyber-Physical Systems. Technical Report UCB/EECS-2009-135,
EECS Department, UC Berkeley, 2009.
Details
BibTeX
Download:
[HTML]
Susmit Jha, Sanjit A. Seshia, and Rhishikesh Limaye. On the Computational
Complexity of Satisfiability Solving for String Theories. Technical Report UCB/EECS-2009-41, EECS Department, UC Berkeley,
2009.
Details
BibTeX
Download:
[HTML]
Sanjit A. Seshia, K. Subramani, and Randal E. Bryant. On Solving
Boolean Combinations of Generalized 2SAT Constraints. Technical Report CMU-CS-04-179, Carnegie Mellon University, 2004.
Details
BibTeX
Download:
[HTML]
V. Ganapathy, S. A. Seshia, S. Jha, T. W. Reps, and R. E. Bryant.
Automatic Discovery of API-Level Vulnerabilities. Technical Report 1512, CS Dept., Univ. of Wisconsin, 2004.
Details
BibTeX
Download:
[pdf]