4 citations · 8 across the 6 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.SE2023★ 4 cited
Programming by Example Made Easy
Jiarong Wu, Lili Wei, Yanyan Jiang +3
Programming by example (PBE) is an emerging programming paradigm that automatically synthesizes programs specified by user-provided input-output examples. Despite the convenience f…
cs.SE2023
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects
Linyi Li, Yuhao Zhang, Luyao Ren +2
With the widespread deployment of deep neural networks (DNNs), ensuring the reliability of DNN-based systems is of great importance. Serious reliability issues such as system failu…
cs.SE2023★ 3 cited
Effective Random Test Generation for Deep Learning Compilers
Luyao Ren, ZiHeng Wang, Yingfei Xiong +3
Deep learning compilers help address the difficulties of deploying deep learning models on diverse types of hardware. Testing deep learning compilers is highly crucial, because the…