Dennis Sprokholt

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Objective Function

Experimental Data

Top Venues

Publications

Redha Gouicem, Dennis Sprokholt, Jasper Ruehl, Rodrigo C. O. Rocha, Tom Spink, Soham Chakraborty, Pramod Bhatotia
Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures. ASPLOS (1) (2023)
Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia
Lasagne: a static binary translator for weak memory model architectures. PLDI (2022)