ExaSat: An Exascale Static Analysis Tool (ExaSat) v1.0

RESOURCE

Abstract

The ExaSAT framework automates the extraction of parameterized performance models directly from source code using compiler analysis. Its parameterized analytic model enables quantitative evaluation of a broad range of hardware design trade-offs and software optimizations on a variety of different performance metrics, with a primary focus on data movement as a metric. ExaSAT analysis provides insights in the hardware and software tradeoffs and lays the groundwork for exploring a more targeted set of design points using cycle-accurate architectural simulators and emulators.
Developers:
Release Date:
2017-04-24
Project Type:
Open Source, Publicly Available Repository
Software Type:
Scientific
Programming Languages:
NA
Licenses:
Other (Commercial or Open-Source): https://github.com/LBL-CoDEx/exasat/blob/master/LICENSE
Sponsoring Org.:
Code ID:
73035
Site Accession Number:
7458; 2016-202
Research Org.:
Lawrence Berkeley National Laboratory (LBNL), Berkeley, CA (United States)
Country of Origin:
United States

RESOURCE

Citation Formats

Chan, Cy, and Nguyen, Tan. ExaSat: An Exascale Static Analysis Tool (ExaSat) v1.0. Computer Software. https://github.com/LBL-CoDEx/exasat. USDOE. 24 Apr. 2017. Web. doi:10.11578/dc.20220414.47.
Chan, Cy, & Nguyen, Tan. (2017, April 24). ExaSat: An Exascale Static Analysis Tool (ExaSat) v1.0. [Computer software]. https://github.com/LBL-CoDEx/exasat. https://doi.org/10.11578/dc.20220414.47.
Chan, Cy, and Nguyen, Tan. "ExaSat: An Exascale Static Analysis Tool (ExaSat) v1.0." Computer software. April 24, 2017. https://github.com/LBL-CoDEx/exasat. https://doi.org/10.11578/dc.20220414.47.
@misc{ doecode_73035,
title = {ExaSat: An Exascale Static Analysis Tool (ExaSat) v1.0},
author = {Chan, Cy and Nguyen, Tan},
abstractNote = {The ExaSAT framework automates the extraction of parameterized performance models directly from source code using compiler analysis. Its parameterized analytic model enables quantitative evaluation of a broad range of hardware design trade-offs and software optimizations on a variety of different performance metrics, with a primary focus on data movement as a metric. ExaSAT analysis provides insights in the hardware and software tradeoffs and lays the groundwork for exploring a more targeted set of design points using cycle-accurate architectural simulators and emulators.},
doi = {10.11578/dc.20220414.47},
url = {https://doi.org/10.11578/dc.20220414.47},
howpublished = {[Computer Software] \url{https://doi.org/10.11578/dc.20220414.47}},
year = {2017},
month = {apr}
}