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

Jinhua Wu; Yuting Wang; Meng Sun; Xiangzhe Xu; Yichen Song

doi:10.5281/zenodo.8330801

There is a newer version of the record available.

Published September 9, 2023 | Version v1

Software Open

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

1. Shanghai Jiao Tong University
2. Purdue University

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.

Files

verified-assembler.zip

Files (4.0 MB)

Name	Size	Download all
verified-assembler.zip md5:63ebea3a826f1040026a31f76bdd1aad	4.0 MB	Preview Download

Citations

Oops! Something went wrong while fetching results.

Views

Downloads

Show more details

	All versions	This version
Views	85	14
Downloads	13	0
Data volume	53.3 MB	0 Bytes

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: September 9, 2023
Modified: September 20, 2023

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

Creators

Description

Files

verified-assembler.zip

Files (4.0 MB)