Vincent Lannurien
d822cdaa6a
All checks were successful
Build and deploy static pages / build-and-push (push) Successful in 19s
81 lines
4.6 KiB
YAML
81 lines
4.6 KiB
YAML
venue: TOCS
|
|
year: 2024
|
|
selected:
|
|
- title: "PMAlloc: A Holistic Approach to Improving Persistent Memory Allocation"
|
|
authors:
|
|
- Zheng Dang
|
|
- Shuibing He
|
|
- Xuechen Zhang
|
|
- Peiyi Hong
|
|
- Zhenxin Li
|
|
- Xinyu Chen
|
|
- Haozhe Song
|
|
- Xian-He Sun
|
|
- Gang Chen
|
|
tldr: "PMAlloc redesigns persistent memory allocation end-to-end, co-optimizing the allocator's data structures, concurrency, and crash consistency to dramatically reduce allocation overhead."
|
|
why_notable: "Persistent memory is still poorly understood at the allocator level; this paper offers a rare holistic treatment that will inform future PM software stacks."
|
|
- title: "Boki: Towards Data Consistency and Fault Tolerance with Shared Logs in Stateful Serverless Computing"
|
|
authors:
|
|
- Zhipeng Jia
|
|
- Emmett Witchel
|
|
tldr: "Boki introduces a shared-log abstraction for serverless functions that provides strong consistency and fault tolerance without requiring developers to manage state explicitly."
|
|
why_notable: "It reframes stateful serverless as a log-centric problem, offering a clean systems primitive that substantially simplifies correctness guarantees in function-as-a-service platforms."
|
|
- title: "Diciclo: Flexible User-level Services for Efficient Multitenant Isolation"
|
|
authors:
|
|
- Giorgos Kappes
|
|
- Stergios V. Anastasiadis
|
|
tldr: "Diciclo provides a user-level framework that lets services customize their isolation mechanisms without kernel modifications, reducing interference among co-located tenants."
|
|
why_notable: "Multitenant isolation in cloud systems is typically a blunt instrument; this work shows that flexible, low-overhead isolation can be achieved entirely in user space."
|
|
- title: "SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware, and Path-Sensitive Typestate Analysis"
|
|
authors:
|
|
- Tuo Li
|
|
- Jia-Ju Bai
|
|
- Yulei Sui
|
|
- Shi-Min Hu
|
|
tldr: "SPATA applies a summary-based, alias-aware, and path-sensitive typestate analysis to detect resource-management bugs in OS kernels at scale."
|
|
why_notable: "Finding use-after-free and double-free bugs in OS code remains an open challenge; SPATA's precision improvements over prior static analyses make it a practical tool for kernel hardening."
|
|
- title: "Trinity: High-Performance and Reliable Mobile Emulation through Graphics Projection"
|
|
authors:
|
|
- Hao Lin
|
|
- Zhenhua Li
|
|
- Di Gao
|
|
- Yunhao Liu
|
|
- Feng Qian
|
|
- Tianyin Xu
|
|
- Bo Xiao
|
|
- Xiaokang Qin
|
|
tldr: "Trinity projects GPU rendering workloads from a mobile device onto a remote high-performance GPU, enabling faithful, high-throughput mobile emulation."
|
|
why_notable: "Mobile app testing at scale requires accurate emulation of GPU behavior; Trinity's graphics-projection design closes a long-standing fidelity gap in mobile emulators."
|
|
- title: "Optimizing Resource Management for Shared Microservices: A Scalable System Design"
|
|
authors:
|
|
- Shutian Luo
|
|
- Chenyu Lin
|
|
- Kejiang Ye
|
|
- Guoyao Xu
|
|
- Liping Zhang
|
|
- Guodong Yang
|
|
- Huanle Xu
|
|
- Cheng-Zhong Xu
|
|
tldr: "This paper presents a scalable resource-management system for shared microservices that reduces interference and improves utilization in large-scale production deployments."
|
|
why_notable: "Microservice co-location is the norm in modern clouds, yet managing their shared resources at scale remains unsolved; this work delivers practical, production-validated answers."
|
|
- title: "Hardware-Software Collaborative Tiered-Memory Management Framework for Virtualization"
|
|
authors:
|
|
- Sai Sha
|
|
- Chuandong Li
|
|
- Xiaolin Wang
|
|
- Zhenlin Wang
|
|
- Yingwei Luo
|
|
tldr: "A hardware-software co-design framework that transparently manages hot/cold data placement across DRAM and slower memory tiers inside virtual machines."
|
|
why_notable: "As CXL-attached and NVM memory tiers become mainstream in data centers, principled tiered-memory management in hypervisors becomes critical; this paper provides a solid baseline."
|
|
- title: "Component-distinguishable Co-location and Resource Reclamation for High-throughput Computing"
|
|
authors:
|
|
- Laiping Zhao
|
|
- Yushuai Cui
|
|
- Yanan Yang
|
|
- Xiaobo Zhou
|
|
- Tie Qiu
|
|
- Keqiu Li
|
|
- Yungang Bao
|
|
tldr: "This system differentiates micro-components of co-located workloads to reclaim idle resources precisely, boosting overall cluster throughput without violating SLOs."
|
|
why_notable: "Coarse-grained co-location wastes significant cluster capacity; the component-level granularity introduced here sets a new standard for resource-reclamation systems."
|