Searched for: author%3A%22Spink%2C+Tom%22
(1 - 2 of 2)
document
Rocha, Rodrigo C.O. (author), Sprokholt, D.G. (author), Fink, Martin (author), Gouicem, Redha (author), Spink, Tom (author), Chakraborty, S.S. (author), Bhatotia, Pramod (author)
The emergence of new architectures create a recurring challenge to ensure that existing programs still work on them. Manually porting legacy code is often impractical. Static binary translation (SBT) is a process where a program's binary is automatically translated from one architecture to another, while preserving their original semantics....
conference paper 2022
document
Gouicem, Redha (author), Sprokholt, D.G. (author), Ruehl, Jasper (author), Rocha, Rodrigo C.O. (author), Spink, Tom (author), Chakraborty, S.S. (author), Bhatotia, Pramod (author)
Dynamic Binary Translation (DBT) is a powerful approach to support cross-architecture emulation of unmodified binaries. However, DBT systems face correctness and performance challenges, when emulating concurrent binaries from strong to weak memory consistency architectures. As a matter of fact, we report several translation errors in QEMU,...
conference paper 2022