Yi Wang -

Not registered as user yet

Name:Yi Wang

Affiliation:Shenzhen University

Contributions

2019

FASE

Author of KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs within the FASE 2019-track

2017

LCTES

Author of Towards Memory-Efficient Processing-in-Memory Architecture for Convolutional Neural Networks within the LCTES 2017-track
Session Chair of Session 1: Compiler Optimization for Embedded Systems (part of LCTES 2017)