Dennis Sprokholt
About
I am a PhD Candidate in the Programming Languages Group at Delft University of Technology, supervised by Soham Chakraborty.
In my research, I apply formal methods to low-level programs. I am interested in superoptimization, where I perform automated reasoning to construct correct and near-optimal programs from first principles. Often, you'll find me writing mechanized proofs in Agda or fast programs in Rust.
Publications
| ASPLOS '23 | Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures |
| PLDI'22 | Lasagne: A Static Binary Translator for Weak Memory Model Architectures preprintartifactproofsdoi |
Notes
Some rough ideas. Feel free to e-mail me with comments or questions.| 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 |
Talks
| Mar. '21 | Superoptimization of WebAssembly Process Graphs UU Colloquium, MSc Thesis Defense |