5 papers
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.…
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…
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…
Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
Federico Bruzzone, Walter Cazzola, Luca Favalli
Developing editing support for languages in editors is complex and time-consuming. Some languages do not provide dedicated editors, while others offer a single native edito…