aboutsummaryrefslogtreecommitdiffstats
path: root/papers.bib
diff options
context:
space:
mode:
Diffstat (limited to 'papers.bib')
-rw-r--r--papers.bib3
1 files changed, 2 insertions, 1 deletions
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,