All Stories

  1. Recovering lost pointer type information in modern LLVM compilers

    Article • January 2026, ACM (Association for Computing Machinery)

    Davide Baroffio, Niccolò Nicolosi

  2. Enhanced Compiler Technology for Software-based Hardware Fault Detection

    Article • ACM Transactions on Design Automation of Electronic Systems, April 2024, ACM (Association for Computing Machinery)

    Davide Baroffio, William Fornaciari