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 4

  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

Repositories

Showing 5 of 5 repositories
  • 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 4 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…