Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability.
Reinhard TartlerAnil KurmusBernhard HeinlothValentin RothbergAndreas RuprechtDaniela DorneanuRüdiger KapitzaWolfgang Schröder-PreikschatDaniel LohmannPublished in: HotDep (2012)