Vilhelm Sjöberg

According to our database, Vilhelm Sjöberg authored at least 21 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Foundational Verification of Smart Contracts through Verified Compilation.

Vilhelm Sjöberg, Kinnari Dave, Daniel Britten, Maria A Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, Zhong Shao

CoRR, 2024

Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor.

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

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2022

Provably Correct Smart Contracts: An Approach using DeepSEA.

Daniel Britten, Vilhelm Sjöberg, Steve Reeves

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

2021

How to Exploit a DeFi Project.

Xinyuan Sun, Shaokai Lin, Vilhelm Sjöberg, Jay Jie

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

Towards Verified Price Oracles for Decentralized Exchange Protocols.

Kinnari Dave, Vilhelm Sjöberg, Xinyuan Sun

Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021

Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper).

Daniel Britten, Vilhelm Sjöberg, Steve Reeves

Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021

2019

DeepSEA: a language for certified system software.

Vilhelm Sjöberg, Yuyang Sang, Shu-Chun Weng, Zhong Shao

Proc. ACM Program. Lang., 2019

Building certified concurrent OS kernels.

Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, Jérémie Koenig, Xiongnan (Newman) Wu, Vilhelm Sjöberg, David Costanzo

Commun. ACM, 2019

2018

Certified concurrent abstraction layers.

Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, Tahina Ramananandro

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Safety and Liveness of MCS Lock - Layer by Layer.

Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels.

Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, David Costanzo

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2015

Programming up to Congruence.

Vilhelm Sjöberg, Stephanie Weirich

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Combining proofs and programs in a dependently typed language.

Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2012

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

Step-Indexed Normalization for a Language with General Recursion

Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

Dependent interoperability.

Peter-Michael Osera, Vilhelm Sjöberg, Steve Zdancewic

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

Equational reasoning about programs with general recursion and call-by-value semantics.

Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

2010

Equality, Quasi-Implicit Products, and Large Eliminations

Vilhelm Sjöberg, Aaron Stump

Proceedings of the Proceedings Fifth Workshop on Intersection Types and Related Systems, 2010

Termination Casts: A Flexible Approach to Termination with General Recursion

Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich

Proceedings of the Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, 2010

Dependent types and program equivalence.

Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

Reactive noninterference.

Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009