Modern LLVM-based Compiler Autotuning for WCET Optimization

Publication
The 46th IEEE Real-Time Systems Symposium, RTSS 2025
Davide Baroffio
Davide Baroffio
Ph.D. Student

Davide Baroffio is a PhD student at Politecnico di Milano researching compilers for safety-critical systems and embedded computing.

Federico Reghenzani
Federico Reghenzani
Assistant Professor

Federico Reghenzani received his PhD degree from Politecnico di Milano in January 2021. He is currently a researcher working on real-time systems and embedded computing. His research interests are on probabilistic real-time, mixed-criticality systems, fault tolerance, and embedded Linux systems.

Giovanni Agosta
Giovanni Agosta
Associate Professor

Giovanni Agosta, Associate Professor at Politecnico di Milano, holds a Laurea in Computer Engineering (2000) and a PhD in Information Technology (2004). His research focuses on compiler-computer architecture interaction, emphasizing performance, energy-efficiency, and security. He has authored 100+ papers, won multiple awards, and participated in 17 EU-funded projects.

William Fornaciari
William Fornaciari
Associate Professor

William Fornaciari has published six books and over 200 papers, earning five best paper awards, an IEEE certification, and three international patents on low power design. Since 1997, he has participated in 18 EU-funded projects. His research focuses on multi/many-core architectures, NoC, low power design, and more.