Cited By
View all- Wang ZYi XYu HYin B(2022)Detecting High Floating-Point Errors via Ranking Analysis2022 29th Asia-Pacific Software Engineering Conference (APSEC)10.1109/APSEC57359.2022.00052(397-406)Online publication date: Dec-2022
- Chowdhary SLim JNagarakatte SDonaldson ATorlak E(2020)Debugging and detecting numerical errors in computation with positsProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3385412.3386004(731-746)Online publication date: 11-Jun-2020
- Panchekha PTatlock Z(2020)Towards Numerical AssistantsSoftware Verification10.1007/978-3-030-63618-0_13(213-220)Online publication date: 6-Dec-2020
- Show More Cited By