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 | |
parent | bd2c40f20c4257dd9df257041e3ff1adb1d714a3 (diff) | |
download | yannherklotz.com-819cbf81da6189f4701be3e7003fa313eafc17b6.tar.gz yannherklotz.com-819cbf81da6189f4701be3e7003fa313eafc17b6.zip |
Add slides from CPP'23 and new paper
-rw-r--r-- | papers.bib | 3 | ||||
-rw-r--r-- | static/docs/cpp23/slides_msgssa.pdf | bin | 0 -> 315273 bytes | |||
-rw-r--r-- | static/papers/cpp23_msgssa.pdf | bin | 724143 -> 781516 bytes |
3 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, diff --git a/static/docs/cpp23/slides_msgssa.pdf b/static/docs/cpp23/slides_msgssa.pdf Binary files differnew file mode 100644 index 0000000..f27a910 --- /dev/null +++ b/static/docs/cpp23/slides_msgssa.pdf diff --git a/static/papers/cpp23_msgssa.pdf b/static/papers/cpp23_msgssa.pdf Binary files differindex 87346d1..77eb2c2 100644 --- a/static/papers/cpp23_msgssa.pdf +++ b/static/papers/cpp23_msgssa.pdf |