Master's Theses & Technical Reports - Sanjit A. Seshia


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]