Shijiao Yuwen

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Program Execution

Language Identification

Expressive Power

Top Venues

Publications

Andrei Stefanescu, Daejun Park, Shijiao Yuwen, Yilong Li, Grigore Rosu
Semantics-based program verifiers for all languages. OOPSLA (2016)