Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yi Wang
conf.researchr.org general profile
ASE 2019 profile
ETAPS 2019 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Not registered as user
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)
Share
x
Sun 22 Dec 04:05