Ivan Ristović: Direct Data-Snapshotting and Snapshot Sharing Across Cloud-Native Applications. Doctoral Dissertation, Faculty of Mathematics, University of Belgrade. URL
Stefan Milenković: Improving the GraalMHC Static Profiler Using Semantics from Method Names. Masters Thesis, Faculty of Mathematics, University of Belgrade. URL
2025
Aleksandar Stefanović: Razrešavanje reflektivnih poziva statičkom analizom Java bajtkoda. Masters Thesis, Faculty of Mathematics, University of Belgrade. URL
Milan Čugurović: Prediction of Program Profiles Using Machine Learning Techniques. Doctoral Dissertation, Faculty of Mathematics, University of Belgrade. URL
2024
Milica Karličić: Poboljšanje efikasnosti klijent-server aplikacija dinamičkim podešavanjem parametara skupljača otpadaka u sistemu GraalVM. Masters Thesis, Faculty of Mathematics, University of Belgrade. URL
2020
Ivan Ristović: Jezički invarijantna provera semantičke ekvivalentnosti strukturno sličnih segmenata imperativnog koda. Masters Thesis, Faculty of Mathematics, University of Belgrade. URL
