Author:
Wang Xie,Wang Huaijin,Su Zhendong,Tang Enyi,Chen Xin,Shen Weijun,Chen Zhenyu,Wang Linzhang,Zhang Xianpei,Li Xuandong
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. AMPT: Automatic Mixed-Precision Tuning Based on Accuracy Gain;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04
3. Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
4. Oracle-free repair synthesis for floating-point programs;Proceedings of the ACM on Programming Languages;2022-10-31
5. Inferring Interval-Valued Floating-Point Preconditions;Tools and Algorithms for the Construction and Analysis of Systems;2022