Lehrstuhl für Informatik 4 (Systemsoftware)

Generic Checkpointing Support for Stream-based State-Machine Replication (2023) Lawniczak L, Ammon M, Distler T Conference contribution SoK: Scalability Techniques for BFT Consensus (2023) Berger C, Schwarz-Rüsch S, Vogel A, Bleeke K, Jehl L, Reiser HP, Kapitza R Conference contribution, Conference Contribution On the Performance of NVRAM-based Operating Systems: A Case Study with Linux and FreeBSD (2023) Rabenstein J, Nguyen DT, Giersch O, Eichler C, Hönig T, Nolte J, Schröder-Preikschat W Other publication type Trustworthy confidential virtual machines for the masses (2023) Galanou A, Bindlish K, Preibsch L, Pignolet YA, Fetzer C, Kapitza R Conference contribution, Conference Contribution Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols (2023) Bessani A, Correia M, Distler T, Kapitza R, Esteves-Veríssimo P, Yu J Other publication type NVall: A Crash-Resistant and Kernel-Compatible Memory Allocator for NVRAM (2023) Nguyen DT, Wiedemann O, Nolte J, Schröder-Preikschat W Conference contribution, Conference Contribution Micro Replication (2023) Distler T, Eischer M, Lawniczak L Conference contribution Towards Just-In-Time Compiling of Operating Systems (2023) Ott M, Raffeck P, Sieh V, Schröder-Preikschat W Conference contribution, Original article Ecology-Aware Material Use as a Pervasive Trait in Intermittent Real-Time Systems (2023) Raffeck P, Wägemann P Conference contribution, Abstract of a poster FusionClock: Energy-Optimal Clock-Tree Reconfigurations for Energy-Constrained Real-Time Systems (2023) Dengler E, Raffeck P, Schuster S, Wägemann P Conference contribution, Conference Contribution