Met dit werk heeft Francesco zijn doctoraat behaald
In 2024 bereikte een van Hoppinger's architecten een belangrijke mijlpaal in zijn carrière. Na vier jaar gedreven onderzoek heeft Francesco Di Giacomo met succes zijn proefschrift verdedigd aan Tilburg University, waarmee hij de titel Doctor in de Filosofie heeft verdiend.
Zijn werk richt zich op hoogwaardige meta-compilers. Dit zijn stukjes software die als input een algemene beschrijving van een programmeertaal accepteren (de syntactische elementen, de samenstellingsregels, en hoe deze om te zetten in code die de machine daadwerkelijk kan uitvoeren) en als output de compiler voor de taal zelf produceren.
Een inkijkje in de resultaten van zijn casestudy
Het resultaat toont een optimalisatie in de meta-compiler, gebruikmakend van een talige abstractie die is gebouwd op het wiskundige concept "Functors". Deze verbetert de prestaties van de gegenereerde code in vergelijking met dezelfde code die gegenereerd is met een niet-geoptimaliseerde versie.
Praktische toepassingen
Het werk is zeer abstract, maar heeft enkele geweldige industriële toepassingen. Een directe toepassing van Francesco's werk zien we in de OData-connector die hij bij Hoppinger aan het bouwen is. Hij ontwikkelt een compiler die, in real-time, de queryspecificatie die als input via een OData-eindpunt binnenkomt, vertaalt naar één enorme SQL-query die met zeer hoge prestaties kan worden uitgevoerd.
We zijn ongelooflijk trots dat we deel hebben uitgemaakt van dit prachtige traject. Nog meer zijn we echt enthousiast om voorop te lopen in innovatie, door wetenschappelijk onderzoek direct te integreren in onze dagelijkse technische werkzaamheden om de kwaliteitslat steeds hoger te leggen.
