About

Adam Belay Jamieson Career Development Associate Professor Computer Science & Artificial Intelligence Laboratory Department of Electrical Engineering and Computer Science MIT emailabelay (at) mit (dot) edu location_onStata Center, G996

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

Postdoctoral Researchers:

• Ankit Bhardwaj

PhD Students:

• Gohar Chaudhry
• Josh Fried
• Zain Ruan
• Ben Holmes
• Baltasar Dinis

Undergraduate Students:

• Lana Honcharuk

Alumni:

• Inho Cho—PhD'23 → Software Engineer, Google
• Kaiyan Fan—Undergraduate'22 → Software Engineer, Jump Trading
• Seo Jin Park—PostDoc'22 → Assistant Professor, USC
• Jonathon Behrens—PhD'22 → Senior Engineer, Microsoft
• Amy Ousterhout—PhD'19 → Assistant Professor, UCSD

Research

• Quicksand: Harnessing Stranded Datacenter Resources with Granular Computing. Zhenyuan Ruan, Seo Jin Park, Marcos K. Aguilera, Adam Belay, and Malte Schwarzkopf. NSDI 2025.
  To appear...

• Unifying serverless and microservice workloads with XOS. Ariel Szekely, Adam Belay, Robert Morris, and Frans Kaashoek. SOSP 2024.
  To appear...

• 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

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 August 8th, 2024.