@article{barriere:hal-03185848,
TITLE = {Formally verified speculation and deoptimization in a JIT compiler},
AUTHOR = {Barri{\`e}re, Aur{\`e}le and Blazy, Sandrine and Fl{\"u}ckiger, Olivier and Pichardie, David and Vitek, Jan},
URL = {https://hal.science/hal-03185848},
JOURNAL = {Proceedings of the ACM on Programming Languages},
PUBLISHER = {ACM},
VOLUME = {5},
NUMBER = {POPL},
PAGES = {26},
YEAR = {2021},
MONTH = Jan, DOI = {10.1145/3434327},
KEYWORDS = {verified compilation ; just-in-time compilation ; CompCert compiler},
PDF = {https://hal.science/hal-03185848/file/popl21main-p383-p-e6099d7-48645-final.pdf},
HAL_ID = {hal-03185848},
HAL_VERSION = {v1},
}
Affichage BibTex