I am a second-year PhD student advised by Prof. Dr. Laurent Vanbever in the Networked Systems Group at ETH Zurich. My research lies in the area of quantum networks. These networks offer new computational and security primitives that are not available in the classical world. For instance, they allow for a notion of privacy based on the laws of physics instead of hardness assumptions for computational problems.
Before starting my PhD, I spent eight months at CERN in the communication systems (IT-CS) group supervised by Edoardo Martelli. My work there contributed to network-optimized transfers of experimental data.
I received both my bachelor and master degree in electrical engineering and information technology from ETH Zurich. In my master thesis, I implemented machine learning techniques in the data plane. This approach offers real-time inference without traffic sampling.
ACM EuroP4 2022. Rome, Italy (December 2022).
Over the last years, P4 has positioned itself as the primary language for data-plane programming. Despite its constant evolution, the P4 language still ``suffers'' from one significant limitation: the voluminosity of its code. P4 applications easily reach thousands of lines of code, becoming hard to develop, debug, and maintain. The reason is two-fold: P4 requires many characters to express individual concepts (verbosity), and it relies on code repetition (lack of parametrization).
Today, P4 users overcome this limitation by relying on templating tools, hand-crafted scripts, and complicated macros. Unfortunately, these methods are not optimal: they make the development process difficult and do not generalize well.
In this work, we propose reducing the voluminosity of P4 code by introducing higher-level constructs to the language. We present O4, an extended version of P4, that includes three higher-level abstractions: arrays (which group same-type entities together), loops (which reduce simple repetitions), and factories (which enable code parametrization).
We evaluate O4 on several state-of-the-art programs and show how, with respect to P4: (i) it reduces code volumes by up to 80%, (ii) it decreases code verbosity by 44% on average, and (iii) it cuts duplicated code by 60%. We show how these benefits come with just a 3.5% increase in compilation time.