Author

Christian Dietrich

h-index 3 View on Semantic Scholar

We have 3 of 11 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

L25MCP: Flexible Multi-connectivity in WiFi Networks

David Niederpr ̈um, Christian Dietrich, Lars C. Wolf · 0 citations

Book Open access Sep 2026

Lost Bytes At The Crossroads Between User-And Kernel-Level Memory Management

It is shown that—since the kernel manages memory at page-granularity—the user-level allocation scheme must be designed with page alignment in mind, and a classification for physical memory that is lost due to the mismatch of user-space and kernel-space allocation granularities is provided.

Pasha Fistanto, Sören Tempel, Christian Dietrich · Proceedings of the 14th Work... · 0 citations

#software testing Book Open access Oct 2026

Towards a Vertically Integrated Compiler Infrastructure to Improve Solver Time during Symbolic Execution

The potential of integrating the compiler infrastructure with symbolic execution, thereby obtaining a program representation optimized for SMT solving, is illustrated by contributing conditional representation, a novel compiler transformation tailored to symbolic execution that results in a solver-efficient representat...

Sören Tempel, Christian Dietrich · Proceedings of the 8th Inter... · 0 citations