Take Out the {TraChe}: Maximizing (Tra)nsactional Ca(che) Hit Rate
.
2023. Take Out the {TraChe}: Maximizing (Tra)nsactional Ca(che) Hit Rate. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :419--439.
Optimizing Dynamic Neural Networks with Brainstorm
.
2023. Optimizing Dynamic Neural Networks with Brainstorm. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :797--815.
Accountable authentication with privacy protection: The Larch system for universal login
.
2023. Accountable authentication with privacy protection: The Larch system for universal login. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :81--98.
Automated Verification of Idempotence for Stateful Serverless Applications
.
2023. Automated Verification of Idempotence for Stateful Serverless Applications. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :887--910.
Chardonnay: Fast and General Datacenter Transactions for {On-Disk} Databases
.
2023. Chardonnay: Fast and General Datacenter Transactions for {On-Disk} Databases. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :343--360.
Global Capacity Management With Flux
.
2023. Global Capacity Management With Flux. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :589--606.
Conveyor: {One-Tool-Fits-All} Continuous Software Deployment at Meta
.
2023. Conveyor: {One-Tool-Fits-All} Continuous Software Deployment at Meta. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :325--342.
Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with {TCLOCKS}
.
2023. Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with {TCLOCKS}. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :1--16.
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems
.
2023. Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :911--929.
Hydro: {Surrogate-Based} Hyperparameter Tuning Service in Datacenters
.
2023. Hydro: {Surrogate-Based} Hyperparameter Tuning Service in Datacenters. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :757--777.