7 papers
A Multi-Dimensional, Per-Pass Empirical Study of the LLVM Optimization Pipeline
Federico Bruzzone, Walter Cazzola
Quantifying the marginal impact of individual optimization passes underpins phase ordering, pass selection, optimization design, and analysis of pass/hardware interactions. In LLVM…
Generalized Software Product Line Extraction
Federico Bruzzone, Walter Cazzola, Luca Favalli
Software product line (SPL) engineering has been successfully applied to software development by obtaining software systems as compositions of modular features. Existing approaches…
Meta-Monomorphizing Specializations
Federico Bruzzone, Walter Cazzola
Achieving zero-cost specialization remains a fundamental challenge in programming language and compiler design. It often necessitates trade-offs between expressive power and type s…
From Separate Compilation to Sound Language Composition
Federico Bruzzone, Walter Cazzola, Luca Favalli
The development of programming languages involves complex theoretical and practical challenges, particularly when addressing modularity and reusability through language extensions.…
Sink or SWIM: Tackling Real-Time ASR at Scale
Federico Bruzzone, Walter Cazzola, Matteo Brancaleoni +1
Real-time automatic speech recognition systems are increasingly integrated into interactive applications, from voice assistants to live transcription services. However, scaling the…
Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
Federico Bruzzone, Walter Cazzola, Luca Favini
Modern programming languages, most notably Rust, offer advanced linguistic constructs for building highly configurable software systems as aggregation of features -- identified by…