Sanjit A. Seshia
University of California, Berkeley
H-index: 72
North America-United States
Top articles of Sanjit A. Seshia
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Can LLMs Perform Verified Lifting of Code? | Sahil Bhatia Jie Qiu Sanjit A Seshia Alvin Cheung | 2024/3/14 | |
Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations | arXiv preprint arXiv:2404.18249 | Jie Qiu Colin Cai Sahil Bhatia Niranjan Hasabnis Sanjit A Seshia | 2024/4/28 |
: Learning Automata from Examples using Natural Language Oracles | arXiv preprint arXiv:2402.07051 | Marcell Vazquez-Chanlatte Karim Elmaaroufi Stefan J Witwicki Sanjit A Seshia | 2024/2/10 |
Lifting Micro-Update Models from RTL for Formal Security Analysis | Adwait Godbole Kevin Cheang Yatin A Manerkar Sanjit A Seshia | 2024/4/27 | |
Deep Policy Optimization with Temporal Logic Constraints | arXiv preprint arXiv:2404.11578 | Ameesh Shah Cameron Voloshin Chenxi Yang Abhinav Verma Swarat Chaudhuri | 2024/4/17 |
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes | Proceedings of the AAAI Conference on Artificial Intelligence | Amar Shah Federico Mora Sanjit A Seshia | 2024/3/24 |
SMT-Based Dynamic Multi-Robot Task Allocation | arXiv preprint arXiv:2403.11737 | Victoria Marie Tuck Pei-Wei Chen Georgios Fainekos Bardh Hoxha Hideki Okamoto | 2024/3/18 |
Learning Monitor Ensembles for Operational Design Domains | Hazem Torfah Aniruddha Joshi Shetal Shah S Akshay Supratik Chakraborty | 2023/10/1 | |
ULGEN: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Beyazit Yalcinkaya Hazem Torfah Ankush Desai Sanjit A Seshia | 2023/2/17 |
Ashera; Neural Guided Optimization Modulo Theory | Justin Wong Pei-Wei Chen Tianjun Zhang Joseph Gonzalez Yuandong Tian | 2023/5/11 | |
Compositional Proofs of Information Flow Properties for Hardware-Software Platforms | Kevin Cheang Adwait Godbole Yatin A Manerkar Sanjit A Seshia | 2023/8/9 | |
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications | Beyazit Yalcinkaya Hazem Torfah Daniel J Fremont Sanjit A Seshia | 2023/10/1 | |
A Principled Intelligent Occupational Training of Psychomotor Skills in Virtual Reality | University of California, Berkeley, Technical Report No. UCB/EECS-2023-17 | Edward Kim Zachary Pardos Sanjit A Seshia Bjoern Hartmann | 2023/2/7 |
Symbiotic CPS Design-Space Exploration through Iterated Optimization | Sheng-Jung Yu Inigo Incer Valmik Prabhu Anwesha Chattoraj Eric Vin | 2023/5/9 | |
Learning Formal Specifications from Membership and Preference Queries | arXiv preprint arXiv:2307.10434 | Ameesh Shah Marcell Vazquez-Chanlatte Sebastian Junges Sanjit A Seshia | 2023/7/19 |
Algorithms for context-aided variable elimination | Inigo Incer Albert Benveniste Richard M Murray Alberto L Sangiovanni-Vincentelli Sanjit A Seshia | 2023/1/28 | |
Pacti: Scaling assume-guarantee reasoning for system analysis and design | arXiv preprint arXiv:2303.17751 | Inigo Incer Apurva Badithela Josefine Graebener Piergiuseppe Mallozzi Ayush Pandey | 2023/3/31 |
Automata Conditioned Reinforcement Learning with Experience Replay | Beyazit Yalcinkaya Niklas Lauffer Marcell Vazquez-Chanlatte Sanjit Seshia | 2023/11/27 | |
Towards building verifiable CPS using Lingua Franca | ACM Transactions on Embedded Computing Systems | Shaokai Lin Yatin A Manerkar Marten Lohstroh Elizabeth Polgreen Sheng-Jung Yu | 2023/9/9 |
3D Environment Modeling for Falsification and Beyond with Scenic 3.0 | Eric Vin Shun Kashiwa Matthew Rhea Daniel J Fremont Edward Kim | 2023/7/17 |