PLDI 2020 Tutorial: Design Space Exploration
Place: Online at the Zoom platform - Link by registration
Contact: luigi [dot] nardi [at] cs [dot] lth [dot] se
Save event to your calendar
When: 15 June at 17.00 to 21.00 (8.00-12.00 PDT)
Real-world engineering problems commonly have multiple objectives that have to be tuned simultaneously. The trade-off Pareto front resulting from the tuning is used as a decision-making tool for selecting the best trade-off for any specific user scenario. Specifically, multi-objective optimization is a crucial matter in programming languages, compilers and hardware design space exploration (DSE) because real-world applications often rely on a trade-off between several objectives such as throughput, latency, memory usage, energy, area, etc.
While the growing demand for sophisticated DSE methods has triggered the development of a wide range of approaches and frameworks, none to date are featured enough to fully address the complexities of DSE in the PL/compilers domain. To address this problem, we introduce a new methodology and a framework dubbed HyperMapper. HyperMapper is a machine learning-based tool designed for the computer systems community and can handle design spaces consisting of multiple objectives and numerical/discrete variables. Emphasis is on exploiting user prior knowledge via modeling of the design space parameters distributions. Given the years of hand-tuning experience in optimizing hardware, designers bear a high level of confidence. HyperMapper gives means to inject knowledge in the search algorithm. The framework uses a Bayesian Optimization algorithm, i.e., construct and utilize a surrogate model of the latent function to guide the search process. A key advantage of having a model is the reduction of the optimization time budget. HyperMapper is a plug-and-play framework that makes it easy for compiler/hardware designers to explore their search spaces.
To aid the comparison of HyperMapper with other DSE tools, we provide a taxonomy of existing tools.
Programme details at: https://pldi20.sigplan.org/details/pldi-2020-tutorials/1/Design-Space-Ex...
To participate is free of charge. Register by 5 June to guarantee a place and get an access link at: https://regmaster.com/2020conf/PLDI20/register.php
The tutorial is part of the Programming Language Design and Implementation (PLDI) Online conference 15-20 June