@inproceedings{BBD+7,
title = { A Formally Verified Compiler for Lustre },
author = {Bourke, Thimoty and Brun, L\'elio and Dagand, Pierre-\'Evariste and Leroy, Xavier and Pouzet, Marc and Rieg, Lionel},
year = {2017},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2017, Madrid, Spain, June 18-23, 2017},
pages = {586--601},
series = {Programming Language Design and Implementation (PLDI)},
team = {Coll\`ege de France, Other},
}
