Christoph Borchert

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 7

Top Venues

DSN

PLOS@SOSP

EDCC

ARCS

Technical University of Dortmund, Germany (PHD)

Education History

Technical University of Dortmund, Germany

PHD

Publications

Christoph Borchert, Horst Schirmeier, Olaf Spinczyk
Compiler-Implemented Differential Checksums: Effective Detection and Correction of Transient and Permanent Memory Errors. DSN (2023)
Marcel Köppen, Daniel Friesel, Christoph Borchert, Olaf Spinczyk
Decoupling Application Logic from Persistent Memory Frameworks with AspectC++. PLOS@SOSP (2021)
Florian Rommel, Christian Dietrich, Daniel Friesel, Marcel Köppen, Christoph Borchert, Michael Müller, Olaf Spinczyk, Daniel Lohmann
From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes. OSDI (2020)
Marcel Köppen, Jana Traue, Christoph Borchert, Jörg Nolte, Olaf Spinczyk
Cache-Line Transactions: Building Blocks for Persistent Kernel Data Structures Enabled by AspectC++. PLOS@SOSP (2019)
Christoph Borchert, Horst Schirmeier, Olaf Spinczyk
Generic Soft-Error Detection and Correction for Concurrent Data Structures. IEEE Trans. Dependable Secur. Comput. 14 (1) (2017)
Thiago Santini, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Martin Hoffmann, Olaf Spinczyk, Daniel Lohmann, Flávio Rech Wagner, Paolo Rech
Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems. ARCS (2017)
Arthur Martens, Christoph Borchert, Manuel Nieke, Olaf Spinczyk, Rüdiger Kapitza
CrossCheck: A Holistic Approach for Tolerating Crash-Faults and Arbitrary Failures. EDCC (2016)
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
Multi-layer software reliability for unreliable hardware. it Inf. Technol. 57 (3) (2015)
Christoph Borchert, Olaf Spinczyk
Hardening an L4 Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis. ACM SIGOPS Oper. Syst. Rev. 49 (2) (2015)
Christoph Borchert, Olaf Spinczyk
Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis. PLOS@SOSP (2015)
Horst Schirmeier, Christoph Borchert, Olaf Spinczyk
Avoiding Pitfalls in Fault-Injection Based Comparison of Program Susceptibility to Soft Errors. DSN (2015)
Martin Hoffmann, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Rüdiger Kapitza, Olaf Spinczyk, Daniel Lohmann
Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs. ISORC (2014)
Arthur Martens, Christoph Borchert, Tobias Oliver Geissler, Daniel Lohmann, Olaf Spinczyk, Rüdiger Kapitza
Crosscheck: Hardening Replicated Multithreaded Services. DSN (2014)
Horst Schirmeier, Christoph Borchert, Olaf Spinczyk
Rapid Fault-Space Exploration by Evolutionary Pruning. SAFECOMP (2014)
Christoph Borchert, Horst Schirmeier, Olaf Spinczyk
Return-Address Protection in C/C++ Code by Dependability Aspects. GI-Jahrestagung (2013)
Christoph Borchert, Horst Schirmeier, Olaf Spinczyk
Generative software-based memory error detection and correction for operating system data structures. DSN (2013)
Christoph Borchert, Daniel Lohmann, Olaf Spinczyk
CiAO/IP: a highly configurable aspect-oriented IP stack. MobiSys (2012)
Christoph Borchert, Horst Schirmeier, Olaf Spinczyk
Protecting the Dynamic Dispatch in C++ by Dependability Aspects. GI-Jahrestagung (2012)
Jochen Streicher, Christoph Borchert, Olaf Spinczyk
Upcall dispatcher aspects: combining modularity with efficiency in the CiAO IP stack. MISS@AOSD (2011)

Christoph Borchert.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christoph Borchert