Publications

My Erdos number is 4.         Here is my DBLP entry.


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 Area

Change sort order:

Formal Methods / Computational Logic / AlgorithmsElectronic / Biological Design Automation / CADEmbedded / Cyber-Physical / Hybrid SystemsSecurity / Programming Languages / Software Engineering

Formal Methods / Computational Logic / Algorithms

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] 

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), September 2014. To appear.
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), July 2014. To appear.
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), July 2014. To appear.
Details     BibTeX     Download: [pdf] 

Daniel J. Fremont and Sanjit A. Seshia. Speeding Up SMT-Based Quantitative Program Analysis. In In 12th International Workshop on Satisfiability Modulo Theories (SMT), July 2014. To appear.
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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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 UTVPI Constraints. Journal on Satisfiability, Boolean Modeling and Computation (JSAT), 3(1-2):67–90, 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] 

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] 

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] 

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] 

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] 

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] 

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

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] 

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] 

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)

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] 

Electronic / Biological Design Automation / CAD

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

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

Embedded / Cyber-Physical / Hybrid Systems

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, 2014. To appear.
Details     BibTeX     Download: [HTML] 

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), 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), October 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. To appear.
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), September 2014. To appear.
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), 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), August 2014. To appear.
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] 

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] 

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] 

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] 

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] 

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] 

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] 

Edward A. Lee and Sanjit A. Seshia. Introduction to Embedded Systems: A Cyber-Physical Systems Approach, http://leeseshia.org, 2011.
Details     BibTeX     Download: [HTML] 

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] 

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 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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

Security / Programming Languages / Software Engineering

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), July 2014. To appear.
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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 

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] 


 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jun 30, 2014 11:19:49