Sean Noble Anderson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2021–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ASPLOS | Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor. | Zhenyang Dai, Shuang Liu, Vilhelm Sjberg, Xupeng Li, Yu Chen, Wenhao Wang, Yuekai Jia, Sean Noble Anderson, Laila Elbeheiry, Shubham Sondhi, Yu Zhang, Zhaozhong Ni, Shoumeng Yan, Ronghui Gu, Zhengyu He |
| 2024 | ITP | Defining and Preserving More C Behaviors: Verified Compilation Using a Concrete Memory Model. | Andrew Tolmach, Chris Chhak, Sean Noble Anderson |
| 2023 | RV | Flexible Runtime Security Enforcement with Tagged C. | Sean Noble Anderson, Allison Naaktgeboren, Andrew Tolmach |
| 2021 | CPP | Towards formally verified compilation of tag-based policy enforcement. | Chris Chhak, Andrew Tolmach, Sean Noble Anderson |