Dennis Sprokholt

he / himdennis.sprokholt [at] tum.desourcedennis@dennis@discuss.systemsMScMaleTU MunichPostdocNetherlandsEnglish, Dutch

About

I am a Postdoctoral Researcher 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

I will defend my PhD on Friday December 12th 2025
I joined TU Munich as Humboldt Research Fellow

Publications

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
PhD thesis	Correct Translation between Weak Memory Model Architectures Dennis Sprokholt PDF doi
CGO '25	Cage: Hardware-Accelerated Safe WebAssembly Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia preprint doi
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 preprint proofs artifact doiDistinguished 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 preprint proofs artifact doi

* = co-lead authorship

Service

ASPLOS'24

AEC (spring / summer / fall / fall-2)

Personal Info

Feel free to address me as "Dennis". On academic documents, refer to me as
"Dennis G. Sprokholt". My pronouns are he/him. I speak English and Dutch.