conftrace_

safe programming language

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

runtime persistence (1) component modularity (1) runtime evolution (1) rust language (1) rust programming (1) os modularity (1) live evolution (1) operating system (1) state management (1) fault recovery (1)

Papers

Theseus: an Experiment in Operating System Structure and State Management OSDI 2020