Sanjit A. Seshia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
128
Venues
39
Active years
1999–2025
Best venue rank
A*
Where they publish
- A*CAV23 papers
- BFMCAD14 papers
- BRV12 papers
- A*DAC8 papers
- A*AAAI6 papers
- CMEMOCODE6 papers
- A*CCS5 papers
- ADATE5 papers
- ATACAS4 papers
- BATVA3 papers
- ASAT3 papers
- AICCAD3 papers
- A*PLDI3 papers
- Journal PublishedEMSOFT3 papers
- A*ASPLOS2 papers
- AECOOP2 papers
- BVMCAI2 papers
- AIROS2 papers
- A*ICSE2 papers
- BIFM1 paper
- AAsiaCCS1 paper
- A*CVPR1 paper
- A*ICLR1 paper
- ADSN1 paper
- A*ICRA1 paper
- AICDCS1 paper
- A*IJCAI1 paper
- CISoLA1 paper
- UnrankedSENSYS1 paper
- CFedCSIS1 paper
- NationalICDCN1 paper
- CISCAS1 paper
- AESOP1 paper
- AICWS1 paper
- ACADE1 paper
- A*SP1 paper
- A*LICS1 paper
- BFM1 paper
- BSAFECOMP1 paper
Papers
128 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ATVA | Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models. | Aniruddha R. Joshi, Supratik Chakraborty, S. Akshay, Shetal Shah, Hazem Torfah, Sanjit A. Seshia |
| 2025 | CAV | $\mathbf{{\textsc {PyCaliper}}}$: Python-Embedded Infrastructure for RTL Verification and Specification Synthesis. | Adwait Godbole, Brian Huffman, Fangfei Liu, Carlos V. Rozas, Sanjit A. Seshia |
| 2025 | FMCAD | PolyVer: A Compositional Approach for Polyglot System Modeling and Verification. | Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia |
| 2024 | AAAI | An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes. | Amar Shah, Federico Mora, Sanjit A. Seshia |
| 2024 | ASPLOS | Lifting Micro-Update Models from RTL for Formal Security Analysis. | Adwait Godbole, Kevin Cheang, Yatin A. Manerkar, Sanjit A. Seshia |
| 2024 | CCS | SemPat: From Hyperproperties to Attack Patterns for Scalable Analysis of Microarchitectural Security. | Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia |
| 2024 | ECOOP | Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations. | Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung |
| 2024 | IFM | Active Learning of Runtime Monitors Under Uncertainty. | Sebastian Junges, Sanjit A. Seshia, Hazem Torfah |
| 2024 | RV | Dynamic, Multi-objective Specification and Falsification of Autonomous CPS. | Kevin Kai-Chun Chang, Kaifei Xu, Edward Kim, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2023 | CAV | 3D Environment Modeling for Falsification and Beyond with Scenic 3.0. | Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2023 | ECOOP | Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper). | Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung |
| 2023 | FMCAD | Modelling and Verification of Security-Oriented Resource Partitioning Schemes. | Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, Sanjit A. Seshia |
| 2023 | RV | Learning Monitor Ensembles for Operational Design Domains. | Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia |
| 2023 | RV | Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. | Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia |
| 2022 | AAAI | Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning. | Abdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2022 | ATVA | Learning Monitorable Operational Design Domains for Assured Autonomy. | Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia |
| 2022 | CAV | UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis. | Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia |
| 2022 | CCS | Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. | Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste Asanovic |
| 2022 | FMCAD | Automated Conversion of Axiomatic to Operational Models: Theory and Practice. | Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia |
| 2022 | FMCAD | Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. | Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia |
| 2022 | VMCAI | Satisfiability and Synthesis Modulo Oracles. | Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia |
| 2021 | AAAI | Learning Branching Heuristics for Propositional Model Counting. | Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Sanjit A. Seshia, Fahiem Bacchus |
| 2021 | AsiaCCS | PSec: Programming Secure Distributed Systems using Enclaves. | Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia |
| 2021 | CAV | Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. | Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck |
| 2021 | CAV | Enforcing Almost-Sure Reachability in POMDPs. | Sebastian Junges, Nils Jansen, Sanjit A. Seshia |
| 2021 | CAV | Runtime Monitors for Markov Decision Processes. | Sebastian Junges, Hazem Torfah, Sanjit A. Seshia |
| 2021 | DAC | Safety in Autonomous Driving: Can Tools Offer Guarantees? | Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2021 | FMCAD | Synthesizing Pareto-Optimal Interpretations for Black-Box Models. | Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia |
| 2021 | RV | Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. | Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia |
| 2021 | RV | Parallel and Multi-objective Falsification with Scenic and VerifAI. | Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia |
| 2021 | SAT | MedleySolver: Online SMT Algorithm Selection. | Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia |
| 2020 | CAV | Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI. | Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia |
| 2020 | CAV | Maximum Causal Entropy Specification Inference from Demonstrations. | Marcell Vazquez-Chanlatte, Sanjit A. Seshia |
| 2020 | CVPR | A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors. | Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia |
| 2020 | ICLR | Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. | Gil Lederman, Markus N. Rabe, Sanjit A. Seshia, Edward A. Lee |
| 2020 | RV | SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. | Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia |
| 2019 | CAV | VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. | Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia |
| 2019 | CAV | Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. | Eric S. Kim, Murat Arcak, Sanjit A. Seshia |
| 2019 | DSN | SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. | Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari |
| 2019 | ICCAD | Golden Gate: Bridging The Resource-Efficiency Gap Between ASICs and FPGA Prototypes. | Albert Magyar, David Biancolin, John Koenig, Sanjit A. Seshia, Jonathan Bachrach, Krste Asanovic |
| 2019 | ICRA | Formal Policy Learning from Demonstrations for Reachability Properties. | Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia |
| 2019 | MEMOCODE | RTL bug localization through LTL specification mining (WIP). | Vighnesh Iyer, Donggyu Kim, Borivoje Nikolic, Sanjit A. Seshia |
| 2019 | PLDI | Scenic: a language for scenario specification and scene generation. | Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2019 | RV | Introspective Environment Modeling. | Sanjit A. Seshia |
| 2018 | ATVA | Formal Specification for Deep Neural Networks. | Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue |
| 2018 | CAV | Semantic Adversarial Deep Learning. | Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia |
| 2018 | CAV | Reactive Control Improvisation. | Daniel J. Fremont, Sanjit A. Seshia |
| 2018 | CAV | Understanding and Extending Incremental Determinization for 2QBF. | Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia |
| 2018 | ICDCS | Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT. | Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrde Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli |
| 2018 | IJCAI | Counterexample-Guided Data Augmentation. | Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2018 | ISoLA | Programming Safe Robotics Systems: Challenges and Advances. | Ankush Desai, Shaz Qadeer, Sanjit A. Seshia |
| 2018 | MEMOCODE | UCLID5: Integrating Modeling, Verification, Synthesis and Learning. | Sanjit A. Seshia, Pramod Subramanyan |
| 2018 | RV | Time-Series Learning Using Monotonic Logical Properties. | Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2017 | AAAI | Maximum Model Counting. | Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia |
| 2017 | CAV | Logical Clustering and Learning for Time-Series Data. | Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia |
| 2017 | CCS | A Formal Foundation for Secure Remote Execution of Enclaves. | Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia |
| 2017 | RV | Combining Model Checking and Runtime Verification for Safe Robotics. | Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia |
| 2017 | RV | TeLEx: Passive STL Learning Using Only Positive Examples. | Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar |
| 2016 | AAAI | Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. | Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik |
| 2016 | FMCAD | On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks. | Susmit Jha, Vasumathi Raman, Sanjit A. Seshia |
| 2016 | FMCAD | Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems. | Tomoya Yamaguchi, Tomoyuki Kaga, Alexandre Donz, Sanjit A. Seshia |
| 2016 | IROS | Information gathering actions over human internal state. | Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia, Anca D. Dragan |
| 2016 | PLDI | A design and verification methodology for secure isolated regions. | Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani |
| 2016 | SAT | On the Hardness of SAT with Community Structure. | Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia |
| 2016 | SAT | Incremental Determinization. | Markus N. Rabe, Sanjit A. Seshia |
| 2015 | CAV | Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems. | Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson |
| 2015 | CCS | Moat: Verifying Confidentiality of Enclave Programs. | Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani |
| 2015 | DAC | Formal methods for semi-autonomous driving. | Sanjit A. Seshia, Dorsa Sadigh, S. Shankar Sastry |
| 2015 | RV | Robust Online Monitoring of Signal Temporal Logic. | Jyotirmoy V. Deshmukh, Alexandre Donz, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia |
| 2015 | TACAS | On Parallel Scalable Uniform SAT Witness Generation. | Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi |
| 2014 | AAAI | Distribution-Aware Sampling and Weighted Model Counting for SAT. | Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi |
| 2014 | EMSOFT | CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory. | Garvit Juniwal, Alexandre Donz, Jeff C. Jensen, Sanjit A. Seshia |
| 2014 | EMSOFT | Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing. | Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2014 | IROS | Automated composition of motion primitives for multi-robot systems from safe LTL specifications. | Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia |
| 2014 | SENSYS | Distributed control of a swarm of buildings connected to a smart grid: demo abstract. | Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donz, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Truong X. Nghiem, Vasumathi Raman, Anthony Rowe, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh |
| 2014 | TACAS | Synthesis for Human-in-the-Loop Control Systems. | Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia |
| 2014 | VMCAI | Synthesis with Identifiers. | Rdiger Ehlers, Sanjit A. Seshia, Hadas Kress-Gazit |
| 2013 | CAV | Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. | Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2013 | FedCSIS | Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata. | Luigi Di Guglielmo, Sanjit A. Seshia, Tiziano Villa |
| 2013 | FMCAD | Syntax-guided synthesis. | Rajeev Alur, Rastislav Bodk, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa |
| 2013 | ICDCN | Verifying High-Confidence Interactive Systems: Electronic Voting and Beyond. | Sanjit A. Seshia |
| 2013 | MEMOCODE | Symbolic software model validation. | Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner |
| 2012 | DAC | CrowdMine: towards crowdsourced human-assisted verification. | Wenchao Li, Sanjit A. Seshia, Somesh Jha |
| 2012 | DAC | Sciduction: combining induction, deduction, and structure for verification and synthesis. | Sanjit A. Seshia |
| 2012 | FMCAD | Verification with small and short worlds. | Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David A. Wagner |
| 2012 | MEMOCODE | Compositional performance verification of NoC designs. | Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia |
| 2012 | RV | Sparse Coding for Specification Mining and Error Localization. | Wenchao Li, Sanjit A. Seshia |
| 2011 | DAC | Abstraction-based performance verification of NoCs. | Daniel E. Holcomb, Bryan A. Brady, Sanjit A. Seshia |
| 2011 | DATE | Counterexample-guided SMT-driven optimal buffer sizing. | Bryan A. Brady, Daniel E. Holcomb, Sanjit A. Seshia |
| 2011 | EMSOFT | Synthesis of optimal switching logic for hybrid systems. | Susmit Jha, Sanjit A. Seshia, Ashish Tiwari |
| 2011 | FMCAD | Learning conditional abstractions. | Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia |
| 2011 | FMCAD | Timing analysis of interrupt-driven programs under context bounds. | Jonathan Kotker, Dorsa Sadigh, Sanjit A. Seshia |
| 2011 | ISCAS | An introductory capstone design course on embedded systems. | Jeff C. Jensen, Edward A. Lee, Sanjit A. Seshia |
| 2011 | MEMOCODE | Mining assumptions for synthesis. | Wenchao Li, Lili Dworkin, Sanjit A. Seshia |
| 2011 | TACAS | GameTime: A Toolkit for Timing Analysis of Software. | Sanjit A. Seshia, Jonathan Kotker |
| 2010 | DAC | Scalable specification mining for verification and diagnosis. | Wenchao Li, Alessandro Forin, Sanjit A. Seshia |
| 2010 | DAC | Post-silicon validation opportunities, challenges and recent advances. | Subhasish Mitra, Sanjit A. Seshia, Nicola Nicolici |
| 2010 | ESOP | Automating Security Mediation Placement. | Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia |
| 2010 | FMCAD | CalCS: SMT solving for non-linear convex constraints. | Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli |
| 2010 | ICSE | Oracle-guided component-based program synthesis. | Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari |
| 2010 | MEMOCODE | ATLAS: Automatic Term-level abstraction of RTL designs. | Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, John W. O'Leary |
| 2009 | CAV | Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. | Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia |
| 2009 | CCS | On voting machine design for verification and testability. | Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David A. Wagner |
| 2009 | DATE | Design as you see FIT: System-level soft error analysis of sequential circuits. | Daniel E. Holcomb, Wenchao Li, Sanjit A. Seshia |
| 2009 | DATE | Optimizations of an application-level protocol for enhanced dependability in FlexRay. | Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2008 | FMCAD | A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance. | Orna Kupferman, Wenchao Li, Sanjit A. Seshia |
| 2008 | ICCAD | Game-theoretic timing analysis. | Sanjit A. Seshia, Alexander Rakhlin |
| 2007 | DATE | Interactive presentation: Automatic model generation for black box real-time systems. | Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, Sanjit A. Seshia |
| 2007 | DATE | Verification-guided soft error resilience. | Sanjit A. Seshia, Wenchao Li, Subhasish Mitra |
| 2007 | ICCAD | Formal verification at higher levels of abstraction. | Daniel Kroening, Sanjit A. Seshia |
| 2007 | ICWS | An Application ofWeb-Service Interfaces. | Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia |
| 2007 | PLDI | Sketching stencils. | Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodk, Vijay A. Saraswat, Sanjit A. Seshia |
| 2007 | TACAS | Deciding Bit-Vector Arithmetic with Abstraction. | Randal E. Bryant, Daniel Kroening, Jol Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady |
| 2006 | ASPLOS | Combinatorial sketching for finite programs. | Armando Solar-Lezama, Liviu Tancau, Rastislav Bodk, Sanjit A. Seshia, Vijay A. Saraswat |
| 2005 | CADE | Decision Procedures Customized for Formal Verification. | Randal E. Bryant, Sanjit A. Seshia |
| 2005 | ICSE | Automatic discovery of API-level exploits. | Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant |
| 2005 | SP | Semantics-Aware Malware Detection. | Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant |
| 2004 | CAV | Abstraction-Based Satisfiability Solving of Presburger Arithmetic. | Daniel Kroening, Jol Ouaknine, Sanjit A. Seshia, Ofer Strichman |
| 2004 | CAV | The UCLID Decision Procedure. | Shuvendu K. Lahiri, Sanjit A. Seshia |
| 2004 | LICS | Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. | Sanjit A. Seshia, Randal E. Bryant |
| 2003 | CAV | Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods. | Sanjit A. Seshia, Randal E. Bryant |
| 2003 | DAC | A hybrid SAT-based decision procedure for separation logic with uninterpreted functions. | Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant |
| 2002 | CAV | Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions. | Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia |
| 2002 | CAV | A Modular Checker for Multithreaded Programs. | Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia |
| 2002 | CAV | Deciding Separation Formulas with SAT. | Ofer Strichman, Sanjit A. Seshia, Randal E. Bryant |
| 2002 | FMCAD | Modeling and Verification of Out-of-Order Microprocessors in UCLID. | Shuvendu K. Lahiri, Sanjit A. Seshia, Randal E. Bryant |
| 1999 | FM | A Translation of Statecharts to Esterel. | Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar |
| 1999 | SAFECOMP | A Graphical Environment for the Specification and Verification of Reactive Systems. | A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar |