Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
Wed 18 Jul 2018 14:40 - 15:00 at Zurich II - Optimization and Performance Chair(s): Tevfik Bultan

Floating-point types are notorious for their intricate representation. The effective use of mixed precision, i.e., using various precisions in different computations, is critical to achieve a good balance between accuracy and performance. Unfortunately, reasoning about mixed precision is difficult even for numerical experts. Techniques have been proposed to systematically search over floating-point variables and/or program instructions to find a faster, mixed-precision version of a given program. These techniques, however, are characterized by their black box nature, and face scalability limitations due to the large search space. In this paper, we exploit the community structure of floating-point variables to devise a scalable hierarchical search for precision tuning. Specifically, we perform dependence analysis and edge profiling to create a weighted dependence graph that presents a network of floating-point variables. We then formulate hierarchy construction on the network as a community detection problem, and present a hierarchical search algorithm that iteratively lowers precision with regard to communities. We implement our algorithm in the tool HIFPTUNER . Our experimental evaluation shows that HIFPTUNER exhibits higher search efficiency over the state of the art for 75.9% experiments with 59.6% less search time in average. Moreover, HIFPTUNER finds more profitable configurations for 51.7% experiments, with one known to be as good as the global optimal found through exhaustive search.

Wed 18 Jul

14:00 - 15:30: ISSTA Technical Papers - Optimization and Performance at Zurich II
Chair(s): Tevfik BultanUniversity of California, Santa Barbara
issta-2018-Technical-Papers14:00 - 14:20
Yingjun LyuUniversity of Southern California, Ding LiNEC Labs, William G.J. HalfondUniversity of Southern California
issta-2018-Technical-Papers14:20 - 14:40
Yannic NollerHumboldt-Universität zu Berlin, Rody KerstenSynopsys, Inc., Corina S PasareanuNASA Ames Research Center
issta-2018-Technical-Papers14:40 - 15:00
Hui GuoUniversity of California, Davis, Cindy Rubio-GonzalezUniversity of California, Davis
issta-2018-Technical-Papers15:00 - 15:20
Karl PalmskogUniversity of Texas at Austin, Ahmet CelikUniversity of Texas at Austin, USA, Milos GligoricUniversity of Texas at Austin
issta-2018-Technical-Papers15:20 - 15:30