We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 27025eb commit 313f36cCopy full SHA for 313f36c
content/publication/25-ATC-PENG/index.md
@@ -1,5 +1,5 @@
1
---
2
-title: '**USENIX ATC'25** Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB'
+title: 'Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB'
3
4
# Authors
5
# If you created a profile for a user (e.g. the default `admin` user), write the username (folder name) here
0 commit comments