Binary Translation
Navigation

Contact

Home
Static Translation
Dynamic Translation

Risotto: A Dynamic Binary Translator

Full paper

ASPLOS'23 paper

Proofs Source Code

About This Site

Lasagne and Risotto correctly translate concurrent x86 binary programs to Armv8.

Services

Contact

Created by Dennis based on Feeling Responsive and intel-mpx.