8 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.…
Comprehension vs. Adoption: Evaluating a Language Workbench Through a Family of Experiments
Giovanna Broccia, Maurice H. ter Beek, Walter Cazzola +3
Language workbenches are tools that enable the definition, reuse, and composition of programming languages and their ecosystems, aiming to streamline language development. To facil…
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…