Dennis Sprokholt

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

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

I have successfully defended my PhD on Friday December 12th 2025
I joined TU Munich as Humboldt Research Fellow

Publications

CAV '26	Burrow: A Proof Framework for Weak Memory Dennis Sprokholt, Soham Chakraborty preprint project artifact
OSDI '26	qTPU: Hybrid Tensor Networks for Quantum-Classical Acceleration Nathaniel Tornow, Emmanouil Giortamis, Dennis Sprokholt, Christian B. Mendl, Pramod Bhatotia preprint project artifact
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 preprint proofs artifact doi
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

CGO '27	PC
ASPLOS '24	AEC (spring / summer / fall / fall-2)

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.