Binary Translation
Navigation

Contact

Home
Static Translation
Dynamic Translation

Lasagne: A Static Binary Translator

Full paper

System Source Code

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.