Not registered as user yet

Name:Shijiao Yuwen
Affiliation:University of Illinois at Urbana-Champaign

Contributions

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