Yi Wang -

Not registered as user

Name:Yi Wang

Affiliation:Shenzhen University

Contributions

2026

Principles and Practice of Parallel Programming

Author of Pipelonk: Accelerating End-to-End Zero-Knowledge Proof Generation on GPUs for PLONK-Based Protocols within the Main Conference-track

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)