Skip to content

Commit 7152b57

Browse files
committed
Some missing DOIs
1 parent ac72a46 commit 7152b57

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

_data/publications.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,7 @@
4242
talk-slides: /assets/publications/slides/2024-oopsla-typedc-dependent-nominal-physical-typesystem.pdf
4343
bibtex: /assets/publications/bibtex/2024-oopsla-typedc-dependent-nominal-typesystem.bib
4444
# talk-video: TODO
45+
doi: 10.1145/3689712
4546
topics:
4647
- abstract interpretation
4748
- memory safety
@@ -63,6 +64,7 @@
6364
# bibtex: TODO
6465
# talk-slides: TODO
6566
# talk-video: TODO
67+
doi: 10.1007/978-3-031-74776-2_2
6668
topics:
6769
- abstract interpretation
6870
- trace partitioning

0 commit comments

Comments
 (0)