About
I am a Humboldt Research Fellow in the Systems Research Group at TU Munich, hosted by Prof. Pramod Bhatotia, where I lead the Formally Verified Systems Group. My research topics include semantics and formal verification of computer systems. My current project involves superoptimization.
During my PhD in Computer Science at the TU Delft Programming Languages Group, supervised by Soham Chakraborty, I verified the translation of concurrent programs between weak memory model architectures.
News
Publications
| ASPLOS '27 | Beyond the Fence: Sound Compilation for GPU and
Heterogeneous CPU+GPU Systems
Dennis Sprokholt, Reese Levine, Susmit Sarkar, Andrés Goens,
Vijay Nagarajan, Soham Chakraborty |
| ASPLOS '27 | Should Linux Kernel Memory Model Dependencies Be Afraid
of a Big Bad Optimizing Compiler?
Sebastian Reimers, Martin Fink, Marco Elver, Hernán Ponce de León, Dennis Sprokholt, Pramod Bhatotia |
| ASPLOS '27 | Focaccia: Semantic Validation for CPU Emulators
Theofilos Augoustis, Sebastian Reimers, Christian Krinitsin,
Redha Gouicem, Dennis Sprokholt, Pramod Bhatotia |
| CAV '26 | Burrow: A Proof Framework for Weak Memory
Dennis Sprokholt, Soham Chakraborty
preprintprojectartifactslides |
| OSDI '26 | qTPU: Hybrid Tensor Networks for Quantum-Classical Acceleration
Nathaniel Tornow, Emmanouil Giortamis, Dennis Sprokholt,
Christian Mendl, Pramod Bhatotia
preprintprojectartifactlink |
| ASPLOS '26 | Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures
Sebastian Reimers*, Dennis Sprokholt*, Martin Fink, Theofilos Augoustis, Simon Kammermeier, Rodrigo Rocha, Tom Spink,
Redha Gouicem, Soham Chakraborty, Pramod Bhatotia
preprintproofsartifactdoi |
| PhD thesis | Correct Translation between Weak Memory Model Architectures
Dennis Sprokholt
PDFdoi |
| CGO '25 | Cage: Hardware-Accelerated Safe WebAssembly
Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt,
Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia
preprintdoi |
| ASPLOS '23 | Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures
Redha Gouicem*, Dennis Sprokholt*, Jasper Ruehl, Rodrigo Rocha,
Tom Spink, Soham Chakraborty, Pramod Bhatotia
preprintproofsartifactdoiDistinguished Artifact |
| PLDI '22 | Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Rodrigo Rocha*, Dennis Sprokholt*, Martin Fink, Redha Gouicem,
Tom Spink, Soham Chakraborty, Pramod Bhatotia
preprintproofsartifactdoi |
* = co-lead authorshipService
Personal Info
Feel free to address me as "Dennis". On official documents, refer to me as
"Dr. Dennis G. Sprokholt". I publish as "Dennis Sprokholt". My pronouns are he/him.
I speak English and Dutch.
