Towards a Framework for Developing Verified Assemblers for the ELF Format (Artifact)

Authors
Publication date
9 September 2023
Publisher
Doi

    Abstract

    This is the artifact for the APLAS 2023 paper "Towards a Framework for Developing Verified Assemblers for the ELF Format". This artifact contains the implmentation and applications of our framework introduced in the paper, which is based on CompCert v3.8. There is a 'README.md' file in the main directory instructing how to build the code

      Similar works

      Full text

      thumbnail-image

      Available Versions

      ZENODO

      redirect
      oaioai:zenodo.org:8363543
      Last time updated on 22/09/2023