Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
Wed 22 Jul 2020 14:50 - 15:10 at Zoom - NUMERICAL SOFTWARE ANALYSIS & CLONE DETECTION Chair(s): Darko Marinov

Numerical libraries constitute the building blocks for software applications that perform numerical calculations. Thus, it is paramount that such libraries provide accurate and consistent results. To that end, this paper addresses the problem of finding discrepancies between synonymous functions in different numerical libraries as a means of identifying incorrect behavior. Our approach automatically finds such synonymous functions, synthesizes testing drivers, and executes differential tests to discover meaningful discrepancies across numerical libraries. We implement our approach in a tool named FPDiff, and provide an evaluation on four popular numerical libraries: GNU Scientific Library (GSL), SciPy, mpmath, and jmat. FPDiff finds a total of 126 equivalence classes with a 95.8% precision and 79.0% recall, and discovers 655 instances in which an input produces a set of disagreeing outputs between function synonyms, 150 of which we found to represent 125 unique bugs. We have reported all bugs to library maintainers; so far, 30 bugs have been fixed, 9 have been found to be previously known, and 25 more have been acknowledged by developers.

Wed 22 Jul
Times are displayed in time zone: Tijuana, Baja California change

14:50 - 16:10: NUMERICAL SOFTWARE ANALYSIS & CLONE DETECTIONTechnical Papers at Zoom
Chair(s): Darko MarinovUniversity of Illinois at Urbana-Champaign

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

14:50 - 15:10
Talk
Technical Papers
Jackson VanoverUniversity of California, Davis, Xuan DengUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
DOI Media Attached
15:10 - 15:30
Talk
Technical Papers
Xiao HeUniversity of Science and Technology Beijing, China, Xingwei Wang, Jia Shi, Yi Liu
DOI Media Attached
15:30 - 15:50
Talk
Technical Papers
Chunrong FangNanjing University, Zixi LiuNanjing University, Yangyang Shi, Jeff HuangTexas A&M University, Qingkai ShiThe Hong Kong University of Science and Technology
DOI Media Attached
15:50 - 16:10
Talk
Technical Papers
Yakun ZhangInstitute of software, Chinese academy of sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Jiaxin ZhuInstitute of Software at Chinese Academy of Sciences, China, Liang Xu, Zhiyong ZhouInstitute of Software, Chinese Academy of Sciences, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Dan Ye, Bo Yang
DOI Media Attached