diff options
-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 |