Vilhelm Sjöberg -

Not registered as user yet

Name: Vilhelm Sjöberg

Affiliation: Yale University

Personal website: http://www.cs.yale.edu/homes/vilhelm/

Contributions

SPLASH 2019	Author of DeepSEA: A Language for Certified System Software within the Posters-track Author of DeepSEA: A Language for Certified System Software within the OOPSLA-track
PLDI 2018	Author of Certified Concurrent Abstraction Layers within the PLDI Research Papers-track
PLDI 2016	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track Committee Member in Artifact Evaluation Committee