Not registered as user yet

Name: Yilong Li

Affiliation: Runtime Verification, Inc.

Contributions

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