Dennis Sprokholt
he / himd.g.sprokholt [at] tudelft.nlsourcedennis@dennis@discuss.systemsMScMaleTU DelftPhD CandidateNetherlandsEnglish, DutchAbout
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
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) |