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 research focuses on operating systems, runtime systems, and distributed systems. I build systems that make datacenters faster, more efficient, and more secure.
Students
PhD Students:
Postdoctoral Researchers:
Alumni:
Research
- Harvesting Idle Memory for Application-managed Soft State with Midas. Yifan Qiao, Zhenyuan Ruan, Haoran Ma, Adam Belay, Miryung Kim, Harry Xu. NSDI 2024.
To appear...
- 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. OSDI 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
Teaching
Service
Program Committee:
- NSDI 2023, 2024
- OSDI 2021, 2022, 2023
- SOSP 2021, 2023
- EuroSys 2019, 2022
- HotCloud 2022
- VEE 2020
- USENIX ATC 2019
Last updated October 25th, 2023.