Author

Sören Tempel

2 papers indexed here

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.

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