Skip to content

Commit 1ddbf85

Browse files
author
Matthieu Lemerre
committed
Add OOPSLA'2024 slides
1 parent 024f50f commit 1ddbf85

File tree

2 files changed

+4
-0
lines changed

2 files changed

+4
-0
lines changed

_data/publications.yml

+4
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,8 @@
1818
artifact-available: true
1919
easy-summary: /papers/2024-oopsla-typedc-dependent-nominal-physical-type-system.html
2020
pdf: /assets/publications/pdfs/2024-oopsla-full-with-appendices.pdf
21+
talk-slides: /assets/publications/slides/2024-oopsla-typedc-dependent-nominal-physical-typesystem.pdf
22+
# talk-video: TODO
2123
topics:
2224
- abstract interpretation
2325
- memory safety
@@ -36,6 +38,8 @@
3638
artifact-custom-image-height: "70"
3739
easy-summary: /papers/2024-sas-trace-partitioning-as-an-optimization-problem.html
3840
pdf: /assets/publications/pdfs/2024-sas-tpop.pdf
41+
# talk-slides: TODO
42+
# talk-video: TODO
3943
topics:
4044
- abstract interpretation
4145
- trace partitioning

0 commit comments

Comments
 (0)