Skip to main content

High-Level Optimization via Automated Statistical Modeling

PDF DOI 10.1145/209936.209946 dblp BibTeX

Abstract

We develop the use of statistical modeling for portable high-level optimizations such as data layout and algorithm selection. We build the models automatically from profiling information, which ensures robust and accurate models that reflect all aspects of the target platform.

Related papers

Combining phase identification and statistic modeling for automated parallel benchmark generation PPoPP 2015
Low-overhead and fully automated statistical debugging with abstraction refinement OOPSLA 2016
Automatic Inference of Models for Statistical Code Compression PLDI 1999
A Platform for High Performance Statistical Model Checking - PLASMA TACAS 2012
Faster Statistical Model Checking for Unbounded Temporal Properties TACAS 2016
Adaptive optimization in the Jalapeño JVM OOPSLA 2000
Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking CAV 2012
Statistical scalability analysis of communication operations in distributed applications PPoPP 2001