Benchmarking is crucial in code optimization. It is required to have a set of programs that we consider representative to validate optimization techniques or evaluate predictive performance models. However, there is a shortage of available benchmarks for code optimization, more pronounced when using machine learning techniques. The problem lies in the number of programs for testing because these techniques are sensitive to the quality and quantity of data used for training. Our work aims to address these limitations. We present a methodology to efficiently generate benchmarks for the code optimization domain. It includes an automatic code generator, an associated DSL handling, the high-level specification of the desired code, and a smart st...
International audienceNumerical validation is at the core of machine learning research as it allows ...
New computing systems have emerged in response to the increasing size and complexity of modern datas...
While the amount of data that we are able to collect keeps growing, the use of Machine Learning and ...
International audienceBenchmarking is crucial in code optimization. It is required to have a set of ...
The end of Moore's law is driving the search for new techniques to improve system performance as app...
Reinforcement learning (RL) is emerging as a powerful technique for solving complex code optimizatio...
Cavazos, JohnThe number of optimizations that are available in modern day compilers are in their hun...
Since performance is not portable between platforms, engineers must fine-tune heuristics for each pr...
Code super-optimization is the task of transforming any given program to a more efficient version wh...
Iterative compiler optimization has been shown to outperform static approaches. This, however, is at...
Predictive modeling using machine learning is an effective method for building compiler heuristics, ...
While the amount of data that we are able to collect keeps growing, the use of Machine Learning and ...
The space of compile-time transformations and or run-time options which can improve the performance...
Cavazos, JohnIt has been shown that machine-learning driven optimizations often outperform bundled o...
Numerical validation is at the core of machine learning research as it allows to assess the actual i...
International audienceNumerical validation is at the core of machine learning research as it allows ...
New computing systems have emerged in response to the increasing size and complexity of modern datas...
While the amount of data that we are able to collect keeps growing, the use of Machine Learning and ...
International audienceBenchmarking is crucial in code optimization. It is required to have a set of ...
The end of Moore's law is driving the search for new techniques to improve system performance as app...
Reinforcement learning (RL) is emerging as a powerful technique for solving complex code optimizatio...
Cavazos, JohnThe number of optimizations that are available in modern day compilers are in their hun...
Since performance is not portable between platforms, engineers must fine-tune heuristics for each pr...
Code super-optimization is the task of transforming any given program to a more efficient version wh...
Iterative compiler optimization has been shown to outperform static approaches. This, however, is at...
Predictive modeling using machine learning is an effective method for building compiler heuristics, ...
While the amount of data that we are able to collect keeps growing, the use of Machine Learning and ...
The space of compile-time transformations and or run-time options which can improve the performance...
Cavazos, JohnIt has been shown that machine-learning driven optimizations often outperform bundled o...
Numerical validation is at the core of machine learning research as it allows to assess the actual i...
International audienceNumerical validation is at the core of machine learning research as it allows ...
New computing systems have emerged in response to the increasing size and complexity of modern datas...
While the amount of data that we are able to collect keeps growing, the use of Machine Learning and ...