Skip to content
@binary-translation

Binary Translation

An organization for several of our papers on binary translation for weak memory model architectures.

Popular repositories Loading

  1. risotto-artifact-asplos23 risotto-artifact-asplos23 Public

    Jupyter Notebook 12 5

  2. lasagne-proofs lasagne-proofs Public

    Architecture mapping proofs written in Agda for the paper "Lasagne: A Static Binary Translator for Weak Memory Model Architectures"

    Agda 11 2

  3. risotto-proofs risotto-proofs Public

    Proofs for the paper "Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures"

    Agda 5

  4. binary-translation.github.io binary-translation.github.io Public

    Website for several projects on Binary Translation

    JavaScript 3

  5. a2a-benchmarks a2a-benchmarks Public

    Forked from rgouicem/a2a-benchmarks

    Jupyter Notebook

  6. qemu qemu Public

    Forked from qemu/qemu

    Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

    C

Repositories

Showing 6 of 6 repositories
  • qemu Public Forked from qemu/qemu

    Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

    binary-translation/qemu’s past year of commit activity
    C 0 5,719 0 0 Updated Nov 26, 2024
  • binary-translation.github.io Public

    Website for several projects on Binary Translation

    binary-translation/binary-translation.github.io’s past year of commit activity
    JavaScript 3 MIT 0 0 0 Updated Mar 25, 2023
  • risotto-artifact-asplos23 Public
    binary-translation/risotto-artifact-asplos23’s past year of commit activity
    Jupyter Notebook 12 5 0 0 Updated Oct 19, 2022
  • a2a-benchmarks Public Forked from rgouicem/a2a-benchmarks
    binary-translation/a2a-benchmarks’s past year of commit activity
    Jupyter Notebook 0 1 0 0 Updated Sep 13, 2022
  • 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
    Agda 5 0 0 0 Updated Sep 13, 2022
  • 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
    Agda 11 2 0 0 Updated Mar 29, 2022

Top languages

Loading…

Most used topics

Loading…