Seshia, Sanjit A.

Syntax-guided synthesis

Alur, R., Bodik, R., Juniwal, G., Martin, M. M. K., Raghothaman, M., Seshia, S. A., Singh, R., Solar-Lezama, A., Torlak, E., & Udupa, A. (2013) · 2013 Formal Methods in Computer-Aided Design

Logic, programming, and type systemsFormal Methods in Verification

Cited by 656

Oracle-guided component-based program synthesis

Jha, S., Gulwani, S., Seshia, S. A., & Tiwari, A. (2010) · Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1

Logic, programming, and type systemsSoftware Testing and Debugging Techniques

Cited by 510

Toward verified artificial intelligence

Seshia, S. A., Sadigh, D., & Sastry, S. S. (2022) · Communications of the ACM

Formal Methods in VerificationSafety Systems Engineering in Autonomy

Cited by 215

On the Utility of Learning about Humans for Human-AI Coordination

Carroll, M., Shah, R., Ho, M. K., Griffiths, T. L., Seshia, S. A., Abbeel, P., & Dragan, A. (2019) · arXiv

Reinforcement Learning in RoboticsArtificial Intelligence in Games

Cited by 168

Sketching stencils

Solar-Lezama, A., Arnold, G., Tancau, L., Bodik, R., Saraswat, V., & Seshia, S. (2007) · Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation

Parallel Computing and Optimization TechniquesComputer Graphics and Visualization Techniques

Cited by 149

Towards Verified Artificial Intelligence

Seshia, S. A., Sadigh, D., & Sastry, S. S. (2016) · arXiv

Formal Methods in VerificationSafety Systems Engineering in Autonomy

Cited by 142

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components

Dreossi, T., Donzé, A., & Seshia, S. A. (2019) · Journal of Automated Reasoning

Formal Methods in VerificationSafety Systems Engineering in Autonomy

Cited by 124

A Formal Foundation for Secure Remote Execution of Enclaves

Subramanyan, P., Sinha, R., Lebedev, I., Devadas, S., & Seshia, S. A. (2017) · Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security

Security and Verification in ComputingLogic, programming, and type systems

Cited by 119

Scenic: a language for scenario specification and data generation

Fremont, D. J., Kim, E., Dreossi, T., Ghosh, S., Yue, X., Sangiovanni-Vincentelli, A. L., & Seshia, S. A. (2023) · Machine Learning

Bayesian Modeling and Causal InferenceAdversarial Robustness in Machine Learning

Cited by 112

Counterexample-Guided Data Augmentation

Dreossi, T., Ghosh, S., Yue, X., Keutzer, K., Sangiovanni-Vincentelli, A., & Seshia, S. A. (2018) · Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence

Adversarial Robustness in Machine LearningMachine Learning and Data Classification

Cited by 60

Combining Induction, Deduction, and Structure for Verification and Synthesis

Seshia, S. A. (2015) · Proceedings of the IEEE

Formal Methods in VerificationLogic, programming, and type systems

Cited by 38

Verified Code Transpilation with LLMs

Bhatia, S., Qiu, J., Hasabnis, N., Seshia, S., & Cheung, A. (2024) · Advances in Neural Information Processing Systems 37

Logic, programming, and type systemsSoftware Engineering Research

Cited by 12

Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Dalrymple, D. "., Skalse, J., Bengio, Y., Russell, S., Tegmark, M., Seshia, S., Omohundro, S., Szegedy, C., Goldhaber, B., Ammann, N., et al. (2024) · arXiv

Safety Systems Engineering in AutonomyFormal Methods in Verification

Cited by 12

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning

Yalcinkaya, B., Lauffer, N., Vazquez-Chanlatte, M., & Seshia, S. (2024) · Advances in Neural Information Processing Systems 37

Reinforcement Learning in Roboticssemigroups and automata theory

Cited by 3

ScenicNL: Generating Probabilistic Scenario Programs from Natural Language

Elmaaroufi, K., Shanker, D., Cismaru, A., Vazquez-Chanlatte, M., Sangiovanni-Vincentelli, A., Zaharia, M., & Seshia, S. A. (2024) · arXiv

Natural Language Processing TechniquesSoftware Engineering Research

Cited by 1