Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sanjit A. Seshia
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
ICSE 2025 profile
NASA Formal Methods 2024 profile
SPLASH 2023 profile
Not registered as user
Name:
Sanjit A. Seshia
Country:
United States
Affiliation:
University of California, Berkeley
Contributions
2025
SPLASH
Author of Checking Observational Correctness of Database Systems within the OOPSLA-track
LLM4Code
Author of Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis within the Large Language Models for Code-track
2024
NFM
Author of SMT-Based Dynamic Multi-Robot Task Allocation within the NFM 2024-track
2023
SPLASH
Author of Message Chains for Distributed System Verification within the OOPSLA-track
Share
x
Mon 27 Oct 21:55