bibtex

@inproceedings{Gou1,
    title = { PhD Student session: formally verified postpass scheduling with peephole optimization for AArch64 },
    author = {Gourdin, L\'eo},
    month = {June},
    year = {2021},
    booktitle = {20\`emes journ\'ees Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, AFADL 2021},
    team = {PACSS},
    pdf = {https://www.lirmm.fr/afadl2021/papers/afadl2021_paper_9.pdf},
}

URL


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4196784