Dennis Sprokholt

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)
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) |