CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses

Artifact for CLower This artifact provides the source code, scripts, and environment necessary to reproduce the results presented in our paper: "CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses". Citing our paper: @inproceedings {xu2026clower, author = {Jianhao Xu and Kunbo Zhang and Mathias Payer and Kangjie Lu and Bing Mao}, title = {CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses}, booktitle = {Proceedings of the ACM on Programming Languages}, year = {2026}, } Quick Start Download CLower.tar.gz - Main artifact package Extract and read CLower/README.md for detailed instructions Download additional resource files as guided by the README Files in This Repository Main Package (Start Here) CLower.tar.gz - Contains all source code, documentation, and setup scripts Extract first: tar -xzf CLower.tar.gz Read the README: CLower/README.md has a complete setup guide This package guides you through using all other resources Supplementary Resources File Description resource.tar.gz (8.40 GB) Pre-compiled binaries for program detection loadcase.tar.gz (1.04 GB) Pre-generated load test cases storecases.tar.gz (946 MB) Pre-generated store test cases