Sanjit A. Seshia

9 papers at tracked venues · 7 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

NeurIPS ×5 AAAI ×1 AAMAS ×1 CCS ×1 OOPSLA ×1

Frequent coauthors

Niklas Lauffer

×3

Ameesh Shah

×2

Justin Wong

×2

Joseph E. Gonzalez

×2

Federico Mora

×2

Sahil Bhatia

×2

Lauren Pick

×1

Amanda Xu

×1

Ankush Desai

×1

Aws Albarghouthi

×1

Thomas Chen

×1

Nikhil Pitta

×1

Papers

Checking Observational Correctness of Database Systems
OOPSLA 2025 ·
Lauren Pick
,
Amanda Xu
,
Ankush Desai
, Sanjit A. Seshia,
Aws Albarghouthi
Learning Symbolic Task Decompositions for Multi-Agent Teams
AAMAS 2025 ·
Ameesh Shah
,
Niklas Lauffer
,
Thomas Chen
,
Nikhil Pitta
, Sanjit A. Seshia
Robust and Diverse Multi-Agent Learning via Rational Policy Gradient
NeurIPS 2025 ·
Niklas Lauffer
,
Ameesh Shah
,
Micah Carroll
, Sanjit A. Seshia,
Stuart J. Russell
,
Michael Dennis
SimpleStrat: Diversifying Language Model Generation with Stratification
NeurIPS 2025 ·
Justin Wong
,
Yury Orlovskiy
,
Alexander Shypula
,
Michael Luo
, Sanjit A. Seshia,
Joseph E. Gonzalez
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes
AAAI 2024 ·
Amar Shah
,
Federico Mora
, Sanjit A. Seshia
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
NeurIPS 2024 ·
Beyazit Yalcinkaya
,
Niklas Lauffer
,
Marcell Vazquez-Chanlatte
, Sanjit A. Seshia
SemPat: From Hyperproperties to Attack Patterns for Scalable Analysis of Microarchitectural Security
CCS 2024 ·
Adwait Godbole
,
Yatin A. Manerkar
, Sanjit A. Seshia
Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
NeurIPS 2024 ·
Federico Mora
,
Justin Wong
,
Haley Lepe
,
Sahil Bhatia
,
Karim Elmaaroufi
,
George Varghese
,
Joseph E. Gonzalez
,
Elizabeth Polgreen
, Sanjit A. Seshia
Verified Code Transpilation with LLMs
NeurIPS 2024 ·
Sahil Bhatia
,
Jie Qiu
,
Niranjan Hasabnis
, Sanjit A. Seshia,
Alvin Cheung