5th Year M.S. | M.S.

5th Year M.S.

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]

M.S.

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]