MIT Libraries

The mission of the MIT libraries is to create and sustain an intuitive, trusted information environment that enables learning and the advancement of knowledge at MIT. We are committed to developing strategies and systems that promote discovery and facilitate worldwide scholarly communication.

Sub-communities within this community

Collections in this community

Recent Submissions

  • 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 ...

View more