default search action

combined dblp search
author search
venue search
publication search

ask others

Vilhelm Sjöberg

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

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
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-08348
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-08348
Vilhelm Sjöberg, Kinnari Dave, Daniel Britten, Maria A Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, Zhong Shao:
Foundational Verification of Smart Contracts through Verified Compilation. CoRR abs/2405.08348 (2024)
2022
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/splash/BrittenSR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splash/BrittenSR22
Daniel Britten, Vilhelm Sjöberg, Steve Reeves:
Provably Correct Smart Contracts: An Approach using DeepSEA. SPLASH Companion 2022: 5-6
2021
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DaveSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DaveSS21
Kinnari Dave, Vilhelm Sjöberg, Xinyuan Sun:
Towards Verified Price Oracles for Decentralized Exchange Protocols. FMBC@CAV 2021: 1:1-1:14
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BrittenSR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BrittenSR21
Daniel Britten, Vilhelm Sjöberg, Steve Reeves:
Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper). FMBC@CAV 2021: 3:1-3:8
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/SunLSJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/SunLSJ21
Xinyuan Sun, Shaokai Lin, Vilhelm Sjöberg, Jay Jie:
How to Exploit a DeFi Project. Financial Cryptography Workshops 2021: 162-167

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

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)
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/SjobergSWS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/SjobergSWS19
Vilhelm Sjöberg, Yuyang Sang, Shu-Chun Weng, Zhong Shao:
DeepSEA: a language for certified system software. Proc. ACM Program. Lang. 3(OOPSLA): 136:1-136:27 (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
2015
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/SjobergW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/SjobergW15
Vilhelm Sjöberg, Stephanie Weirich:
Programming up to Congruence. POPL 2015: 369-382
2014
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/CasinghinoSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/CasinghinoSW14
Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich:
Combining proofs and programs in a dependently typed language. POPL 2014: 33-46
2012
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/OseraSZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/OseraSZ12
Peter-Michael Osera, Vilhelm Sjöberg, Steve Zdancewic:
Dependent interoperability. PLPV 2012: 3-14
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/KimmellSEEFSWCSCA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/KimmellSEEFSWCSCA12
Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn:
Equational reasoning about programs with general recursion and call-by-value semantics. PLPV 2012: 15-26
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-2918
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-2918
Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich:
Step-Indexed Normalization for a Language with General Recursion. MSFP 2012: 25-39
[c6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-2923
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-2923
Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich:
Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems. MSFP 2012: 112-162
2010
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/StumpSW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/StumpSW10
Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich:
Termination Casts: A Flexible Approach to Termination with General Recursion. PAR@ITP 2010: 84-100
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/JiaZSW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/JiaZSW10
Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich:
Dependent types and program equivalence. POPL 2010: 275-286
[c3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1012-4900
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1012-4900
Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich:
Termination Casts: A Flexible Approach to Termination with General Recursion. PAR 2010: 76-93
[c2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-4430
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4430
Vilhelm Sjöberg, Aaron Stump:
Equality, Quasi-Implicit Products, and Large Eliminations. ITRS 2010: 90-100

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BohannonPSWZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BohannonPSWZ09
Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic:
Reactive noninterference. CCS 2009: 79-90

Coauthor Index

see FAQ

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.