Истраживања
Истраживање групе PLATO обухвата следеће пројекте:
- Оптимизације компилатора Graal и унапређења окружења за извршавање GraalVM
- Статичко профилисање засновано на машинском учењу
- Директно снимање података и дељење снимака између инстанци апликације (DOSS)
- Директан пренос објеката са хипа између инстанци апликације (DHOT)
- Стабилна мерења
- Компресија AOT-компилираног кода
- Политике сакупљања отпада координисане са апликацијом
- Оптимизације распореда кода
- Компресија AOT-компилираних извршивих програма
- Скуп референтних програма JASPER за евалуацију серијализатора на JVM
- Апстрактна синтаксна стабла независна од језика (LINVAST)
- Алат за верификацију софтвера LAV
- Решавач SpeCS за утврђивање садржаности SPARQL упита
- Функционални програмски језик Wafl