Artifact for "Towards Verifiable System Code Using a DSL Compiled to Efficient and Readable C Code", at LCTES'26

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Clément Chavanon, Henrik Karlsson, Frédéric Besson, Sandrine Blazy, Roberto Guanciale
DOI: 10.5281/zenodo.20086279
Cited by: 1

Abstract

This repository stores the artifact associated with the paper "Towards Verifiable System Code Using a DSL Compiled to Efficient and Readable C Code", published at LCTES'26.See the README.pdf file for the evaluation guidelines.The artifact material is archived in paper#40.zip.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
8 May 2026
Language
EN