1 paper · 1 filter
Petr Ročkai, Zuzana Baranová, Jan Mrázek +2
In this paper, we describe DiOS, a lightweight model operating system which can be used to execute programs that make use of POSIX APIs. Such executions are fully reproducible: run…