Heng Liao

According to our database, Heng Liao authored at least 6 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

LEGO-Prover: Neural Theorem Proving with Growing Libraries.

Haiming Wang, Huajian Xin, Chuanyang Zheng, Lin Li, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Heng Liao, Xiaodan Liang

CoRR, 2023

2021

Ascend: a Scalable and Unified Architecture for Ubiquitous Deep Neural Network Computing : Industry Track Paper.

Heng Liao, Jiajin Tu, Jing Xia, Hu Liu, Xiping Zhou, Honghui Yuan, Yuxing Hu

Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2021

2019

DaVinci: A Scalable Architecture for Neural Network Computing.

Heng Liao, Jiajin Tu, Jing Xia, Xiping Zhou

Proceedings of the 2019 IEEE Hot Chips 31 Symposium (HCS), 2019

2006

Parallel Switch System with QoS Guarantee for Real-Time Traffic.

Wenjie Li, Bin Liu, Yang Xu, Heng Liao

J. Comput. Sci. Technol., 2006

1997

Available Parallelism in Video Applications.

Heng Liao, Andrew Wolfe

Proceedings of the Thirtieth Annual IEEE/ACM International Symposium on Microarchitecture, 1997

1996

DYNAMEM - A microarchitecture for improving memory disambiguation at run-time.

Xianzhu Wang, Heng Liao, Sanli Li

J. Comput. Sci. Technol., 1996