Vilhelm Sjöberg

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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...