An operating system for multicore and clouds: mechanisms and implementation. - David Wentzlaff; Charles Gruenwald III; Nathan Beckmann; Kevin Modzelewski; Adam Belay; Lamia Youseff; Jason E. Miller; Anant Agarwal (SoCC, 2010)

Dune: Safe User-level Access to Privileged CPU Features. - Adam Belay; Andrea Bittau; Ali José Mashtizadeh; David Terei; David Mazières; Christos Kozyrakis (OSDI, 2012)

IX: A Protected Dataplane Operating System for High Throughput and Low Latency. - Adam Belay; George Prekas; Ana Klimovic; Samuel Grossman; Christos Kozyrakis; Edouard Bugnion (OSDI, 2014)

Hacking Blind. - Andrea Bittau; Adam Belay; Ali José Mashtizadeh; David Mazières; Dan Boneh (IEEE Symposium on Security and Privacy, 2014)

Energy proportionality and workload consolidation for latency-critical applications. - George Prekas; Mia Primorac; Adam Belay; Christos Kozyrakis; Edouard Bugnion (SoCC, 2015)

Unleashing hardware potential through better operating system abstractions. - Adam Belay (2016)

The IX Operating System: Combining Low Latency, High Throughput, and Efficiency in a Protected Dataplane. - Adam Belay; George Prekas; Mia Primorac; Ana Klimovic; Samuel Grossman; Christos Kozyrakis; Edouard Bugnion (ACM Trans. Comput. Syst., 2017)

Corrigendum to "The IX Operating System: Combining Low Latency, High Throughput and Efficiency in a Protected Dataplane". - Adam Belay; George Prekas; Mia Primorac; Ana Klimovic; Samuel Grossman; Christos Kozyrakis; Edouard Bugnion (ACM Trans. Comput. Syst., 2017)

Just In Time Delivery: Leveraging Operating Systems Knowledge for Better Datacenter Congestion Control. - Amy Ousterhout; Adam Belay; Irene Zhang (HotCloud, 2019)

Shinjuku: Preemptive Scheduling for μsecond-scale Tail Latency. - Kostis Kaffes; Timothy Chong; Jack Tigar Humphries; Adam Belay; David Mazières; Christos Kozyrakis (NSDI, 2019)

Shenango: Achieving High CPU Efficiency for Latency-sensitive Datacenter Workloads. - Amy Ousterhout; Joshua Fried; Jonathan Behrens; Adam Belay; Hari Balakrishnan (NSDI, 2019)

Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract. - Jonathan Behrens; Anton Cao; Cel Skeggs; Adam Belay; M. Frans Kaashoek; Nickolai Zeldovich (OSDI, 2020)

Overload Control for µs-scale RPCs with Breakwater. - Inho Cho; Ahmed Saeed 001; Joshua Fried; Seo Jin Park; Mohammad Alizadeh; Adam Belay (OSDI, 2020)

Caladan: Mitigating Interference at Microsecond Timescales. - Joshua Fried; Zhenyuan Ruan; Amy Ousterhout; Adam Belay (OSDI, 2020)

AIFM: High-Performance, Application-Integrated Far Memory. - Zhenyuan Ruan; Malte Schwarzkopf; Marcos K. Aguilera; Adam Belay (OSDI, 2020)

Notary: A Device for Secure Transaction Approval. - Anish Athalye; Adam Belay; M. Frans Kaashoek; Robert Morris 005; Nickolai Zeldovich (login Usenix Mag., 2020)

Improving Efficiency and Performance Through Faster Scheduling Mechanisms. - Adam Belay (HiPC, 2021)

Performance evolution of mitigating transient execution attacks. - Jonathan Behrens; Adam Belay; M. Frans Kaashoek (EuroSys, 2022)

Efficient Strong Scaling Through Burst Parallel Training. - Seo Jin Park; Joshua Fried; Sunghyun Kim; Mohammad Alizadeh; Adam Belay (MLSys, 2022)

Treehouse: A Case For Carbon-Aware Datacenter Software. - Thomas E. Anderson; Adam Belay; Mosharaf Chowdhury; Asaf Cidon; Irene Zhang (CoRR, 2022)

Unleashing True Utility Computing with Quicksand. - Zhenyuan Ruan; Shihang Li; Kaiyan Fan; Marcos K. Aguilera; Adam Belay; Seo Jin Park; Malte Schwarzkopf (HotOS, 2023)

Protego: Overload Control for Applications with Unpredictable Lock Contention. - Inho Cho; Ahmed Saeed 001; Seo Jin Park; Mohammad Alizadeh; Adam Belay (NSDI, 2023)

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 005; Miryung Kim; Guoqing Harry Xu (NSDI, 2023)

Nu: Achieving Microsecond-Scale Resource Fungibility with Logical Processes. - Zhenyuan Ruan; Seo Jin Park; Marcos K. Aguilera; Adam Belay; Malte Schwarzkopf (NSDI, 2023)

LDB: An Efficient Latency Profiling Tool for Multithreaded Applications. - Inho Cho; Seo Jin Park; Ahmed Saeed 001; Mohammad Alizadeh; Adam Belay (NSDI, 2024)

Making Kernel Bypass Practical for the Cloud with Junction. - Joshua Fried; Gohar Irfan Chaudhry; Enrique Saurez; Esha Choukse; Íñigo Goiri; Sameh Elnikety; Rodrigo Fonseca; Adam Belay (NSDI, 2024)

Harvesting Idle Memory for Application-managed Soft State with Midas. - Yifan Qiao; Zhenyuan Ruan; Haoran Ma; Adam Belay; Miryung Kim; Harry Xu 001 (NSDI, 2024)

Unifying serverless and microservice workloads with SigmaOS. - Ariel Szekely; Adam Belay; Robert Morris 005; M. Frans Kaashoek (SOSP, 2024)

Junctiond: Extending FaaS Runtimes with Kernel-Bypass. - Enrique Saurez; Joshua Fried; Gohar Irfan Chaudhry; Esha Choukse; Íñigo Goiri; Sameh Elnikety; Adam Belay; Rodrigo Fonseca (CoRR, 2024)

Towards Resource-Efficient Compound AI Systems. - Gohar Irfan Chaudhry; Esha Choukse; Íñigo Goiri; Rodrigo Fonseca; Adam Belay; Ricardo Bianchini (HotOS, 2025)

Quicksand: Harnessing Stranded Datacenter Resources with Granular Computing. - Zhenyuan Ruan; Shihang Li; Kaiyan Fan; Seo Jin Park; Marcos K. Aguilera; Adam Belay; Malte Schwarzkopf (NSDI, 2025)

Checkmate: Zero-Overhead Model Checkpointing via Network Gradient Replication. - Ankit Bhardwaj; Weiyang Wang; Jeremy Carin; Adam Belay; Manya Ghobadi (CoRR, 2025)