Binary Translation
Popular repositories Loading
-
-
lasagne-proofs
lasagne-proofs PublicArchitecture mapping proofs written in Agda for the paper "Lasagne: A Static Binary Translator for Weak Memory Model Architectures"
-
risotto-proofs
risotto-proofs PublicProofs for the paper "Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures"
Agda 5
-
binary-translation.github.io
binary-translation.github.io PublicWebsite for several projects on Binary Translation
JavaScript 3
-
Repositories
- risotto-artifact-asplos23 Public
binary-translation/risotto-artifact-asplos23’s past year of commit activity - risotto-proofs Public
Proofs for the paper "Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures"
binary-translation/risotto-proofs’s past year of commit activity - lasagne-proofs Public
Architecture mapping proofs written in Agda for the paper "Lasagne: A Static Binary Translator for Weak Memory Model Architectures"
binary-translation/lasagne-proofs’s past year of commit activity