@misc{indiciaeebbe23eab5f3, title = {Array-Aware Matching: Taming the Complexity of Large-Scale Simulation Models}, author = {Massimo Fioravanti and Daniele Cattaneo and Federico Terraneo and Silvano Seva and Stefano Cherubin and Giovanni Agosta and Francesco Casella and Alberto Leva}, year = {2023}, doi = {10.1145/3611661}, url = {https://arxiv.org/abs/2212.11135}, note = {Source identifier: 2212.11135} }