Cocoon: Custom-Fitted Kernel Compiled on Demand. - Bernhard Heinloth; Marco Ammon; Dustin T. Nguyen; Timo Hönig; Volkmar Sieh; Wolfgang Schröder-Preikschat (PLOS@SOSP, 2019)

Generic Checkpointing Support for Stream-based State-Machine Replication. - Laura Lawniczak; Marco Ammon; Tobias Distler (PaPoC@EuroSys, 2023)