Vilhelm Sjöberg

Orcid: 0009-0000-7371-4969

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Foundational Verification of Smart Contracts through Verified Compilation.
CoRR, 2024

Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor.
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.
Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

2021
How to Exploit a DeFi Project.
Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

Towards Verified Price Oracles for Decentralized Exchange Protocols.
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).
Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021

2019
DeepSEA: a language for certified system software.
Proc. ACM Program. Lang., 2019

Building certified concurrent OS kernels.
Commun. ACM, 2019

2018
Certified concurrent abstraction layers.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017
Safety and Liveness of MCS Lock - Layer by Layer.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2015
Programming up to Congruence.
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.
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
Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

Step-Indexed Normalization for a Language with General Recursion
Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

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

Equational reasoning about programs with general recursion and call-by-value semantics.
Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

2010
Equality, Quasi-Implicit Products, and Large Eliminations
Proceedings of the Proceedings Fifth Workshop on Intersection Types and Related Systems, 2010

Termination Casts: A Flexible Approach to Termination with General Recursion
Proceedings of the Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, 2010

Dependent types and program equivalence.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

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


  Loading...