On the Challenge of Sound Code for Operating Systems.
Jonathan KlimtMartin KröningStefan LankesAntonello MontiPublished in: PLOS@SOSP (2023)
Keyphrases
- operating system
- linux kernel
- address space
- windows xp
- computer systems
- virtual machine
- protection scheme
- microsoft windows
- processor core
- windows nt
- programs written
- multicore processors
- memory management
- source code
- distributed systems
- discretionary access control
- database
- multi threaded
- data sources
- operating environment
- virtual memory