PLDI paper slides

codex-semantics-library · Jun 27, 2024 · 075f280 · 075f280
1 parent 2a6c667
commit 075f280
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/_data/publications.yml b/_data/publications.yml
@@ -21,7 +21,7 @@
       easy-summary: /papers/2024-pldi-compiling-with-abstract-interpretation.html
       pdf: /assets/publications/pdfs/2024-pldi-compiling-with-abstract-interpretation.pdf
       pdf-with-appendix: /assets/publications/pdfs/2024-pldi-compiling-with-abstract-interpretation-with-appendices.pdf
-      talk-slides: null
+      talk-slides: /assets/publications/slides/2024-pldi-compiling-with-abstract-interpretation.pdf
       talk-video: "https://youtu.be/By6HZllFBWo?list=PLyrlk8Xaylp6XYPbTIscsn49yFEFlxUp-&t=4089"
       bibtex: /assets/publications/bibtex/2024-pldi-compiling-with-abstract-interpretation.bib
       comment: "Also presented at AFADL 2024"

diff --git a/assets/publications/slides/2024-pldi-compiling-with-abstract-interpretation.pdf b/assets/publications/slides/2024-pldi-compiling-with-abstract-interpretation.pdf