USENIX | The Advanced Computing Systems Association

Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract

Behrens J, Cao A, Skeggs C, Belay A, M. Kaashoek F, Zeldovich N. 2020. Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :1139--1154.

Protean: {VM} Allocation Service at Scale

Hadary O, Marshall L, Menache I, Pan A, Greeff EE, Dion D, Dorminey S, Joshi S, Chen Y, Russinovich M et al.. 2020. Protean: {VM} Allocation Service at Scale. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :845--861.

Read more about Protean: {VM} Allocation Service at Scale
DBLP
Log in to post comments
Google Scholar
BibTeX

Orchard: Differentially Private Analytics at Scale

Roth E, Zhang H, Haeberlen A, Pierce BC. 2020. Orchard: Differentially Private Analytics at Scale. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :1065--1081.

Read more about Orchard: Differentially Private Analytics at Scale
DBLP
Log in to post comments
Google Scholar
BibTeX

From Global to Local Quiescence: {Wait-Free} Code Patching of {Multi-Threaded} Processes

Rommel F, Dietrich C, Friesel B, Köppen M, Borchert C, Müller M, Spinczyk O, Lohmann D. 2020. From Global to Local Quiescence: {Wait-Free} Code Patching of {Multi-Threaded} Processes. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :651--666.

Building Scalable and Flexible Cluster Managers Using Declarative Programming

Suresh L, Loff J, Kalim F, Jyothi SAbdu, Narodytska N, Ryzhyk L, Gamage S, Oki B, Jain P, Gasch M. 2020. Building Scalable and Flexible Cluster Managers Using Declarative Programming. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :827--844.

Semeru: A {Memory-Disaggregated} Managed Runtime

Wang C, Ma H, Liu S, Li Y, Ruan Z, Nguyen K, Bond MD, Netravali R, Kim M, Xu GHarry. 2020. Semeru: A {Memory-Disaggregated} Managed Runtime. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :261--280.

Read more about Semeru: A {Memory-Disaggregated} Managed Runtime
DBLP
Log in to post comments
Google Scholar
BibTeX

Specification and verification in the field: Applying formal methods to {BPF} just-in-time compilers in the Linux kernel

Nelson L, Van Geffen J, Torlak E, Wang X. 2020. Specification and verification in the field: Applying formal methods to {BPF} just-in-time compilers in the Linux kernel. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :41--61.

Twine: A Unified Cluster Management System for Shared Infrastructure

Tang C, Yu K, Veeraraghavan K, Kaldor J, Michelson S, Kooburat T, Anbudurai A, Clark M, Gogia K, Cheng L et al.. 2020. Twine: A Unified Cluster Management System for Shared Infrastructure. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :787--803.

Read more about Twine: A Unified Cluster Management System for Shared Infrastructure
DBLP
Log in to post comments
Google Scholar
BibTeX

Toward a Generic Fault Tolerance Technique for Partial Network Partitioning

Alfatafta M, Alkhatib B, Alquraan A, Al-Kiswany S. 2020. Toward a Generic Fault Tolerance Technique for Partial Network Partitioning. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :351--368.

Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing

Ruffy F, Wang T, Sivaraman A. 2020. Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :683--699.

Read more about Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing
DBLP
Log in to post comments
Google Scholar
BibTeX

Pages