conftrace_

rust language

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

operating system (2) runtime evolution (1) language safety (1) fault isolation (1) device driver (1) rust programming (1) os modularity (1) live evolution (1) runtime persistence (1) component modularity (1)

Papers

RedLeaf: Isolation and Communication in a Safe Operating System OSDI 2020 Theseus: an Experiment in Operating System Structure and State Management OSDI 2020