Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Vilhelm Sjöberg
conf.researchr.org general profile
PLDI 2016 profile
PLDI 2018 profile
SPLASH 2019 profile
Not registered as user
Name:
Vilhelm Sjöberg
Affiliation:
Yale University
Personal website:
http://www.cs.yale.edu/homes/vilhelm/
Contributions
2019
SPLASH
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
2018
PLDI
Author of Certified Concurrent Abstraction Layers within the PLDI Research Papers-track
2016
PLDI
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Committee Member in Artifact Evaluation Committee
Share
x
Fri 9 May 00:12
