Not registered as user yet

Name: Shijiao Yuwen

Affiliation: University of Illinois at Urbana-Champaign

Contributions

SPLASH 2016Author of Semantics-Based Program Verifiers for All Languages within the OOPSLA-track