Vilhelm Sjöberg

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Ronghui Gu

> Home > Persons > Vilhelm Sjöberg

Publications

2024
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/DaiLSL0WJAESZNY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/DaiLSL0WJAESZNY24
Zhenyang Dai, Shuang Liu, Vilhelm Sjöberg, 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:
Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor. ASPLOS (2) 2024: 1218-1232
2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/GuSCKKWSC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/GuSCKKWSC19
Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, Jérémie Koenig, Xiongnan (Newman) Wu, Vilhelm Sjöberg, David Costanzo:
Building certified concurrent OS kernels. Commun. ACM 62(10): 89-99 (2019)
2018
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/GuSKWKS0CR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/GuSKWKS0CR18
Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, Tahina Ramananandro:
Certified concurrent abstraction layers. PLDI 2018: 646-661
2017
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/KimSGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/KimSGS17
Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao:
Safety and Liveness of MCS Lock - Layer by Layer. APLAS 2017: 273-297
2016
[c12]
- view
- export record
  dblp key:
  - conf/osdi/GuSCWKSC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/GuSCWKSC16
Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, David Costanzo:
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. OSDI 2016: 653-669

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.