Skip to content

Commit 2fe4ee1

Browse files
committed
PLDI25 slides and video
1 parent 3277308 commit 2fe4ee1

File tree

2 files changed

+4
-1
lines changed

2 files changed

+4
-1
lines changed

_data/publications.yml

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,8 +20,11 @@
2020
artifact-available: true
2121
bibtex: /assets/publications/bibtex/2025-pldi-relational-abstractions-labeled-uf.bib
2222
easy-summary: /papers/2025-pldi-relational-abstractions-labeled-uf.html
23-
comment: "Also presented at NSAD 2024"
23+
comment: "Also presented at NSAD 2024"
2424
pdf-with-appendix: /assets/publications/pdfs/2025-pldi-relational-abstractions-labeled-uf-with-appendices.pdf
25+
talk-slides: /assets/publications/slides/2025-pldi-relational-abstractions-labeled-uf.pdf
26+
# TODO - this is the livestream, switch to the true video once it is uploaded.
27+
talk-video: https://www.youtube.com/live/HQ29o1EWOO4?t=23045
2528
topics:
2629
- relational abstract domain
2730
- labeled union-find
Binary file not shown.

0 commit comments

Comments
 (0)