Graduate Theses: Recent submissions
Now showing items 28-30 of 36341
-
A precision method for the determination of dew points of complex gaseous systems
(Massachusetts Institute of Technology, 1936) -
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 ...
