About
I am an associate professor at
MIT CSAIL. Before joining MIT, I completed my Ph.D. at
Stanford University and spent a year at Google working on datacenter networking. My current research focuses on cloud computing and systems for machine learning. I am interested in building systems that make datacenters faster, more efficient, and more secure.
My research has won several awards, including research awards from Google and
Meta, and the Sloan Research Fellowship.
Students
Postdoctoral Researchers:
PhD Students:
Alumni:
Research
- Towards Resource-Efficient Compound AI Systems. Gohar Irfan Chaudhry, Esha Choukse, Íñigo Goiri, Rodrigo Fonseca, Adam Belay, and Ricardo Bianchini. HotOS 2025.
picture_as_pdf paper
slideshow slides
- Quicksand: Harnessing Stranded Datacenter Resources with Granular Computing. Zhenyuan Ruan, Seo Jin Park, Marcos K. Aguilera, Adam Belay, and Malte Schwarzkopf. NSDI 2025.
picture_as_pdf paper
slideshow slides
- Unifying serverless and microservice workloads with XOS. Ariel Szekely, Adam Belay, Robert Morris, and Frans Kaashoek. SOSP 2024.
picture_as_pdf paper
- Making Kernel Bypass Practical for the Cloud with Junction. Joshua Fried, Gohar Irfan Chaudhry, Enrique Saurez, Esha Choukse, Íñigo Goiri, Sameh Elnikety, Rodrigo Fonseca, and Adam Belay. NSDI 2024.
picture_as_pdf paper
slideshow slides
code code
- LDB: An Efficient Latency Profiling Tool for Multithreaded Applications. Inho Cho, Seo Jin Park, Ahmed Saeed, Mohammad Alizadeh, and Adam Belay. NSDI 2024.
picture_as_pdf paper
slideshow slides
code code
- Harvesting Idle Memory for Application-managed Soft State with Midas. Yifan Qiao, Zhenyuan Ruan, Haoran Ma, Adam Belay, Miryung Kim, and Harry Xu. NSDI 2024.
picture_as_pdf paper
slideshow slides
code code
- Unleashing True Utility Computing with Quicksand. Zhenyuan Ruan, Shihang Li, Kaiyan Fan, Marcos K. Aguilera, Adam Belay, Seo Jin Park, Malte Schwarzkopf. HotOS 2023.
picture_as_pdf paper
slideshow slides
- Nu: Achieving Microsecond-Scale Resource Fungibility with Logical Processes. Zhenyuan Ruan, Seo Jin Park, Marcos K. Aguilera, Adam Belay, and Malte Schwarzkopf. NSDI 2023.
picture_as_pdf paper
slideshow slides
movie talk
code code
- Protego: Overload Control for Applications with Unpredictable Lock Contention. Inho Cho, Ahmed Saeed, Seo Jin Park, Mohammad Alizadeh and Adam Belay. NSDI 2023.
picture_as_pdf paper
slideshow slides
movie talk
- Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony. Yifan Qiao, Chenxi Wang, Zhenyuan Ruan, Adam Belay, Qingda Lu, Yiying Zhang, Miryung Kim, and Guoqing Harry Xu. NSDI 2023.
picture_as_pdf paper
slideshow slides
movie talk
- Treehouse: A Case For Carbon-Aware Datacenter Software. Thomas Anderson, Adam Belay, Mosharaf Chowdhury, Asaf Cidon, and Irene Zhang. HotCarbon 2022.
picture_as_pdf paper
movie talk
- Efficient Strong Scaling Through Burst Parallel Training. Seo Jin Park, Joshua Fried, Sunghyun Kim, Mohammad Alizadeh, and Adam Belay. MLSys 2022.
picture_as_pdf paper
slideshow slides
code code
- Performance Evolution of Mitigating Transient Execution Attacks. Jonathan Behrens, Adam Belay, and Frans Kaashoek. EuroSys 2022.
picture_as_pdf paper
slideshow slides
code code
- Caladan: Mitigating Interference at Microsecond Timescales. Joshua Fried, Zhenyuan Ruan, Amy Ousterhout, and Adam Belay. OSDI 2020.
picture_as_pdf paper
slideshow slides
movie talk
code code
- Overload Control for µs-scale RPCs with Breakwater. Inho Cho, Ahmed Saeed, Joshua Fried, Seo Jin Park, Mohammad Alizadeh, and Adam Belay. OSDI 2020.
picture_as_pdf paper
slideshow slides
movie talk
code code
- AIFM: High-Performance, Application-Integrated Far Memory. Zhenyuan Ruan, Malte Schwarzkopf, Marcos Aguilera, and Adam Belay. OSDI 2020.
picture_as_pdf paper
slideshow slides
movie talk
code code
- Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract. Jonathan Behrens, Anton Cao, Cel Skeggs, Adam Belay, Frans Kaashoek, and Nickolai Zeldovich. OSDI 2020.
picture_as_pdf paper
slideshow slides
movie talk
code code
- Notary: A Device for Secure Transaction Approval. Anish Athalye, Adam Belay, Frans Kaashoek, Robert Morris, Nickolai Zeldovich. SOSP 2019.
picture_as_pdf paper
slideshow slides
code code
- Just In Time Delivery: Leveraging Operating Systems Knowledge for Better Datacenter Congestion Control. Amy Ousterhout, Adam Belay, Irene Zhang. HotCloud 2019.
picture_as_pdf paper
- Shenango: Achieving High CPU Efficiency for Latency-sensitive Datacenter Workloads. Amy Ousterhout, Joshua Fried, Jonathan Behrens, Adam Belay, and Hari Balakrishnan. NSDI 2019.
picture_as_pdf paper
slideshow slides
code code
- Shinjuku: Preemptive Scheduling for Microsecond-scale Tail Latency. Kostis Kaffes, Timothy Chong, Jack Tigar Humphries, Adam Belay, David Mazières, and Christos Kozyrakis. NSDI 2019.
picture_as_pdf paper
slideshow slides
code code
- The IX Operating System: Combining Low Latency, High Throughput, and Efficiency in a Protected Dataplane. Adam Belay, George Prekas, Mia Primorac, Ana Klimovic, Sam Grossman, Christos Kozyrakis, and Edouard Bugnion. TOCS 2016.
picture_as_pdf paper
- Energy Proportionality and Workload Consolidation for Latency-critical Applications. George Prekas, Mia Primorac, Adam Belay, Christos Kozyrakis, and Edouard Bugnion. SOCC 2015.
picture_as_pdf paper
- IX: A Protected Dataplane Operating System for High Throughput and Low Latency. Adam Belay, George Prekas, Ana Klimovic, Sam Grossman, Christos Kozyrakis, and Edouard Bugnion. OSDI 2014. Awarded best paper
picture_as_pdf paper
slideshow slides
code code
- Hacking blind. Andrea Bittau, Adam Belay, Ali Mashtizadeh, David Mazières, and Dan Boneh. IEEE S&P 2014.
picture_as_pdf paper
- Dune: Safe User-level Access to Privileged CPU Features. Adam Belay, Andrea Bittau, Ali Mashtizadeh, David Terei, David Mazières, and Christos Kozyrakis. OSDI 2012.
picture_as_pdf paper
slideshow slides
code code
- An Operating System for Multicore and Clouds: Mechanisms and Implementation. David Wentzlaff, Charles Gruenwald Ⅲ, Nathan Beckmann, Kevin Modzelewski, Adam Belay, Lamia Youseff, Jason Miller, and Anant Agarwal. SOCC 2010.
picture_as_pdf paper
Software
- Junction: Unlocks the performance benefits of kernel-bypass for unmodified Linux binaries.
- Caladan: Eliminates the noisy neighbor problem through fast core allocation.
- Shenango: Delivers microsecond networking latency without busy polling.
- CPUIdle: Limits power use when CPU cores are idle in the Linux Kernel.
Teaching
- 6.180: Intro to Computer Systems—Spring'18, Spring'19, Spring'20, Spring'21, Spring'22, Spring'23, Spring'24
- 6.181: Operating Systems Engineering (Undergraduate)—Fall'19, Fall'21, Fall'23
- 6.581: Operating Systems (Graduate Seminar)—Fall'20, Fall'22
- 6.828: Operating Systems Engineering—Fall'17, Fall'18
Service
Program Committee:
- OSDI 2021, 2022, 2023, 2024
- NSDI 2023, 2024
- SOSP 2021, 2023
- EuroSys 2019, 2022
- HotCloud 2022
- VEE 2020
- USENIX ATC 2019
Last updated June 27th, 2025.