Master's Theses & Technical Reports - Christopher Fletcher
M.S.
RTeAAL Sim: Using Tensor Algebra to Represent and Accelerate RTL Simulation
Yan Zhu [2026]
Controlled Preemption: Amplifying Side-Channel Attacks from Userspace
Yongye Zhu [2025]
5th Year M.S.
Learned Hardware Explorers: Enabling Comprehensive Design Space Exploration with Machine Learning
Ronit Nagarapu [2026]
Scaling Hardware Formal Verification
Anish Dhanashekar [2026]