Add CortenMM

Author: junyang-zh

content/publication/25-SOSP-ZHANG/cite.bib

@@ -0,0 +1,12 @@
+@inproceedings{zhang2025cortenmm,
+    author = {Junyang Zhang and Xiangcan Xu and Yonghao Zou and Zhe Tang and Xinyi Wan and Kang Hu and Siyuan Wang and Wenbo Xu and Di Wang and Hao Chen and Lin Huang and Shoumeng Yan and Yuval Tamir and Yingwei Luo and Xiaolin Wang and Huashan Yu and Zhenlin Wang and Hongliang Tian and Diyu Zhou},
+    title = {CortenMM: Efficient Memory Management with Strong Correctness Guarantees},
+    booktitle = {Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles (SOSP '25)},
+    year = {2025},
+    month = {October},
+    pages = {1--17},
+    address = {Seoul, Republic of Korea},
+    publisher = {ACM},
+    doi = {10.1145/3731569.3764836},
+    url = {https://doi.org/10.1145/3731569.3764836}
+}

content/publication/25-SOSP-ZHANG/index.md

@@ -0,0 +1,93 @@
+---
+title: 'CortenMM: Efficient Memory Management with Strong Correctness Guarantees'
+
+# Authors
+# If you created a profile for a user (e.g. the default `admin` user), write the username (folder name) here
+# and it will be replaced with their full name and linked to their profile.
+authors:
+  - Junyang Zhang
+  - Xiangcan Xu
+  - Yonghao Zou
+  - Zhe Tang
+  - Xinyi Wan
+  - Kang Hu
+  - Siyuan Wang
+  - Wenbo Xu
+  - Di Wang
+  - Hao Chen
+  - Lin Huang
+  - Shoumeng Yan
+  - Yuval Tamir
+  - Yingwei Luo
+  - Xiaolin Wang
+  - Huashan Yu
+  - Zhenlin Wang
+  - Hongliang Tian
+  - Diyu Zhou
+
+# # Author notes (optional)
+# author_notes:
+#   - 'Equal contribution'
+#   - 'Equal contribution'
+
+date: '2025-02-24T00:00:00Z'
+doi: 'https://doi.org/10.1145/3731569.3764836'
+
+# Schedule page publish date (NOT publication's date).
+publishDate: '2025-01-01T00:00:00Z'
+
+# Publication type.
+# Accepts a single type but formatted as a YAML list (for Hugo requirements).
+# Enter a publication type from the CSL standard.
+publication_types: ['paper-conference']
+
+# Publication name and optional abbreviated publication name.
+publication: In *CM SIGOPS 31st Symposium on Operating Systems Principles (SOSP '25)*
+publication_short: In *SOSP '25*
+
+abstract: 'Modern memory management systems suffer from poor performance and subtle concurrency bugs, slowing down applications while introducing security vulnerabilities. We observe that both issues stem from the conventional design omemory management systems with two levels of abstraction: a software-level abstraction (e.g., VMA trees in Linux) and a hardware-level abstraction (typically, page tables). This design increases portability but requires correctly and efficiently synchronizing two drastically different and complex data structures, which is generally challenging. We present CortenMM, a memory management system with a clean-slate design to achieve both high performance and synchronization correctness. Our key insight is that most OSes no longer need the software-level abstraction, since mainstream ISAs use nearly identical hardware MMU formats. Therefore, departing from prior designs, CortenMM eliminates the software-level abstraction to achieve sweeping simplicity. Exploiting this simplicity, CortenMM proposes a transactional interface with scalable locking protocols to program the MMU, achieving high performance by avoiding the extra contention in the software-level abstraction. The one-level design further enables us to formally verify the correctness of concurrent code operating on the MMU (correctness of basic operations and locking protocols), thereby offering strong correctness guarantees. Our evaluation shows that the formally verified CortenMM outperforms Linux by 1.2x to 26x on real-world applications.'
+
+# Summary. An optional shortened abstract.
+summary: ''
+
+tags: []
+
+# Display this page in the Featured widget?
+featured: true
+
+# Custom links (uncomment lines below)
+# links:
+# - name: Custom Link
+#   url: http://example.org
+
+url_pdf: ''
+url_code: 'https://github.com/TELOS-syslab/CortenMM-Artifact'
+url_dataset: ''
+url_poster: ''
+url_project: ''
+url_slides: ''
+url_source: ''
+url_video: ''
+
+# Featured image
+# To use, add an image named `featured.jpg/png` to your page's folder.
+# image:
+#   caption: 'Image credit: [**Unsplash**](https://unsplash.com/photos/pLCdAaMFLTE)'
+#   focal_point: ''
+#   preview_only: false
+
+# Associated Projects (optional).
+#   Associate this publication with one or more of your projects.
+#   Simply enter your project's folder or file name without extension.
+#   E.g. `internal-project` references `content/project/internal-project/index.md`.
+#   Otherwise, set `projects: []`.
+# projects:
+#   - example
+
+# Slides (optional).
+#   Associate this publication with Markdown slides.
+#   Simply enter your slide deck's filename without extension.
+#   E.g. `slides: "example"` references `content/slides/example/index.md`.
+#   Otherwise, set `slides: ""`.
+# slides: example
+---