Dennis Sprokholt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures. | Sebastian Reimers, Dennis Sprokholt, Martin Fink, Theofilos Augoustis, Simon Kammermeier, Rodrigo C. O. Rocha, Tom Spink, Redha Gouicem, Soham Chakraborty, Pramod Bhatotia |
| 2026 | CAV | Burrow: A Proof Framework for Weak Memory. | Dennis Sprokholt, Soham Chakraborty |
| 2025 | CGO | Cage: Hardware-Accelerated Safe WebAssembly. | Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia |
| 2023 | ASPLOS | Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures. | Redha Gouicem, Dennis Sprokholt, Jasper Ruehl, Rodrigo C. O. Rocha, Tom Spink, Soham Chakraborty, Pramod Bhatotia |
| 2022 | PLDI | Lasagne: a static binary translator for weak memory model architectures. | Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia |