Adding Georges's PhD thesis

logsem · Jun 6, 2024 · 527b43c · 527b43c
1 parent cc9723e
commit 527b43c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/_data/publications.json b/_data/publications.json
@@ -1560,6 +1560,12 @@
       "description": "Aarhus University, October 2023",
       "pdf_url": "pdfs/2023-phd-gratzer.pdf"
     },
+    {
+      "title": "Designing and Proving Robust Safety of Efficient Capability Machine Programs",
+      "authors": ["Aina Linn Georges"],
+      "description": "Aarhus University, June 2023",
+      "pdf_url": "pdfs/2023-phd-georges.pdf"
+    },
     {
       "title": "Higher-Order Separation Logic for Distributed Systems and Security",
       "authors": ["Simon Oddershede Gregersen"],

diff --git a/pdfs/2023-phd-georges.pdf b/pdfs/2023-phd-georges.pdf