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-Gonzalez

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

icse-2019-Paper-Presentations
16:00 - 17:20: Papers - Program Transformations at Van-Horne
Chair(s): Cindy Rubio-GonzalezUniversity of California, Davis
icse-2019-Technical-Papers16:00 - 16:20
Talk
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
Talk
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
Pre-print
icse-2019-Technical-Papers16:40 - 17:00
Talk
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
Talk
Paul GazzilloUniversity of Central Florida, Shiyi WeiThe University of Texas at Dallas
Pre-print
icse-2019-Paper-Presentations17:10 - 17:20
Talk