Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Fri 31 May 2019 16:00 - 16:20 at Van-Horne - Program Transformations Chair(s): Cindy Rubio-González

Numerical code is often applied in safety-critical, but resource-limited areas. Hence, it is crucial for it to be correct and efficient, both of which are difficult to ensure. On one hand, accumulated rounding errors in numerical programs can cause system failures. On the other hand, arbitrary/infinite-precision arithmetic, although accurate, is infeasible in practice and especially in resource-limited scenarios because it performs thousands of times slower than floating-point arithmetic. Thus, it has been a significant challenge to obtain high-precision, easy-to-maintain, and efficient numerical code. This paper introduces a novel global optimization framework to tackle this challenge. Using our framework, a developer simply writes the infinite-precision numerical program directly following the problem’s mathematical specification. The resulting code is correct and easy-to-maintain, but inefficient. Our framework then optimizes the program in a global fashion (i.e., considering the whole program, rather than individual expressions as in prior work), the key technical difficulty this work solves. To this end, it analyzes the program’s numerical flows across different statements through a symbolic trace extraction algorithm, and generates optimized traces via stochastic algebraic transformations guided by effective rule selection. We first evaluate our technique on numerical benchmarks from the literature; results show that our global optimization achieves significantly higher worst-case accuracy than the state-of-the-art numerical optimization tool. Second, we show that our framework is also effective on benchmarks having complicated program structures, which are challenging for numerical optimization. Finally, we apply our framework on real-world code to successfully detect numerical bugs that have been confirmed by developers.

Fri 31 May
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

16:00 - 17:20: Papers - Program Transformations at Van-Horne
Chair(s): Cindy Rubio-GonzálezUniversity of California, Davis
icse-2019-Technical-Papers16:00 - 16:20
Xie WangNanjing University, Huaijin WangNanjing University, Zhendong SuETH Zurich, Enyi TangNanjing University, Xin ChenNanjing University, Weijun ShenNanjing University, Zhenyu ChenNanjing University, Linzhang Wang, Xianpei ZhangNanjing University, Xuandong LiNanjing University
icse-2019-Technical-Papers16:20 - 16:40
Ameya KetkarOregon State University, USA, Ali MesbahUniversity of British Columbia, Davood MazinanianUniversity of British Columbia, Danny DigSchool of EECS at Oregon State University, Edward AftandilianGoogle
icse-2019-Technical-Papers16:40 - 17:00
Tanzirul AzimMicrosoft, USA, Arash AlaviUniversity of California, Riverside, Iulian NeamtiuNew Jersey Institute of Technology, Rajiv GuptaUC Riverside
icse-2019-New-Ideas-and-Emerging-Reults17:00 - 17:10
Paul GazzilloUniversity of Central Florida, Shiyi WeiThe University of Texas at Dallas
icse-2019-Paper-Presentations17:10 - 17:20