The MIT Libraries is completing a major upgrade to DSpace@MIT. Starting May 5 2026, DSpace will remain functional, viewable, searchable, and downloadable, however, you will not be able to edit existing collections or add new material. We are aiming to have full functionality restored by May 18, 2026, but intermittent service interruptions may occur. Please email dspace-lib@mit.edu with any questions. Thank you for your patience as we implement this important upgrade.

Graduate Theses: Recent submissions

Now showing items 232-234 of 36544

    • AbsInt-AI: Language Models for Abstract Interpretation 

      Wang, Michael (Massachusetts Institute of Technology, 2025-05)
      Static program analysis is a foundational technique in software engineering for reasoning about program behavior. Traditional static analysis algorithms model programs as logical systems with well-defined semantics, enabling ...

    • Optimizing Video Streaming at Scale Across Devices, Networks, and Temporal Drift 

      Sharma, Harsha (Massachusetts Institute of Technology, 2025-05)
      Video-streaming platforms tune dozens of playback parameters across thousands of client devices. Our measurements from Prime Video show that device-specific tuning can enhance stream quality. Yet traditional blackbox ...

    • Oreo: Protecting ASLR Against Microarchitectural Attacks 

      Song, Shixin (Massachusetts Institute of Technology, 2025-05)
      Address Space Layout Randomization (ASLR) is one of the most prominently deployed mitigations against memory corruption attacks. ASLR randomly shuffles program virtual addresses to prevent attackers from knowing the location ...