|
2026 |
Efficient Remote Memory Ordering for Non-Coherent Systems.
Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '26). [More Details] [Publisher Page] [pdf] |
|
2025 |
Water Footprint of Datacenter Applications: Methodological Implications of Manufacturing, Operational, and Decommissioning Phases.
Proceedings of the 2025 ACM Symposium on Cloud Computing (SoCC '25). Short paper. [Publisher Page] [pdf] |
|
2025 |
GridGreen: Integrating Serverless Computing in HPC Systems for Performance and Sustainability.
Proceedings of the 2025 ACM Symposium on Cloud Computing (SoCC '25). [Publisher Page] [pdf] |
|
2025 |
Auto-reconfiguration for Latency Minimization in CPU-based DNN Serving.
Proceedings of the 42nd International Conference on Machine Learning (ICML '25). [More Details] [Publisher Page] [pdf] |
|
2025 |
Stop Taking the Scenic Route: the Shortest Distance Between the CPU and the NIC is MMIO.
Proceedings of the 2025 Workshop on Hot Topics in Operating Systems (HotOS '25). [Publisher Page] [pdf] |
|
2025 |
Remote Memory Prefetching: Is Coarse-grained Fine?
Companion of the 16th ACM/SPEC International Conference on Performance Engineering (ICPE '25). [More Details] [Publisher Page] [pdf] |
|
2025 |
ObjecTier: Non-Invasively Boosting Memory Tiering Performance.
Companion of the 16th ACM/SPEC International Conference on Performance Engineering (ICPE '25). [More Details] [Publisher Page] [pdf] |
|
2025 |
Not Just Fast, But Also Sustainable: Rethinking Network Routing.
Proceedings of the Middleware for Autonomous AIoT Systems in the Computing Continuum (MAIoT '25). [Publisher Page] [pdf] |
|
2024 |
Fair, Efficient Multi-Resource Scheduling for Stateless Serverless Functions with Anubis.
2024 IEEE 24th International Symposium on Cluster, Cloud and Internet Computing (CCGrid '24). [Publisher Page] |
|
2023 |
Efficient Linearizability Checking for Actor-Based Systems.
Software: Practice and Experience 53(11). [Publisher Page] [pdf] |
|
2023 |
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI '23). [Publisher Page] [pdf] |
|
2023 |
Persistent Memory-Aware Scheduling for Serverless Workloads.
2023 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW '23). [Publisher Page] [pdf] |
|
2023 |
A Case of Multi-Resource Fairness for Serverless Workflows.
Companion of the 14th ACM/SPEC International Conference on Performance Engineering (ICPE '23 Companion). [Publisher Page] [pdf] |
|
2022 |
Cache-Coherent Accelerators for Persistent Memory Crash Consistency.
Proceedings of the 14th ACM Workshop on Hot Topics in Storage and File Systems (HotStorage '22). Intel Best Paper Award. [More Details] [Publisher Page] [pdf] |
|
2022 |
XRP: In-Kernel Storage Functions with eBPF.
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI '22). Jay Lepreau Best Paper Award. [More Details] [Publisher Page] [pdf] |
|
2021 |
BPF for Storage: An Exokernel-Inspired Approach.
Workshop on Hot Topics in Operating Systems (HotOS '21). [More Details] [Publisher Page] [pdf] |
|
2021 |
Achieving High Throughput and Elasticity in a Larger-than-Memory Store.
Proceedings of the VLDB Endowment. [Publisher Page] [pdf] |
|
2021 |
NrOS: Effective Replication and Sharing in an Operating System.
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21). [More Details] [Publisher Page] [pdf] |
|
2020 |
Adaptive Placement for In-memory Storage Functions.
Proceedings of the 2020 USENIX Annual Technical Conference (USENIX ATC '20). [More Details] [Publisher Page] [pdf] |
|
2020 |
Compact Leakage-Free Support for Integrity and Reliability.
Proceedings of the 47th International Symposium on Computer Architecture (ISCA '20). [Publisher Page] [pdf] |
|
2020 |
Auto-Scaling Cloud-Based Memory-Intensive Applications.
2020 IEEE 13th International Conference on Cloud Computing (CLOUD '20). [Publisher Page] |
|
2020 |
On the Impact of Isolation Costs on Locality-aware Cloud Scheduling.
Proceedings of the 12th USENIX Conference on Hot Topics in Cloud Computing (HotCloud'20). [More Details] [Publisher Page] [pdf] |
|
2019 |
Narrowing the Gap Between Serverless and its State with Storage Functions.
Proceedings of the ACM Symposium on Cloud Computing, SoCC 2019, Santa Cruz, CA, USA, November 20-23, 2019. [More Details] [Publisher Page] [pdf] |
|
2019 |
Flashield: a Hybrid Key-Value Cache that Controls Flash Write Amplification.
Proceedings of the Sixteenth USENIX Symposium on Networked Systems Design and Implementation (NSDI '19). [Publisher Page] [pdf] |
|
2019 |
DPI: The Data Processing Interface for Modern Networks.
Ninth Biennial Conference on Innovative Data Systems Research (CIDR'19). [Publisher Page] [pdf] |
|
2019 |
Cloud Functions for Fast and Robust Resource Auto-Scaling.
Tenth International Conference on Communication Systems and Networks (COMSNETS'19). [Publisher Page] [pdf] |
|
2019 |
GenCache: Leveraging In-Cache Operators for Efficient Sequence Alignment.
Proceedings of the 52nd IEEE/ACM International Symposium on Microarchitecture (MICRO'19). [Publisher Page] [pdf] |
|
2018 |
MobileStream: A Scalable, Programmable and Evolvable Mobile Core Control Plane Platform.
Proceedings of the 14th International Conference on Emerging Networking Experiments and Technologies (CoNEXT'18). [Publisher Page] |
|
2018 |
Splinter: Bare-Metal Extensions for Multi-Tenant Low-Latency Storage.
Proceedings of the Thirteenth USENIX Symposium on Operating Systems Design and Implementation (OSDI '18). [More Details] [Publisher Page] [pdf] [code] |
|
2018 |
Taming Performance Variability.
Proceedings of the Thirteenth USENIX Symposium on Operating Systems Design and Implementation (OSDI '18). [Publisher Page] [pdf] |
|
2018 |
ECHO: A Reliable Distributed Cellular Core Network for Hyper-scale Public Clouds.
Proceedings of the 24th Annual International Conference on Mobile Computing and Networking (Mobicom'18). [More Details] [Publisher Page] [pdf] |
|
2018 |
Tailwind: Fast and Atomic RDMA-based Replication.
Proceedings of the 2018 USENIX Annual Technical Conference (USENIX ATC '18). [More Details] [Publisher Page] [pdf] |
|
2018 |
Towards a Shared-Everything Database on Distributed Log-Structured Storage.
Proceedings of the 2018 USENIX Annual Technical Conference (USENIX ATC '18). [More Details] [Publisher Page] [pdf] |
|
2017 |
Rocksteady: Fast Data Migration for Low-latency In-memory Storage.
Proceedings of the Twenty-Sixth ACM Symposium on Operating Systems Principles (SOSP '17). [More Details] [Publisher Page] [pdf] [code] |
|
2017 |
Memshare: Memory Resource Sharing in Multi-tenant Web Caches.
Proceedings of the 2017 USENIX Conference on Annual Technical Conference (USENIX ATC'17). [More Details] [Publisher Page] [pdf] [code] |
|
2017 |
JavaScript for Extending Low-latency In-memory Key-value Stores.
Proceedings of the 9th USENIX Conference on Hot Topics in Cloud Computing (HotCloud'17). [More Details] [Publisher Page] [pdf] |
|
2017 |
Beyond Simple Request Processing with RAMCloud.
IEEE Data Engineering Bulletin 40(1). [More Details] [Publisher Page] [pdf] |
|
2016 |
To Copy or Not to Copy: Making In-Memory Databases Fast on Modern NICs.
4th Workshop on In-memory Data Management. [Publisher Page] [pdf] |
|
2016 |
Toward Rigorous Design of Domain-Specific Distributed Systems.
4th IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2016, Austin, Texas, May 15, 2016. [Publisher Page] |
|
2016 |
Toward Bringing Distributed Systems Design Upon Rigorous Footing.
IEEE Workshop on Formal Methods and Integration (FMi). [Publisher Page] |
|
2015 |
Experience with Rules-Based Programming for Distributed, Concurrent, Fault-Tolerant Code.
Proceedings of the 2015 USENIX Conference on Annual Technical Conference (USENIX ATC'15). [Publisher Page] [pdf] |