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 | 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
preprintprojectartifactslidescitedoi |
| OSDI '26 | qTPU: Hybrid Tensor Networks for Quantum-Classical Acceleration
Nathaniel Tornow, Emmanouil Giortamis, Dennis Sprokholt, Christian Mendl, Pramod Bhatotia
preprintartifactcitelink |
| 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
preprintproofsartifactcitedoi |
| PhD thesis | Correct Translation between Weak Memory Model Architectures
Dennis Sprokholt
pdfcitedoi |
| CGO '25 | Cage: Hardware-Accelerated Safe WebAssembly
Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia
preprintcitedoi |
| 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
preprintproofsartifactcitedoiDistinguished 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
preprintproofsartifactcitedoi |
Service
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.
