Skip to content

Commit ac72a46

Browse files
committed
Update pldi25 artifact
1 parent 9d6ee77 commit ac72a46

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

_data/publications.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@
1515
venue: 46th ACM-SIGPLAN Symposium on Programming Language Design and Implementation
1616
venue-acronym: PLDI
1717
doi: 10.1145/3729298
18-
artifact: https://zenodo.org/records/15165896
18+
artifact: https://zenodo.org/records/15261356
1919
artifact-evaluated-reusable: true
2020
artifact-available: true
2121
bibtex: /assets/publications/bibtex/2025-pldi-relational-abstractions-labeled-uf.bib

0 commit comments

Comments
 (0)