Master's Theses & Technical Reports - Sanjit A. Seshia
M.S.
ScenicGym: Reinforcement Learning with Data Generation Using Scenic
Kai Xu [2025]
Oracle-Guided Heap Interpolant Synthesis
Nishant Totla [2016]
Analyzing Data-Dependent Timing and Timing Repeatability with GameTime
Zachariah Wasson [2014]
CPSGrader: Auto-Grading and Feedback Generation for Cyber-Physical Systems Education
Garvit Juniwal [2014]
Formal Modeling and Verification of CloudProxy
Wei Yang Tan [2014]
Formal Methods for Reverse Engineering Gate-Level Netlists
Wenchao Li [2013]
Reachability Analysis of Lazy Linear Hybrid Automata
Susmit Kumar Jha [2011]
Beaver: An SMT Solver for Quantifier-free Bit-vector Logic
Rhishikesh Shrikant Limaye [2010]
5th Year M.S.
Abstracting Architectures: Two Techniques in Formal Hardware Security Verification
Alejandro Sanchez Ocegueda [2025]
Improving Auto-Formalization to UCLID5 with LLMs and Formal Methods
Anirudh Chaudhary [2025]
Querying Labeled Time Series Data with Scenario Programs
Devan Shanker [2024]
Assisting Reinforcement Learning in Real-time Strategy Environments with SCENIC
Qiancheng Wu [2022]
Lifting Hardware Models from Implementations for Verification
Jonathan Shi [2022]
Formally Verifying Trusted Execution Environments with UCLID5
Pranav Gaddamadugu [2021]
Scalable Techniques for Sampling-Based Falsification of AI-Based Cyber Physical Systems
Kesav Viswanadha [2021]
A Language-Based Approach to Run-Time Assurance for Autonomous Systems
Sumukh Shivakumar [2020]
Generating Semantic Adversarial Examples through Differentiable Rendering
Lakshya Jain [2020]
PSec: A Programming Language for Secure Distributed Computing
Shivendra Kushwah [2020]
Secure Speculation: From Vulnerability to Assurances with UCLID5
Cameron Rasmussen [2019]
Two Optimal Path Problems in Synthetic Biology
Matthew Fong [2015]