14 citations · 39 across the 11 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.SE2021★ 2 cited
Bugs4Q: A Benchmark of Real Bugs for Quantum Programs
Pengzhan Zhao, Jianjun Zhao, Zhongtao Miao +1
Realistic benchmarks of reproducible bugs and fixes are vital to good experimental evaluation of debugging and testing approaches. However, there is no suitable benchmark suite tha…
cs.SE2021★ 2 cited
Identifying Bug Patterns in Quantum Programs
Pengzhan Zhao, Jianjun Zhao, Lei Ma
Bug patterns are erroneous code idioms or bad coding practices that have been proved to fail time and time again, which are usually caused by the misunderstanding of a programming…
cs.DC2021★ 4 cited
DISC: A Dynamic Shape Compiler for Machine Learning Workloads
Kai Zhu, Wenyi Zhao, Zhen Zheng +8
Many recent machine learning models show dynamic shape characteristics. However, existing AI compiler optimization systems suffer a lot from problems brought by dynamic shape model…