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
| PLDI'22 to appear | Lasagne: A Static Binary Translator for Weak Memory Model Architectures |
Notes
Some rough ideas. Feel free to e-mail me with comments or questions.| Mar. 2022 | Optimal Cost is Monotonic over Preconditions |
| Mar. 2022 | Tutorial: Docker for Research Artifacts |
Talks
| Mar. 2021 | Superoptimization of WebAssembly Process Graphs UU Colloquium, MSc Thesis Defense |