Repositories list

• arancini-exploration

  Public
  An exploration of arancini

  C++

  •1•4•20•1•Updated Mar 24, 2025Mar 24, 2025

• qemu

  Public
  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

  •

  Other

  •5.9k•0•0•0•Updated Jan 4, 2025Jan 4, 2025

• binary-translation.github.io

  Public
  Website for several projects on Binary Translation

  JavaScript

  •

  MIT License

  •0•3•0•0•Updated Mar 25, 2023Mar 25, 2023

• risotto-artifact-asplos23

  Public
  Jupyter Notebook

  •5•16•0•0•Updated Oct 19, 2022Oct 19, 2022

• a2a-benchmarks

  Public
  Jupyter Notebook

  •1•0•0•0•Updated Sep 13, 2022Sep 13, 2022

• risotto-proofs

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

  proofsbinary-translation

  Agda

  •0•5•0•0•Updated Sep 13, 2022Sep 13, 2022

• lasagne-proofs

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

  paperproofbinary-translation+ 1weak-memory-models

  Agda

  •2•13•0•0•Updated Mar 29, 2022Mar 29, 2022