Skip to content

Gabriele Magnani

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

5

Venues

5

Active years

2023–2026

Best venue rank

B

Where they publish

Papers

5 indexed papers, newest first.

YearVenueTitleAuthors
2026CCType Deduction Analysis: Reconstructing Transparent Pointer Types in LLVM-IR.Niccol Nicolosi, Gabriele Magnani, Emilio Corigliano, Davide Baroffio, Federico Reghenzani, Giovanni Agosta
2025DSDNon-Functional Properties in HPC Systems: Design Exploration of Energy, Power, and Reliability.Giovanni Agosta, Enrico Bini, Davide Baroffio, Carlo Brandolese, Michele Castrovilli, Daniele Cattaneo, Daniele Cesarini, William Fornaciari, Andrea Galimberti, Alberto Garfagnini, Arsenii Gavrikov, Francesco Iannone, Marco Lapegna, Tomas Antonio Lpez, Gabriele Magnani, Gabriele Mencagli, Cecilia Metra, Martin Eugenio Omana, Filippo Palombi, Federico Reghenzani, Josie E. Rodriguez Condia, A. Serafini, Matteo Sonza Reorda, Davide Zoni, Giuseppe Zummo
2025RTSSModern Llvm-Based Compiler Autotuning for Wcet Optimization.Gabriele Magnani, Davide Baroffio, Federico Reghenzani, Giovanni Agosta, William Fornaciari
2024SACProfiling vs Static Analysis: The Impact on Precision Tuning.Lev Denisov, Gabriele Magnani, Daniele Cattaneo, Giovanni Agosta, Stefano Cherubin
2023DATEHardware and Software Support for Mixed Precision Computing: a Roadmap for Embedded and HPC Systems.William Fornaciari, Giovanni Agosta, Daniele Cattaneo, Lev Denisov, Andrea Galimberti, Gabriele Magnani, Davide Zoni