@inproceedings{MB4,
title = { {Chamois: agile development of CompCert extensions for optimization and security} },
author = {Monniaux, David and Boulm\'e, Sylvain},
month = {Jan},
year = {2024},
booktitle = {{JFLA 2024 -- 35es Journ{\'e}es Francophones des Langages Applicatifs}},
address = {Saint-Jacut-de-la-Mer, France},
team = {axe_FormalProofs, axe_SharedResources, axe_Pacs, PACSS},
hal_id = {hal-04406465},
}
