Christoph Borchert

23 papers A* 1A 5B 1C 1Misc 1Journal 3Unranked 8

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Hybrid Hardware/Software Detection of Multi-Bit Upsets in Memory. DSN-W Robin Thunig, Christoph Borchert, Urs Kober, Horst Schirmeier
2023	A	`conf`	Compiler-Implemented Differential Checksums: Effective Detection and Correction of Transient and Permanent Memory Errors. DSN Christoph Borchert, Horst Schirmeier, Olaf Spinczyk
2022	—	`ch.`	Declarative Stream-based Acquisition and Processing of OSData with kCQL. Mach. Learn. under Resour. Constraints Vol. 1 (1) Christoph Borchert, Jochen Streicher, Alexander Lochmann, Olaf Spinczyk
2021	—	`conf`	Decoupling Application Logic from Persistent Memory Frameworks with AspectC++. PLOS@SOSP Marcel Köppen, Birte Friesel, Christoph Borchert, Olaf Spinczyk
2020	A*	`conf`	From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes. OSDI Florian Rommel, Christian Dietrich, Birte Friesel, Marcel Köppen, Christoph Borchert, Michael Müller, Olaf Spinczyk, Daniel Lohmann
2019	—	`conf`	Cache-Line Transactions: Building Blocks for Persistent Kernel Data Structures Enabled by AspectC++. PLOS@SOSP Marcel Köppen, Jana Traue, Christoph Borchert, Jörg Nolte, Olaf Spinczyk
2017	—	`—`	Aspect-oriented technology for dependable operating systems. Christoph Borchert
2017	—	`conf`	Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems. ARCS Thiago Santini, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Martin Hoffmann, Olaf Spinczyk, Daniel Lohmann, Flávio Rech Wagner, Paolo Rech
2017	J	`jnl`	Generic Soft-Error Detection and Correction for Concurrent Data Structures. IEEE Trans. Dependable Secur. Comput. Christoph Borchert, Horst Schirmeier, Olaf Spinczyk
2016	Misc	`conf`	CrossCheck: A Holistic Approach for Tolerating Crash-Faults and Arbitrary Failures. EDCC Arthur Martens, Christoph Borchert, Manuel Nieke, Olaf Spinczyk, Rüdiger Kapitza
2015	A	`conf`	Avoiding Pitfalls in Fault-Injection Based Comparison of Program Susceptibility to Soft Errors. DSN Horst Schirmeier, Christoph Borchert, Olaf Spinczyk
2015	J	`jnl`	Hardening an L4 Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis. ACM SIGOPS Oper. Syst. Rev. Christoph Borchert, Olaf Spinczyk
2015	—	`conf`	Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis. PLOS@SOSP Christoph Borchert, Olaf Spinczyk
2015	J	`jnl`	Multi-layer software reliability for unreliable hardware. it Inf. Technol. Muhammad Shafique, Philip Axer, Christoph Borchert, Jian-Jia Chen, Kuan-Hsun Chen, Björn Döbel, Rolf Ernst, Hermann Härtig, Andreas Heinig, Rüdiger Kapitza, Florian Kriebel, Daniel Lohmann, Peter Marwedel, Semeen Rehman, Florian Schmoll, Olaf Spinczyk
2014	A	`conf`	Crosscheck: Hardening Replicated Multithreaded Services. DSN Arthur Martens, Christoph Borchert, Tobias Oliver Geissler, Daniel Lohmann, Olaf Spinczyk, Rüdiger Kapitza
2014	C	`conf`	Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs. ISORC Martin Hoffmann, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Rüdiger Kapitza, Olaf Spinczyk, Daniel Lohmann
2014	B	`conf`	Rapid Fault-Space Exploration by Evolutionary Pruning. SAFECOMP Horst Schirmeier, Christoph Borchert, Olaf Spinczyk
2013	A	`conf`	Generative software-based memory error detection and correction for operating system data structures. DSN Christoph Borchert, Horst Schirmeier, Olaf Spinczyk
2013	—	`conf`	Return-Address Protection in C/C++ Code by Dependability Aspects. GI-Jahrestagung Christoph Borchert, Horst Schirmeier, Olaf Spinczyk
2012	A	`conf`	CiAO/IP: a highly configurable aspect-oriented IP stack. MobiSys Christoph Borchert, Daniel Lohmann, Olaf Spinczyk
2012	—	`ed.`	Proceedings of the 2012 Workshop on Modularity in Systems Software, MISS@AOSD 2012, Potsdam, Germany, March 27, 2012 MISS@AOSD Christoph Borchert, Michael Haupt, Daniel Lohmann, David H. Lorenz
2012	—	`conf`	Protecting the Dynamic Dispatch in C++ by Dependability Aspects. GI-Jahrestagung Christoph Borchert, Horst Schirmeier, Olaf Spinczyk
2011	—	`conf`	Upcall dispatcher aspects: combining modularity with efficiency in the CiAO IP stack. MISS@AOSD Jochen Streicher, Christoph Borchert, Olaf Spinczyk