diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-01-16 11:55:00 -0500 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-01-16 11:55:00 -0500 |
commit | 819cbf81da6189f4701be3e7003fa313eafc17b6 (patch) | |
tree | 827f8bfc86cf12c5f764e1f9415f330f2b53f607 /papers.bib | |
parent | bd2c40f20c4257dd9df257041e3ff1adb1d714a3 (diff) | |
download | yannherklotz.com-819cbf81da6189f4701be3e7003fa313eafc17b6.tar.gz yannherklotz.com-819cbf81da6189f4701be3e7003fa313eafc17b6.zip |
Add slides from CPP'23 and new paper
Diffstat (limited to 'papers.bib')
-rw-r--r-- | papers.bib | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -9,7 +9,8 @@ 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} +url_manuscript = {/papers/cpp23_msgssa.pdf}, +url_slides = {/docs/cpp23/slides_msgssa.pdf} } @inproceedings{FCCM '22, |