Dennis Sprokholt

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

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