Graduate Theses
Theses by Department
- Comparative Media Studies
- Computation for Design and Optimization
- Computational and Systems Biology
- Department of Aeronautics and Astronautics
- Department of Architecture
- Department of Biological Engineering
- Department of Biology
- Department of Brain and Cognitive Sciences
- Department of Chemical Engineering
- Department of Chemistry
- Department of Civil and Environmental Engineering
- Department of Earth, Atmospheric, and Planetary Sciences
- Department of Economics
- Department of Electrical Engineering and Computer Sciences
- Department of Humanities
- Department of Linguistics and Philosophy
- Department of Materials Science and Engineering
- Department of Mathematics
- Department of Mechanical Engineering
- Department of Nuclear Science and Engineering
- Department of Ocean Engineering
- Department of Physics
- Department of Political Science
- Department of Urban Studies and Planning
- Engineering Systems Division
- Harvard-MIT Program of Health Sciences and Technology
- Institute for Data, Systems, and Society
- Media Arts & Sciences
- Operations Research Center
- Program in Real Estate Development
- Program in Writing and Humanistic Studies
- Science Writing
- Sloan School of Management
- Supply Chain Management
- System Design & Management
- Technology and Policy Program
Recent Submissions
-
AbsInt-AI: Language Models for Abstract Interpretation
(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
(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
(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 ...
RSS 1.0