Publications

Here are my DBLP and Google Scholar entries.      My Erdos number is 4.


Notice:The documents referenced on this page are included by the contributing authors as a means to ensure timely dissemination of technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's or owner's copyright. 

Classified by Publication Type

Change sort order:

Book/Book Chapter/ThesisRefereed Conference PapersJournal PapersRefereed Workshop PapersInvited Papers and TutorialsTechnical 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

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

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] 

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 Journal, 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

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

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] 


 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Generated by bib2html.pl (written by Patrick Riley ) on Sun Oct 9, 2022 23:06:16