Adam Belay

dblp:14/8279 · DBLP profile ↗
← Back
28ranked-venue papers
5as first author
14since 2021 · last 2026
0000-0003-2222-3611ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Computer networks · 11 · 9 since 2021Software engineering, systems software and programming languages · 10 · 2 first-author · 3 since 2021Systems, architecture and hardware · 6 · 3 first-author · 2 since 2021Security and privacy · 1
YearPublicationVenuePosition
2026 Checkmate: Zero Performance Overhead Model Checkpointing via Network Gradient Replication
Ankit Bhardwaj 0002, Weiyang Wang, Jeremy Carin, Adam Belay, Manya Ghobadi
NSDI4
2026 Unleashing The Potential of Datacenter SSDs by Taming Performance Variability
Gohar Irfan Chaudhry, Ankit Bhardwaj 0002, Zhenyuan Ruan, Adam Belay
NSDI4
2025 Towards Resource-Efficient Compound AI Systems
abstract
Compound AI Systems, integrating multiple interacting components like models, retrievers, and external tools, have emerged as essential for addressing complex AI tasks. However, current implementations suffer from inefficient resource utilization due to tight coupling between application logic and execution details, a disconnect between orchestration and resource management layers, and the perceived exclusiveness between efficiency and quality.
Gohar Irfan Chaudhry, Esha Choukse, Íñigo Goiri, Rodrigo Fonseca, Adam Belay, Ricardo Bianchini
HotOS5
2025 Quicksand: Harnessing Stranded Datacenter Resources with Granular Computing
Zhenyuan Ruan, Kaiyan Fan, Seo Jin Park, Marcos K. Aguilera, Adam Belay, Malte Schwarzkopf
NSDI6
2024 LDB: An Efficient Latency Profiling Tool for Multithreaded Applications
Inho Cho, Seo Jin Park, Ahmed Saeed 0001, Mohammad Alizadeh, Adam Belay
NSDI5
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
NSDI8
2024 Harvesting Idle Memory for Application-managed Soft State with Midas
Yifan Qiao 0002, Zhenyuan Ruan, Adam Belay, Miryung Kim, Guoqing Harry Xu
NSDI4
2024 Unifying serverless and microservice workloads with SigmaOS
abstract
Many cloud applications use both serverless functions, for bursts of stateless parallel computation, and container orchestration, for long-running microservices and tasks that need to interact. Ideally a single platform would offer the union of these systems' capabilities, but neither is sufficient to act as that single platform: serverless functions are lightweight but cannot act as servers with long-term state, while container orchestration offers general-purpose computation but instance start-up takes too long to support burst parallelism.
Ariel Szekely, Adam Belay, Robert Morris 0005, M. Frans Kaashoek
SOSP2
2023 Unleashing True Utility Computing with Quicksand
abstract
Today's clouds are inefficient: their utilization of resources like CPUs, GPUs, memory, and storage is low. This inefficiency occurs because applications consume resources at variable rates and ratios, while clouds offer resources at fixed rates and ratios. This mismatch of offering and consumption styles prevents fully realizing the utility computing vision.
Zhenyuan Ruan, Kaiyan Fan, Marcos K. Aguilera, Adam Belay, Seo Jin Park, Malte Schwarzkopf
HotOS5
2023 Protego: Overload Control for Applications with Unpredictable Lock Contention
Inho Cho, Ahmed Saeed 0001, Seo Jin Park, Mohammad Alizadeh, Adam Belay
NSDI5
2023 Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony
Yifan Qiao 0002, Chenxi Wang 0005, Zhenyuan Ruan, Adam Belay, Qingda Lu, Yiying Zhang 0005, Miryung Kim, Guoqing Harry Xu
NSDI4
2023 Nu: Achieving Microsecond-Scale Resource Fungibility with Logical Processes
Zhenyuan Ruan, Seo Jin Park, Marcos K. Aguilera, Adam Belay, Malte Schwarzkopf
NSDI4
2022 Performance evolution of mitigating transient execution attacks
abstract
Today's applications pay a performance penalty for mitigations to protect against transient execution attacks such as Meltdown [32] and Spectre [25]. Such a reduction in performance directly translates to higher operating costs and degraded user experience. This paper measures the performance impact of these mitigations across a range of processors from multiple vendors and across several security boundaries to identify trends over successive generations of processors and to attribute how much of the overall slowdown is caused by each individual mitigation.
Jonathan Behrens, Adam Belay, M. Frans Kaashoek
EuroSys2
2021 Improving Efficiency and Performance Through Faster Scheduling Mechanisms
Adam Belay
HiPC1
2020 Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract
Jonathan Behrens, Anton Cao, Cel Skeggs, Adam Belay, M. Frans Kaashoek, Nickolai Zeldovich
OSDI4
2020 Overload Control for µs-scale RPCs with Breakwater
Inho Cho, Ahmed Saeed 0001, Joshua Fried, Seo Jin Park, Mohammad Alizadeh, Adam Belay
OSDI6
2020 Caladan: Mitigating Interference at Microsecond Timescales
Joshua Fried, Zhenyuan Ruan, Amy Ousterhout, Adam Belay
OSDI4
2020 AIFM: High-Performance, Application-Integrated Far Memory
Zhenyuan Ruan, Malte Schwarzkopf, Marcos K. Aguilera, Adam Belay
OSDI4
2019 Shinjuku: Preemptive Scheduling for μsecond-scale Tail Latency
Kostis Kaffes, Timothy Chong, Jack Tigar Humphries, Adam Belay, David Mazières, Christoforos E. Kozyrakis
NSDI4
2019 Shenango: Achieving High CPU Efficiency for Latency-sensitive Datacenter Workloads
Amy Ousterhout, Joshua Fried, Jonathan Behrens, Adam Belay, Hari Balakrishnan
NSDI4
2019 Notary: a device for secure transaction approval
abstract
Notary is a new hardware and software architecture for running isolated approval agents in the form factor of a USB stick with a small display and buttons. Approval agents allow factoring out critical security decisions, such as getting the user's approval to sign a Bitcoin transaction or to delete a backup, to a secure environment. The key challenge addressed by Notary is to securely switch between agents on the same device. Prior systems either avoid the problem by building single-function devices like a USB U2F key, or they provide weak isolation that is susceptible to kernel bugs, side channels, or Rowhammer-like attacks. Notary achieves strong isolation using reset-based switching, along with the use of physically separate systems-on-a-chip for agent code and for the kernel, and a machine-checked proof of both the hardware's register-transfer-level design and software, showing that reset-based switching leaks no state. Notary also provides a trustworthy I/O path between the agent code and the user, which prevents an adversary from tampering with the user's screen or buttons.
Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Morris 0005, Nickolai Zeldovich
SOSP2
2017 The IX Operating System: Combining Low Latency, High Throughput, and Efficiency in a Protected Dataplane
abstract
The conventional wisdom is that aggressive networking requirements, such as high packet rates for small messages and μs-scale tail latency, are best addressed outside the kernel, in a user-level networking stack. We present ix , a dataplane operating system that provides high I/O performance and high resource efficiency while maintaining the protection and isolation benefits of existing kernels. ix uses hardware virtualization to separate management and scheduling functions of the kernel (control plane) from network processing (dataplane). The dataplane architecture builds upon a native, zero-copy API and optimizes for both bandwidth and latency by dedicating hardware threads and networking queues to dataplane instances, processing bounded batches of packets to completion, and eliminating coherence traffic and multicore synchronization. The control plane dynamically adjusts core allocations and voltage/frequency settings to meet service-level objectives. We demonstrate that ix outperforms Linux and a user-space network stack significantly in both throughput and end-to-end latency. Moreover, ix improves the throughput of a widely deployed, key-value store by up to 6.4× and reduces tail latency by more than 2× . With three varying load patterns, the control plane saves 46%--54% of processor energy, and it allows background jobs to run at 35%--47% of their standalone throughput.
Adam Belay, George Prekas, Mia Primorac, Ana Klimovic, Samuel Grossman, Christoforos E. Kozyrakis, Edouard Bugnion
ACM Trans. Comput. Syst.1
2017 Corrigendum to "The IX Operating System: Combining Low Latency, High Throughput and Efficiency in a Protected Dataplane"
abstract
No abstract available.
Adam Belay, George Prekas, Mia Primorac, Ana Klimovic, Samuel Grossman, Christoforos E. Kozyrakis, Edouard Bugnion
ACM Trans. Comput. Syst.1
2015 Energy proportionality and workload consolidation for latency-critical applications
abstract
Energy proportionality and workload consolidation are important objectives towards increasing efficiency in large-scale datacenters. Our work focuses on achieving these goals in the presence of applications with μs-scale tail latency requirements. Such applications represent a growing subset of datacenter workloads and are typically deployed on dedicated servers, which is the simplest way to ensure low tail latency across all loads. Unfortunately, it also leads to low energy efficiency and low resource utilization during the frequent periods of medium or low load.
George Prekas, Mia Primorac, Adam Belay, Christoforos E. Kozyrakis, Edouard Bugnion
SoCC3
2014 IX: A Protected Dataplane Operating System for High Throughput and Low Latency
Adam Belay, George Prekas, Ana Klimovic, Samuel Grossman, Christoforos E. Kozyrakis, Edouard Bugnion
OSDI1
2014 Hacking Blind
abstract
We show that it is possible to write remote stack buffer overflow exploits without possessing a copy of the target binary or source code, against services that restart after a crash. This makes it possible to hack proprietary closed-binary services, or open-source servers manually compiled and installed from source where the binary remains unknown to the attacker. Traditional techniques are usually paired against a particular binary and distribution where the hacker knows the location of useful gadgets for Return Oriented Programming (ROP). Our Blind ROP (BROP) attack instead remotely finds enough ROP gadgets to perform a write system call and transfers the vulnerable binary over the network, after which an exploit can be completed using known techniques. This is accomplished by leaking a single bit of information based on whether a process crashed or not when given a particular input string. BROP requires a stack vulnerability and a service that restarts after a crash. We implemented Braille, a fully automated exploit that yielded a shell in under 4,000 requests (20 minutes) against a contemporary nginx vulnerability, yaSSL + MySQL, and a toy proprietary server written by a colleague. The attack works against modern 64-bit Linux with address space layout randomization (ASLR), no-execute page protection (NX) and stack canaries.
Andrea Bittau, Adam Belay, Ali José Mashtizadeh, David Mazières, Dan Boneh
IEEE Symposium on Security and Privacy2
2012 Dune: Safe User-level Access to Privileged CPU Features
Adam Belay, Andrea Bittau, Ali José Mashtizadeh, David Terei, David Mazières, Christoforos E. Kozyrakis
OSDI1
2010 An operating system for multicore and clouds: mechanisms and implementation
abstract
Cloud computers and multicore processors are two emerging classes of computational hardware that have the potential to provide unprecedented compute capacity to the average user. In order for the user to effectively harness all of this computational power, operating systems (OSes) for these new hardware platforms are needed. Existing multicore operating systems do not scale to large numbers of cores, and do not support clouds. Consequently, current day cloud systems push much complexity onto the user, requiring the user to manage individual Virtual Machines (VMs) and deal with many system-level concerns. In this work we describe the mechanisms and implementation of a factored operating system named fos. fos is a single system image operating system across both multicore and Infrastructure as a Service (IaaS) cloud systems. fos tackles OS scalability challenges by factoring the OS into its component system services. Each system service is further factored into a collection of Internet-inspired servers which communicate via messaging. Although designed in a manner similar to distributed Internet services, OS services instead provide traditional kernel services such as file systems, scheduling, memory management, and access to hardware. fos also implements new classes of OS services like fault tolerance and demand elasticity. In this work, we describe our working fos implementation, and provide early performance measurements of fos for both intra-machine and inter-machine operations.
David Wentzlaff, Charles Gruenwald III, Nathan Beckmann, Kevin Modzelewski, Adam Belay, Lamia Youseff, Jason E. Miller, Anant Agarwal
SoCC5