ALPS: An Adaptive Learning, Priority OS Scheduler for Serverless Functions
Innovative OS scheduler for serverless functions, combining SRPT and proportional-share scheduling to optimize performance of short-lived tasks while preventing starvation of longer functions.
WingFuzz: Implementing Continuous Fuzzing for Database Management Systems
Continuous fuzzing technique for enterprise-level DBMSs, addressing challenges in SQL grammar, codebase evolution, and anomaly analysis. Discovered 236 bugs across 12 major DBMSs.
MSFRD: Mutation Similarity Based SSD Failure Rating and Diagnosis for Complex Production Environments
Innovative SSD failure prediction scheme using mutation similarity for data centers. Improves precision and recall, enables early rating and progressive diagnosis for enhanced storage reliability.
High-density Mobile Cloud Gaming on Edge SoC Clusters
Innovative system enabling high-density mobile cloud gaming on SoC Clusters through efficient resource partitioning and cross-SoC offloading, increasing game density by 4.5x while maintaining performance.
CPC: Flexible, Secure, and Efficient CVM Maintenance with Confidential Procedure Calls
Innovative approach for secure and efficient maintenance of Confidential Virtual Machines, introducing Confidential Procedure Calls to enhance performance, security, and flexibility in cloud computing environments.
TileClipper: Lightweight Selection of Regions of Interest from Videos for Traffic Surveillance
Innovative video surveillance system reducing data sent to cloud by 22% while maintaining 92% detection accuracy. Utilizes tile sampling for efficient traffic monitoring on low-cost edge devices.
Enhancing Resource Management of the World's Largest PCDN System for On-Demand Video Streaming
Explore ByteDance's PCDN+ system, enhancing video content delivery with cost-efficient edge resources. Learn about its centralized/decentralized framework, improved resource utilization, and higher service speeds.
Expeditious High-Concurrency MicroVM SnapStart in Persistent Memory with Augmented Hypervisor
Innovative system PASS leverages persistent memory for efficient MicroVM SnapStart execution, reducing execution time and doubling concurrency compared to existing solutions.
More is Different: Prototyping and Analyzing a New Form of Edge Server with Massive Mobile SoCs
Innovative edge server design using mobile SoCs for improved energy efficiency in cloud gaming, video transcoding, and deep learning inference, with insights on performance and cost-effectiveness.
gVulkan - Scalable GPU Pooling for Pixel-Grained Rendering in Ray Tracing
Innovative multi-GPU acceleration for Vulkan-based ray tracing, enabling cloud offloading and dynamic workload balancing for enhanced rendering performance and scalability.
MAGPY: Compiling Eager Mode DNN Programs by Monitoring Execution States
Optimizing deep learning programs by generating complete operator graphs through runtime monitoring, enhancing performance for complex Python-based DNN implementations.
A Secure, Fast, and Resource-Efficient Serverless Platform with Function REWIND
Innovative serverless platform REWIND enhances security and efficiency by resetting containers, using kernel-level snapshots, and optimizing memory usage, improving performance while maintaining data isolation between function requests.
Diagnosing Application-Network Anomalies in Production Clouds
Innovative system for detecting and diagnosing application-network anomalies in large-scale cloud environments, using TCP retransmission metrics for efficient, accurate, and timely issue resolution.
KEPC-Push: A Knowledge-Enhanced Proactive Content Push Strategy for Edge-Assisted Video Feed Streaming
Innovative strategy for optimizing video feed streaming using knowledge graphs to predict content popularity and improve resource allocation, resulting in reduced bandwidth costs and faster download speeds.
PeRF - Preemption-enabled RDMA Framework for Multi-tenant Environments
Innovative RDMA framework for multi-tenant cloud environments, offering performance isolation and work conservation without compromising bare-metal performance through a novel RNIC preemption mechanism.
Kivi: Verification for Cluster Management in Kubernetes
Kivi: A pioneering system for verifying Kubernetes controllers and configurations, addressing challenges in cloud infrastructure management through model checking and optimization techniques.
Empirical Study of Rust-for-Linux: Success, Dissatisfaction, and Compromise
Empirical study on Rust-for-Linux project, analyzing its impact on kernel safety and performance. Explores successes, challenges, and compromises in integrating Rust into the Linux ecosystem.
Harmonizing Efficiency and Practicability: Optimizing Resource Utilization in Serverless Computing
Optimizing serverless computing resource utilization with Jiagu: novel techniques for accurate prediction, efficient scaling, and improved deployment density while maintaining QoS.
Balancing Analysis Time and Bug Detection: Daily Development-friendly Bug Detection in Linux
Explore FiTx, a framework for fast, daily bug detection in Linux. Learn how it balances analysis time and bug-finding capabilities, outperforming existing tools in speed and effectiveness.
Telescope: Telemetry for Gargantuan Memory Footprint Applications
Innovative telemetry technique for efficient hot/cold data detection in terabyte-scale applications, enabling improved memory tiering and performance in data centers with tiered memory architectures.
Monarch: A Fuzzing Framework for Distributed File Systems
Innovative fuzzing framework for distributed file systems, addressing complexity and scalability challenges through multi-node architecture, fault injection, and semantic checking.