Shu-chun Weng -

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