MIT Theses: Recent submissions

Now showing items 40-42 of 64510

    • Type Checker for Annotated Assembly Programs 

      Zanders, Julian (Massachusetts Institute of Technology, 2025-05)
      The rise of speculative-execution attacks, such as Spectre, has presented a security challenge to developers. Speculation on secret data can expose it, but running without speculation is suboptimal for runtime. To fix this, ...

    • Real-Time Non-Line-of-Sight Imaging Using Single-Photon LiDAR 

      Tsao, Nicholas (Massachusetts Institute of Technology, 2025-05)
      Robust real-time imaging systems have allowed for many advances in robotics and autonomous navigation, though limited visibility in many real-world settings remains a significant challenge. Non-Line-of-Sight (NLOS) sensing ...

    • Automated Finetuning via Sparse Autoencoders 

      Sivakumar, Ragulan (Massachusetts Institute of Technology, 2025-05)
      Currently, the field of interpretability is traditionally confined to diagnostics. However, this thesis presents a novel method using interpretability in sparse autoencoders to achieve better performance in small models ...