• Array-Aware Matching: Taming the Complexity of Large-Scale Simulation Models 

      Fioravanti, Massimo; Cattaneo, Daniele; Terraneo, Federico; Seva, Silvano; Cherubin, Stefano; Agosta, Giovanni; Casella, Francesco; Leva, Alberto (Peer reviewed; Journal article, 2023)
      Equation-based modelling is a powerful approach to tame the complexity of large-scale simulation problems. Equation-based tools automatically translate models into imperative languages. When confronted with nowadays’ ...
    • MARCO: An Experimental High-Performance Compiler for Large-Scale Modelica Models 

      Agosta, Giovanni; Casella, Francesco; Cattaneo, Daniele; Cherubin, Stefano; Leva, Alberto; Scuttari, Michele; Terraneo, Federico (Chapter, 2023)
      This paper introduces MARCO, a research compiler aimed at the efficient generation of efficient simulation code from a large-scale Modelica model. MARCO’s design goals, requirements, and specifications are dis- cussed in ...
    • Mixed Precision in Heterogeneous Parallel Computing Platforms via Delayed Code Analysis 

      Cattaneo, Daniele; Maggioli, Alberto; Magnani, Gabriele; Denisov, Lev; Yang, Shufan; Agosta, Giovanni; Cherubin, Stefano (Journal article, 2023)
      Mixed Precision techniques have been successfully applied to improve the performance and energy efficiency of computation in embedded and high performance systems. However, few solutions have been proposed that address ...
    • Precision Tuning the Rust Memory-Safe Programming Language 

      Magnani, Gabriele; Denisov, Lev; Cattaneo, Daniele; Agosta, Giovanni; Cherubin, Stefano (Journal article, 2024)