Not registered as user yet

Name: Yilong Li

Affiliation: Runtime Verification, Inc.

SPLASH 2016 Activities

• Author of Semantics-Based Program Verifiers for All Languages within the OOPSLA-track in SPLASH 2016
• Show activities from other conferences