Vilhelm Sjberg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2009–2024
Best venue rank
A*
Where they publish
Papers
12 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 |
| 2021 | CAV | Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper). | Daniel Britten, Vilhelm Sjberg, Steve Reeves |
| 2021 | CAV | Towards Verified Price Oracles for Decentralized Exchange Protocols. | Kinnari Dave, Vilhelm Sjberg, Xinyuan Sun |
| 2021 | FC | How to Exploit a DeFi Project. | Xinyuan Sun, Shaokai Lin, Vilhelm Sjberg, Jay Jie |
| 2018 | PLDI | Certified concurrent abstraction layers. | Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jrmie Koenig, Vilhelm Sjberg, Hao Chen, David Costanzo, Tahina Ramananandro |
| 2017 | APLAS | Safety and Liveness of MCS Lock - Layer by Layer. | Jieung Kim, Vilhelm Sjberg, Ronghui Gu, Zhong Shao |
| 2016 | OSDI | CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. | Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjberg, David Costanzo |
| 2015 | POPL | Programming up to Congruence. | Vilhelm Sjberg, Stephanie Weirich |
| 2014 | POPL | Combining proofs and programs in a dependently typed language. | Chris Casinghino, Vilhelm Sjberg, Stephanie Weirich |
| 2010 | ITP | Termination Casts: A Flexible Approach to Termination with General Recursion. | Aaron Stump, Vilhelm Sjberg, Stephanie Weirich |
| 2010 | POPL | Dependent types and program equivalence. | Limin Jia, Jianzhou Zhao, Vilhelm Sjberg, Stephanie Weirich |
| 2009 | CCS | Reactive noninterference. | Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjberg, Stephanie Weirich, Steve Zdancewic |