Close
 

Organization

East China Normal University
Presenters
Mingsong Chen
Chuanming Ding
Ming Hu
Yihao Huang
Changlong Li
Jianwen Li
Longfei Luo
Geguang Pu
Edwin Hsing-Mean Sha
Liang Shi
Jun Xia
Dingcui Yu
Chengyu Zhang
Jiayi Zhu
Presentations
Research Manuscript
Accelerated Synthesis of Neural Network-based Barrier Certificates Using Collaborative Learning
EDA
Design Verification and Validation
Networking Reception
Work-in-Progress Poster
Building Efficient Portfolio-based Hardware Model Checker via And-Inverter Graph Structure Encoding
Research Manuscript
CDB: Critical Data Backup Design for Consumer Devices with High-Density Flash based Hybrid Storage
Embedded Systems
Embedded Memory, Storage and Networking