ASPLOS

\documentclass[sigconf,screen]{acmart}
\usepackage{graphicx}
\usepackage{amsmath,amssymb}
\usepackage{booktabs}

\acmConference[ASPLOS '26]{ACM International Conference on Architectural Support for Programming Languages and Operating Systems}{April 2026}{City, Country}
\acmISBN{978-1-4503-XXXX-X/26/04}
\acmDOI{10.1145/XXXXXXX.XXXXXXX}
\setcopyright{acmlicensed}
\copyrightyear{2026}
\acmYear{2026}

\begin{document}

\title{Sylph: Kernel-Bypass Networking for Serverless\\with Hardware Rate-Limiting}

\author{First Last}
\affiliation{\institution{University of Example}\country{Country}}
\email{[email protected]}
\author{Jane Doe}
\affiliation{\institution{Example Research Labs}\country{Country}}
\email{[email protected]}
\author{John Smith}
\affiliation{\institution{University of Example}\country{Country}}
\email{[email protected]}
\renewcommand{\shortauthors}{Last et al.}

\begin{abstract}
Serverless platforms pack many short-lived functions onto shared hosts,
making kernel-bypass networking attractive for latency but fraught for
tenant isolation. Sylph is a cross-stack design combining user-space
networking, SR-IOV-style virtualization, and per-tenant hardware
rate-limiting in a commodity SmartNIC. Sylph reduces p99 network
latency by 8$\times$ while preserving strict tenant isolation at 2000+
concurrent functions per host.
\end{abstract}

\keywords{serverless, kernel bypass, SmartNIC, isolation}
\maketitle

\section{Introduction}
Cold starts, tail latencies, and noisy neighbors define the serverless
networking problem. Kernel-bypass is the natural solution but has
undermined isolation historically.

\section{Background}
DPDK, SPDK, SR-IOV, eBPF networking, Firecracker.

\section{Sylph Design}
Sylph adds a per-tenant rate-limiter in the SmartNIC data path and a
minimal trusted kernel module that mediates queue setup and teardown:
\begin{equation}
  r_t(i) = \min\big( r_\text{max}(i),\; c_t - \text{util}(i) \big).
\end{equation}

\section{Implementation}
Sylph is 12k LOC of Rust and 4k lines of P4 for the SmartNIC data plane.

\section{Evaluation}
\begin{table}[t]
\centering
\begin{tabular}{lcc}
\toprule
Setup & p50 ($\mu$s) & p99 ($\mu$s) \\
\midrule
Kernel TCP         & 94 & 2{,}840 \\
DPDK user-space    & 11 & 320 \\
\textbf{Sylph}     & \textbf{8} & \textbf{42} \\
\bottomrule
\end{tabular}
\caption{Network latency under 2000 concurrent tenants.}
\end{table}

\section{Conclusion}
Cross-stack co-design finally reconciles kernel-bypass performance with
the isolation demands of serverless.

\bibliographystyle{ACM-Reference-Format}
\bibliography{refs}
\end{document}