Concepedia

Vilhelm Sjöberg

VS

12

Publications

545

Citations

11

H-Index

2009

Active since

Affiliations

University of Pennsylvania(Current)

Yale University

Portland State University

University of Iowa

Microsoft (United States)

Vilhelm Sjöberg is an author at University of Pennsylvania specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisVerificationSoftware AnalysisAutomated ReasoningSystem SoftwareComputer Engineering

Publications per year

2009–2019

12

Publications

12

CertiKOS: an extensible architecture for building certified concurrent OS kernels

Ronghui Gu, Zhong Shao, Hao Chen et al. · Operating Systems Design and Implementation · 2016 · 162 citations

Engineering, Verification, Computer Architecture +23

Reactive noninterference

Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg et al. · 2009 · 95 citations

Hardware Security, Reactive Program Communicates, Secure Multi-party Computation +13

Certified concurrent abstraction layers

Ronghui Gu, Zhong Shao, Jieung Kim et al. · 2018 · 68 citations · Full text

Engineering, Verification, Computer Architecture +19

Combining proofs and programs in a dependently typed language

Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich · 2014 · 66 citations · Full text

Engineering, Type Theory, Verification +19

Building certified concurrent OS kernels

Ronghui Gu, Zhong Shao, Hao Chen et al. · Communications of the ACM · 2019 · 30 citations · Full text

Engineering, Verification, Computer Architecture +19

Rows per page

1–5 of 12