• Sign in
  • Sign up
conf.researchr.org / Vilhelm Sjöberg
  • PLDI 2016 profile
  • PLDI 2018 profile
  • SPLASH 2019 profile

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

Share
xMon 18 Jan 02:02
using conf.researchr.org (v1.40.0)
Support page
Sign Up