Formal research contributions conducted during my undergraduate and graduate studies.
Using Machine Learning to Optimize the Worklist Algorithm of Static Analyses
How framing worklist component selection as a Learning-to-Rank problem reduced algorithmic iterations by 35.8%.
Master's Thesis
Coming 2027 - 2028 @ KU Leuven