252 citations · 335 across the 4 of their papers we have counts for
1 paper · 2 filters
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…