5th Year M.S.
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]