Група за програмске језике и алате
Група за програмске језике и алате (PLATO) бави се истраживањима у области програмских језика и алата за развој софтвера, повезујући теоријске основе са практичном применом. Њена интересовања обухватају обликовање и имплементацију програмских језика, развој компилатора и оптимизацију кода, као и статичку анализу, верификацију софтвера и аутоматско проналажење програмских грешака. Међу пројектима групе су унапређење перформанси и могућности GraalVM-а, развој алата LAV за верификацију софтвера, решавач SpeCS за испитивање садржаја SPARQL упита и дизајн и имплементација функционалног програмског језика Wafl. Истраживања обухватају и примену машинског учења у предвиђању понашања програма и подешавању параметара компилатора, као и развој језички-инваријантних апстрактних синтаксичких стабала.
Детаљне информације о раду групе доступне су на страници: