From 819cbf81da6189f4701be3e7003fa313eafc17b6 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 16 Jan 2023 11:55:00 -0500 Subject: Add slides from CPP'23 and new paper --- papers.bib | 3 ++- static/docs/cpp23/slides_msgssa.pdf | Bin 0 -> 315273 bytes static/papers/cpp23_msgssa.pdf | Bin 724143 -> 781516 bytes 3 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 static/docs/cpp23/slides_msgssa.pdf diff --git a/papers.bib b/papers.bib index 7ddb663..4899ba0 100644 --- a/papers.bib +++ b/papers.bib @@ -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 new file mode 100644 index 0000000..f27a910 Binary files /dev/null and b/static/docs/cpp23/slides_msgssa.pdf differ diff --git a/static/papers/cpp23_msgssa.pdf b/static/papers/cpp23_msgssa.pdf index 87346d1..77eb2c2 100644 Binary files a/static/papers/cpp23_msgssa.pdf and b/static/papers/cpp23_msgssa.pdf differ -- cgit