Yuanke Gan

Publication Activity (10 Years)

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

Top Topics

Database Machine

Concurrent Programs

Symbolic Execution

Top Venues

ICSE (Companion Volume)

Publications

Gang Shi, Yuanke Gan, Shu Shang, Shengyuan Wang, Yuan Dong, Pen-Chung Yew
A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs. ICSE (Companion Volume) (2017)