diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-12-13 18:59:26 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-12-13 18:59:26 +0000 |
commit | 5b71ef237a275ac56251156a9eb7a8c6a9b0e596 (patch) | |
tree | d0a54959f85b3da80a3f271c5eeef1e1ceb91afb /papers.bib | |
parent | ee4d2fdc649283984459fbe60affd70863c57a14 (diff) | |
download | yannherklotz.com-5b71ef237a275ac56251156a9eb7a8c6a9b0e596.tar.gz yannherklotz.com-5b71ef237a275ac56251156a9eb7a8c6a9b0e596.zip |
Add CPP'23 paper and citation
Diffstat (limited to 'papers.bib')
-rw-r--r-- | papers.bib | 24 |
1 files changed, 15 insertions, 9 deletions
@@ -1,9 +1,15 @@ @inproceedings{CPP '23, - author = {Yann Herklotz and Delphine Demange and Sandrine Blazy}, - title = {Mechanised Semantics for Gated Static Single Assignment}, - year = {2023}, - booktitle = {Proc. of the 12th ACM SIGPLAN Int. Conf. on Certified Programs and Proofs (CPP)}, - numpages = 14 +author = {Herklotz, Yann and Demange, Delphine and Blazy, Sandrine}, +title = {Mechanised Semantics for Gated Static Single Assignment}, +year = {2023}, +isbn = {9781450391825}, +doi = {10.1145/3573105.3575681}, +booktitle = {Proc. of the 12th ACM SIGPLAN Int. Conf. on Certified Programs and Proofs (CPP)}, +numpages = {15}, +keywords = {Verified Compilation, SSA, Gated SSA}, +location = {Boston, MA, USA}, +url_artefact = {https://zenodo.org/record/7430387}, +url_manuscript = {/papers/cpp23_msgssa.pdf} } @inproceedings{FCCM '22, @@ -15,7 +21,7 @@ doi = {10.1109/FCCM53951.2022.9786208}, note = {Short paper}, url_manuscript = {/papers/fccm22_rsvhls.pdf}, - url_artifact = {https://github.com/mpardalos/Vericert-Fun} + url_artefact = {https://github.com/mpardalos/Vericert-Fun} } @article{OOPSLA '21, @@ -29,7 +35,7 @@ doi = {10.1145/3485494}, url_manuscript = {/papers/oopsla21_fvhls.pdf}, url_slides = {/docs/oopsla21/slides_fvhls.pdf}, - url_artifact = {https://github.com/ymherklotz/vericert}, + url_artefact = {https://github.com/ymherklotz/vericert}, url_video = {https://youtu.be/clPiKbKVlUA}, url_poster = {/docs/oopsla21/poster_fvhls.pdf}, url_changelog = {/changelog/oopsla21_fvhls}, @@ -46,7 +52,7 @@ note = {Short paper}, doi = {10.1109/FCCM51124.2021.00034}, url_manuscript = {/papers/fccm21_esrhls.pdf}, - url_artifact = {https://github.com/ymherklotz/fuzzing-hls}, + url_artefact = {https://github.com/ymherklotz/fuzzing-hls}, } @inproceedings{FPGA '20, @@ -63,5 +69,5 @@ url_slides = {/docs/fpga2020/verismith_slides.pdf}, url_blog_post = {/blog/2019-06-19-verismith.html}, url_manuscript = {/papers/fpga20_fubfst.pdf}, - url_artifact = {https://github.com/ymherklotz/verismith}, + url_artefact = {https://github.com/ymherklotz/verismith}, } |