Grupa za programske jezike i alate
Grupa za programske jezike i alate (PLATO) bavi se istraživanjima u oblasti programskih jezika i alata za razvoj softvera, povezujući teorijske osnove sa praktičnom primenom. NJena interesovanja obuhvataju oblikovanje i implementaciju programskih jezika, razvoj kompilatora i optimizaciju koda, kao i statičku analizu, verifikaciju softvera i automatsko pronalaženje programskih grešaka. Među projektima grupe su unapređenje performansi i mogućnosti GraalVM-a, razvoj alata LAV za verifikaciju softvera, rešavač SpeCS za ispitivanje sadržaja SPARQL upita i dizajn i implementacija funkcionalnog programskog jezika Wafl. Istraživanja obuhvataju i primenu mašinskog učenja u predviđanju ponašanja programa i podešavanju parametara kompilatora, kao i razvoj jezički-invarijantnih apstraktnih sintaksičkih stabala.
Detaljne informacije o radu grupe dostupne su na stranici: