Tue 6 Nov 2018 13:30 - 13:52 at Horizons 10-11 - Performance Chair(s): Zhendong Su

We present a configurable, hybrid, and parallel covering array constructor, called CHiP. CHiP is parallel in that it utilizes vast amount of parallelism provided by graphics processing units (GPUs). CHiP is hybrid in that it bundles the bests of two construction approaches for computing covering arrays; a metaheuristic search-based approach for efficiently covering a large portion of the required combinations and a constraint satisfaction-based approach for effectively covering the remaining hard-to-cover-by-chance combinations. CHiP is configurable in that a trade-off between covering array sizes and construction times can be made. We have conducted a series of experiments, in which we compared the efficiency and effectiveness of CHiP to those of a number of existing constructors by using both full factorial designs and well-known benchmarks. In these experiments, we report new upper bounds on covering array sizes, demonstrating the effectiveness of CHiP, and the first results for a higher coverage strength, demonstrating the scalability of CHiP.

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:00
PerformanceResearch Papers / Journal-First at Horizons 10-11
Chair(s): Zhendong Su ETH Zurich
13:30
22m
Talk
CHiP: A Configurable Hybrid Parallel Covering Array Constructor
Journal-First
Hanefi Mercan , Cemal Yilmaz Sabancı University, Kamer Kaya
DOI
13:52
22m
Talk
Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems
Research Papers
Pooyan Jamshidi University of South Carolina, Miguel Velez Carnegie Mellon University, USA, Christian Kästner Carnegie Mellon University, Norbert Siegmund Bauhaus-University Weimar
14:15
22m
Talk
Performance Comprehension at WiredTiger
Research Papers
Alexandra (Sasha) Fedorova University of British Columbia, Craig Mustard University of British Columbia, Canada, Ivan Beschastnikh Computer Science, University of British Columbia, Julia Rubin University of British Columbia, Augustine Wong University of British Columbia, Canada, Svetozar Miucin University of British Columbia, Canada, Louis Ye University of British Columbia, Canada
14:37
22m
Talk
MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
Research Papers
Junhee Lee Korea University, South Korea, Seongjoon Hong Korea University, Hakjoo Oh Korea University