• Sign in
  • Sign up
conf.researchr.org / Shu-chun Weng
  • POPL 2017 profile
  • SPLASH 2019 profile

Not registered as user yet

Name: Shu-chun Weng

Affiliation: Yale University

Contributions

SPLASH 2019 Author of DeepSEA: A Language for Certified System Software within the OOPSLA-track
Author of DeepSEA: A Language for Certified System Software within the Posters-track
POPL 2017 Author of Towards Automatic Resource Bound Analysis for OCaml within the POPL-track

Share
xWed 27 Jan 06:09
using conf.researchr.org (v1.40.2)
Support page
Sign Up