Building a Reusable and Extensible Automatic Compiler Infrastructure for reconfigurable devices
Conference Proceeding
Zang, Z., Dolinsky, U., Ghiglio, P., Cherubin, S., Goli, M., & Yang, S. (2023)
Building a Reusable and Extensible Automatic Compiler Infrastructure for reconfigurable devices. In 2023 33rd International Conference on Field-Programmable Logic and Applications (FPL) (351-352). https://doi.org/10.1109/FPL60245.2023.00062
Multi-Level Intermediate Representation (MLIR) is gaining increasing attention in reconfigurable hardware communities due to its capability to represent various abstract level...
Clever DAE: Compiler Optimizations for Digital Twins at Scale
Conference Proceeding
Scuttari, M., Camillucci, N., Cattaneo, D., Agosta, G., Casella, F., Cherubin, S., & Terraneo, F. (2023)
Clever DAE: Compiler Optimizations for Digital Twins at Scale. In CF '23: Proceedings of the 20th ACM International Conference on Computing Frontiers (344-350). https://doi.org/10.1145/3587135.3589945
Modeling and simulation are fundamental activities in engineering to facilitate prototyping, verification and maintenance. Declarative modeling languages allow to simulate phy...
TAFFO: The compiler-based precision tuner
Journal Article
Cattaneo, D., Chiari, M., Agosta, G., & Cherubin, S. (2022)
TAFFO: The compiler-based precision tuner. SoftwareX, 20, Article 101238. https://doi.org/10.1016/j.softx.2022.101238
We present taffo, a framework that automatically performs precision tuning to exploit the performance/accuracy trade-off. In order to avoid expensive dynamic analyses, taffo l...
Ahead-Of-Real-Time (ART): A Methodology for Static Reduction of Worst-Case Execution Time
Conference Proceeding
Cattaneo, D., Magnani, G., Cherubin, S., & Agosta, G. (2022)
Ahead-Of-Real-Time (ART): A Methodology for Static Reduction of Worst-Case Execution Time. In Third Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2022) (4:1-4:10). https://doi.org/10.4230/OASIcs.NG-RES.2022.4
Precision tuning is an approximate computing technique for trading precision with lower execution time, and it has been increasingly important in embedded and high-performance...
13th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 11th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2022)
Conference Proceeding
Palumbo, F., Bispo, J., & Cherubin, S. (2022)
13th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 11th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2022). In F. Palumbo, J. Bispo, & S. Cherubin (Eds.), 13th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 11th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2022). https://doi.org/10.4230/OASIcs.PARMA-DITAM.2022.0
Architecture-aware Precision Tuning with Multiple Number Representation Systems
Conference Proceeding
Cattaneo, D., Chiari, M., Fossati, N., Cherubin, S., & Agosta, G. (2021)
Architecture-aware Precision Tuning with Multiple Number Representation Systems. In 2021 58th ACM/IEEE Design Automation Conference (DAC). https://doi.org/10.1109/dac18074.2021.9586303
Precision tuning trades accuracy for speed and energy savings, usually by reducing the data width, or by switching from floating point to fixed point representations. However,...
FixM: Code generation of fixed point mathematical functions
Journal Article
Cattaneo, D., Chiari, M., Magnani, G., Fossati, N., Cherubin, S., & Agosta, G. (2021)
FixM: Code generation of fixed point mathematical functions. Sustainable Computing, 29, part B, https://doi.org/10.1016/j.suscom.2020.100478
Approximate computing has seen significant interest as a design philosophy oriented to performance and energy efficiency [1]. Precision tuning is an approximate computing tech...
Dynamic Precision Autotuning with TAFFO
Journal Article
Cherubin, S., Cattaneo, D., Chiari, M., & Agosta, G. (2020)
Dynamic Precision Autotuning with TAFFO. ACM transactions on architecture and code optimization, 17(2), 1-26. https://doi.org/10.1145/3388785
Many classes of applications, both in the embedded and high performance domains, can trade off the accuracy of the computed results for computation performance. One way to ach...
Tunable approximations to control time-to-solution in an HPC molecular docking Mini-App
Journal Article
Gadioli, D., Palermo, G., Cherubin, S., Vitali, E., Agosta, G., Manelfi, C., …Silvano, C. (2021)
Tunable approximations to control time-to-solution in an HPC molecular docking Mini-App. Journal of Supercomputing, 77(1), 841-869. https://doi.org/10.1007/s11227-020-03295-x
The drug discovery process involves several tasks to be performed in vivo, in vitro and in silico. Molecular docking is a task typically performed in silico. It aims at findin...
Tools for Reduced Precision Computation: A Survey
Journal Article
Cherubin, S., & Agosta, G. (2020)
Tools for Reduced Precision Computation: A Survey. ACM computing surveys, 53(2), 1-35. https://doi.org/10.1145/3381039
The use of reduced precision to improve performance metrics such as computation latency and power consumption is a common practice in the embedded systems field. This practice...