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

Not registered as user

Name:Shu-chun Weng
Affiliation:Yale University

Contributions

2019

SPLASH

  • 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

2017

POPL

  • Author of Towards Automatic Resource Bound Analysis for OCaml within the POPL-track
Share
xSun 18 May 04:12
using conf.researchr.org (v1.69.0)
Support page
Sign Up