Add encapsulated functions

princeton-sns · Oct 24, 2023 · 20abe49 · 20abe49
1 parent 9526a54
commit 20abe49
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/_data/publications.yml b/_data/publications.yml
@@ -1,10 +1,19 @@
+- title: "Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems"
+  people:
+    - lschuermann
+    - Arun Thomas
+    - aalevy
+  venue: "Kernel Isolation, Safety and Verification (KISV '23), Koblenz, Germany"
+  year: 2023
+  paper: /assets/papers/2023-encapfn-schuermann.pdf
+
 - title: "Strictly Serializable Timestamp Ordering by Avoiding the Timestamp-Inversion Pitfall"
   people:
     - haonanl
     - Shuai Mu
     - sssix
     - wlloyd
-  venue: "To appear: Proc. USENIX Symposium on Operating Systems Design and Implementation (OSDI '23), Boston, MA"
+  venue: "Proc. USENIX Symposium on Operating Systems Design and Implementation (OSDI '23), Boston, MA"
   year: 2023
  # paper: TBD
 

diff --git a/assets/papers/2023-encapfn-schuermann.pdf b/assets/papers/2023-encapfn-schuermann.pdf