Dennis Sprokholt

he / himd.g.sprokholt [at] tudelft.nlsourcedennis@dennis@discuss.systemsMScMaleTU DelftPhD CandidateNetherlandsEnglish, Dutch

About

I am a Postdoctoral Researcher in the Systems Research Group at TU Munich, hosted by Prof. Pramod Bhatotia (starting Sept '25). 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.

Publications (Selected)

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

Notes

Some rough ideas. Feel free to e-mail me with comments or questions.

Nov. '22	Dependency Injection in Rust
Aug. '22	Galois Connections on Lattices
Jul. '22	Agda, Full Adders, and Flags
Mar. '22	Optimal Cost is Monotonic over Preconditions
Mar. '22	Tutorial: Docker for Research Artifacts

Service

ASPLOS'24

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