Sanjit A. Seshia

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 208

Top Venues

CoRR

CDC

CAV (1)

Publications

Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
SMT-Based Dynamic Multi-Robot Task Allocation. NFM (2024)
Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
SMT-Based Dynamic Multi-Robot Task Allocation. CoRR (2024)
Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan J. Witwicki, Sanjit A. Seshia
LM: Learning Automata from Examples using Natural Language Oracles. CoRR (2024)
Adwait Godbole, Kevin Cheang, Yatin A. Manerkar, Sanjit A. Seshia
Lifting Micro-Update Models from RTL for Formal Security Analysis. ASPLOS (2) (2024)
Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia
SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns. CoRR (2024)
Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia
Deep Policy Optimization with Temporal Logic Constraints. CoRR (2024)
Amar Shah, Federico Mora, Sanjit A. Seshia
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes. AAAI (2024)
Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
Verified Code Transpilation with LLMs. CoRR (2024)
Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia
Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages. CoRR (2024)
Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations. CoRR (2024)
Karim Elmaaroufi, Devan Shanker, Ana Cismaru, Marcell Vazquez-Chanlatte, Alberto L. Sangiovanni-Vincentelli, Matei Zaharia, Sanjit A. Seshia
Generating Probabilistic Scenario Programs from Natural Language. CoRR (2024)
Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, Sanjit A. Seshia
Modelling and Verification of Security-Oriented Resource Partitioning Schemes. FMCAD (2023)
Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia
Message Chains for Distributed System Verification. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Yixuan Li, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia
Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis. CoRR (2023)
Amar Shah, Federico Mora, Sanjit A. Seshia
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes. CoRR (2023)
Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR (2023)
Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Context-Aided Variable Elimination for Requirement Engineering. CoRR (2023)
Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CoRR (2023)
Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung
Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper). ECOOP (2023)
Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. RV (2023)
Beyazit Yalcinkaya, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (11) (2023)
Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia
Towards Building Verifiable CPS using Lingua Franca. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CAV (1) (2023)
Ameesh Shah, Jonathan A. DeCastro, John Gideon, Beyazit Yalcinkaya, Guy Rosman, Sanjit A. Seshia
Specification-Guided Data Aggregation for Semantically Aware Imitation Learning. CoRR (2023)
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Scenic: a language for scenario specification and data generation. Mach. Learn. 112 (10) (2023)
Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies. CoRR (2023)
Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia
Learning Formal Specifications from Membership and Preference Queries. CoRR (2023)
Sheng-Jung Yu, Inigo Incer, Valmik Prabhu, Anwesha Chattoraj, Eric Vin, Daniel J. Fremont, Ankur Mehta, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry, Sanjit A. Seshia
Symbiotic CPS Design-Space Exploration through Iterated Optimization. CPS-IoT Week Workshops (2023)
Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia
Learning Monitor Ensembles for Operational Design Domains. RV (2023)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis. CoRR (2022)
Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. FMCAD (2022)
Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
Learning Monitorable Operational Design Domains for Assured Autonomy. ATVA (2022)
Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. CoRR (2022)
Abdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning. AAAI (2022)
Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia
Automated Conversion of Axiomatic to Operational Models: Theory and Practice. FMCAD (2022)
Yash Vardhan Pant, Balasaravanan Thoravi Kumaravel, Ameesh Shah, Erin Kraemer, Marcell Vazquez-Chanlatte, Kshitij Kulkarni, Bjoern Hartmann, Sanjit A. Seshia
Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs. ITSC (2022)
Sanjit A. Seshia, Dorsa Sadigh, S. Shankar Sastry
Toward verified artificial intelligence. Commun. ACM 65 (7) (2022)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
From Interface Automata to Hypercontracts. Principles of Systems Design (2022)
Kevin Cheang, Cameron Rasmussen, Dayeol Lee, David W. Kohlbrenner, Krste Asanovic, Sanjit A. Seshia
Verifying RISC-V Physical Memory Protection. CoRR (2022)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Hypercontracts. NFM (2022)
Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste Asanovic
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. CCS (2022)
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS (2022)
Sicheng Zhao, Xiangyu Yue, Shanghang Zhang, Bo Li, Han Zhao, Bichen Wu, Ravi Krishna, Joseph E. Gonzalez, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Kurt Keutzer
A Review of Single-Source Deep Unsupervised Visual Domain Adaptation. IEEE Trans. Neural Networks Learn. Syst. 33 (2) (2022)
Ritwik Gupta, Alexander M. Bayen, Sarah Rohrschneider, Adrienne Fulk, Andrew Reddie, Sanjit A. Seshia, Shankar Sastry, Janet Napolitano
Emerging Technology and Policy Co-Design Considerations for the Safe and Transparent Use of Small Unmanned Aerial Systems. CoRR (2022)
Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia
Automated Conversion of Axiomatic to Operational Models: Theory and Practice. CoRR (2022)
Vijay Ganesh, Sanjit A. Seshia, Somesh Jha
Machine learning and logic: a new frontier in artificial intelligence. Formal Methods Syst. Des. 60 (3) (2022)
Sanjit A. Seshia
Explorations in cyber-physical systems education. Commun. ACM 65 (5) (2022)
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS (2022)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis. CAV (1) (2022)
Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste Asanovic
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. CoRR (2022)
Victoria Tuck, Yash Vardhan Pant, Sanjit A. Seshia, S. Shankar Sastry
DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication. CoRR (2022)
Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia
Satisfiability and Synthesis Modulo Oracles. VMCAI (2022)
Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia
Addressing the IEEE AV Test Challenge with Scenic and VerifAI. CoRR (2021)
Sebastian Junges, Nils Jansen, Sanjit A. Seshia
Enforcing Almost-Sure Reachability in POMDPs. CAV (2) (2021)
Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia
Addressing the IEEE AV Test Challenge with Scenic and VerifAI. AITest (2021)
Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. RV (2021)
Yash Vardhan Pant, He Yin, Murat Arcak, Sanjit A. Seshia
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications. ACC (2021)
Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia
Parallel and Multi-objective Falsification with Scenic and VerifAI. RV (2021)
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia
Runtime Monitors for Markov Decision Processes. CAV (2) (2021)
Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption. IEEE Trans. Autom. Control. 66 (5) (2021)
Abdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Sanjit A. Seshia
Scenic4RL: Programmatic Modeling and Generation of Reinforcement Learning Environments. CoRR (2021)
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CAV (2) (2021)
Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia
Parallel and Multi-Objective Falsification with Scenic and VerifAI. CoRR (2021)
Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia
Satisfiability and Synthesis Modulo Oracles. CoRR (2021)
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
Synthesizing Pareto-Optimal Interpretations for Black-Box Models. FMCAD (2021)
Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Safety in Autonomous Driving: Can Tools Offer Guarantees? DAC (2021)
Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia
PSec: Programming Secure Distributed Systems using Enclaves. AsiaCCS (2021)
Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia
MedleySolver: Online SMT Algorithm Selection. SAT (2021)
Shromona Ghosh, Yash Vardhan Pant, Hadi Ravanbakhsh, Sanjit A. Seshia
Counterexample-Guided Synthesis of Perception Models and Control. ACC (2021)
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CoRR (2021)
Francis Indaheng, Edward Kim, Kesav Viswanadha, Jay Shenoy, Jinkyu Kim, Daniel J. Fremont, Sanjit A. Seshia
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation. CoRR (2021)
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia
Runtime Monitoring for Markov Decision Processes. CoRR (2021)
Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Sanjit A. Seshia, Fahiem Bacchus
Learning Branching Heuristics for Propositional Model Counting. AAAI (2021)
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
Synthesizing Pareto-Optimal Interpretations for Black-Box Models. CoRR (2021)
Marcell Vazquez-Chanlatte, Ameesh Shah, Gil Lederman, Sanjit A. Seshia
Demonstration Informed Specification Search. CoRR (2021)
Victoria Tuck, Yash Vardhan Pant, Sanjit A. Seshia, S. Shankar Sastry
DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication. CCTA (2021)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Hypercontracts. CoRR (2021)
Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI. CoRR (2020)
Sanjit A. Seshia
Algorithmic Improvisation for Dependable Intelligent Autonomy (Invited Talk). FSTTCS (2020)
Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. Seshia
Synthesis in Uclid5. CoRR (2020)
Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia
A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors. CVPR (2020)
Elizabeth Polgreen, Sanjit A. Seshia
SynRG: Syntax Guided Synthesis of Invariants with Alternating Quantifiers. CoRR (2020)
Yash Vardhan Pant, He Yin, Murat Arcak, Sanjit A. Seshia
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications. CoRR (2020)
Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. RV (2020)
Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI. CAV (1) (2020)
Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. CoRR (2020)
Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Edward A. Lee, Sanjit A. Seshia, Fahiem Bacchus
Learning Branching Heuristics for Propositional Model Counting. CoRR (2020)
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Scenic: A Language for Scenario Specification and Data Generation. CoRR (2020)
Sanjit A. Seshia, Somesh Jha, Tommaso Dreossi
Semantic Adversarial Deep Learning. IEEE Des. Test 37 (2) (2020)
Marcell Vazquez-Chanlatte, Sanjit A. Seshia
Maximum Causal Entropy Specification Inference from Demonstrations. CAV (2) (2020)
Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. ITSC (2020)
Sebastian Junges, Nils Jansen, Sanjit A. Seshia
Enforcing Almost-Sure Reachability in POMDPs. CoRR (2020)
Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. CoRR (2020)
Sicheng Zhao, Xiangyu Yue, Shanghang Zhang, Bo Li, Han Zhao, Bichen Wu, Ravi Krishna, Joseph E. Gonzalez, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Kurt Keutzer
A Review of Single-Source Deep Unsupervised Visual Domain Adaptation. CoRR (2020)
Nicolas Chan, Elizabeth Polgreen, Sanjit A. Seshia
Gradient Descent over Metagrammars for Syntax-Guided Synthesis. CoRR (2020)
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. J. Autom. Reason. 63 (4) (2019)
Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia
Formal Policy Learning from Demonstrations for Reachability Properties. ICRA (2019)
Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Scenic: a language for scenario specification and scene generation. PLDI (2019)
Shromona Ghosh, Somil Bansal, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. HSCC (2019)
Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
A Formalization of Robustness for Deep Neural Networks. CoRR (2019)

Sanjit A. Seshia.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sanjit A. Seshia