Media Summary: Microsecond Consensus for Microsecond Applications Marcos K. Aguilera and Naama Ben-David, VMware Research; Rachid ... RedLeaf: Isolation and Communication in a Safe AIFM: High-Performance, Application-Integrated Far Memory Zhenyuan Ruan, MIT CSAIL; Malte Schwarzkopf, Brown University; ...

Osdi 20 Do Os Abstractions - Detailed Analysis & Overview

Microsecond Consensus for Microsecond Applications Marcos K. Aguilera and Naama Ben-David, VMware Research; Rachid ... RedLeaf: Isolation and Communication in a Safe AIFM: High-Performance, Application-Integrated Far Memory Zhenyuan Ruan, MIT CSAIL; Malte Schwarzkopf, Brown University; ... Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract Jonathan Behrens, Anton Cao, Cel ... The CacheLib Caching Engine: Design and Experiences at Scale Benjamin Berg, Carnegie Mellon University; Daniel S. Berger, ... Semeru: A Memory-Disaggregated Managed Runtime Chenxi Wang, Haoran Ma, Shi Liu, and Yuanqi Li, UCLA; Zhenyuan Ruan, ...

Caladan: Mitigating Interference at Microsecond Timescales Joshua Fried and Zhenyuan Ruan, MIT CSAIL; Amy Ousterhout, UC ... Tolerating Slowdowns in Replicated State Machines using Copilots Khiem Ngo, Princeton University; Siddhartha Sen, Microsoft ... Fault-tolerant and transactional stateful serverless workflows Haoran Zhang, University of Pennsylvania; Adney Cardoza, Rutgers ... Aragog: Scalable Runtime Verification of Distributed Middleboxes Nofel Yaseen, University of Pennsylvania; Behnaz Arzani and ... DORY: An Encrypted Search System with Distributed Trust Emma Dauterman, Eric Feng, Ellen Luo, Raluca Ada Popa, and Ion ...

Photo Gallery

OSDI '20 - Do OS abstractions make sense on FPGAs?
OSDI '20 - Theseus: an experiment in operating system structure and state management
OSDI '20 - Microsecond Consensus for Microsecond Applications
OSDI '20 - RedLeaf: Isolation and Communication in a Safe Operating System
OSDI '20 - AIFM: High-Performance, Application-Integrated Far Memory
OSDI '20 - Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation...
OSDI '20 - The CacheLib Caching Engine: Design and Experiences at Scale
OSDI '20 - Semeru: A Memory-Disaggregated Managed Runtime
OSDI '20 - Caladan: Mitigating Interference at Microsecond Timescales
OSDI '20 - Tolerating Slowdowns in Replicated State Machines using Copilots
OSDI '20 - Fault-tolerant and transactional stateful serverless workflows
OSDI '20 - Aragog: Scalable Runtime Verification of Distributed Middleboxes
View Detailed Profile
OSDI '20 - Do OS abstractions make sense on FPGAs?

OSDI '20 - Do OS abstractions make sense on FPGAs?

Do OS abstractions

OSDI '20 - Theseus: an experiment in operating system structure and state management

OSDI '20 - Theseus: an experiment in operating system structure and state management

Theseus: an experiment in

OSDI '20 - Microsecond Consensus for Microsecond Applications

OSDI '20 - Microsecond Consensus for Microsecond Applications

Microsecond Consensus for Microsecond Applications Marcos K. Aguilera and Naama Ben-David, VMware Research; Rachid ...

OSDI '20 - RedLeaf: Isolation and Communication in a Safe Operating System

OSDI '20 - RedLeaf: Isolation and Communication in a Safe Operating System

RedLeaf: Isolation and Communication in a Safe

OSDI '20 - AIFM: High-Performance, Application-Integrated Far Memory

OSDI '20 - AIFM: High-Performance, Application-Integrated Far Memory

AIFM: High-Performance, Application-Integrated Far Memory Zhenyuan Ruan, MIT CSAIL; Malte Schwarzkopf, Brown University; ...

OSDI '20 - Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation...

OSDI '20 - Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation...

Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract Jonathan Behrens, Anton Cao, Cel ...

OSDI '20 - The CacheLib Caching Engine: Design and Experiences at Scale

OSDI '20 - The CacheLib Caching Engine: Design and Experiences at Scale

The CacheLib Caching Engine: Design and Experiences at Scale Benjamin Berg, Carnegie Mellon University; Daniel S. Berger, ...

OSDI '20 - Semeru: A Memory-Disaggregated Managed Runtime

OSDI '20 - Semeru: A Memory-Disaggregated Managed Runtime

Semeru: A Memory-Disaggregated Managed Runtime Chenxi Wang, Haoran Ma, Shi Liu, and Yuanqi Li, UCLA; Zhenyuan Ruan, ...

OSDI '20 - Caladan: Mitigating Interference at Microsecond Timescales

OSDI '20 - Caladan: Mitigating Interference at Microsecond Timescales

Caladan: Mitigating Interference at Microsecond Timescales Joshua Fried and Zhenyuan Ruan, MIT CSAIL; Amy Ousterhout, UC ...

OSDI '20 - Tolerating Slowdowns in Replicated State Machines using Copilots

OSDI '20 - Tolerating Slowdowns in Replicated State Machines using Copilots

Tolerating Slowdowns in Replicated State Machines using Copilots Khiem Ngo, Princeton University; Siddhartha Sen, Microsoft ...

OSDI '20 - Fault-tolerant and transactional stateful serverless workflows

OSDI '20 - Fault-tolerant and transactional stateful serverless workflows

Fault-tolerant and transactional stateful serverless workflows Haoran Zhang, University of Pennsylvania; Adney Cardoza, Rutgers ...

OSDI '20 - Aragog: Scalable Runtime Verification of Distributed Middleboxes

OSDI '20 - Aragog: Scalable Runtime Verification of Distributed Middleboxes

Aragog: Scalable Runtime Verification of Distributed Middleboxes Nofel Yaseen, University of Pennsylvania; Behnaz Arzani and ...

OSDI '20 - DORY: An Encrypted Search System with Distributed Trust

OSDI '20 - DORY: An Encrypted Search System with Distributed Trust

DORY: An Encrypted Search System with Distributed Trust Emma Dauterman, Eric Feng, Ellen Luo, Raluca Ada Popa, and Ion ...