Istraživanja
Istraživanje grupe PLATO obuhvata sledeće projekte:
- Optimizacije kompilatora Graal i unapređenja okruženja za izvršavanje GraalVM
- Statičko profilisanje zasnovano na mašinskom učenju
- Direktno snimanje podataka i deljenje snimaka između instanci aplikacije (DOSS)
- Direktan prenos objekata sa hipa između instanci aplikacije (DHOT)
- Stabilna merenja
- Kompresija AOT-kompiliranog koda
- Politike sakupljanja otpada koordinisane sa aplikacijom
- Optimizacije rasporeda koda
- Kompresija AOT-kompiliranih izvršivih programa
- Skup referentnih programa JASPER za evaluaciju serijalizatora na JVM
- Apstraktna sintaksna stabla nezavisna od jezika (LINVAST)
- Alat za verifikaciju softvera LAV
- Rešavač SpeCS za utvrđivanje sadržanosti SPARQL upita
- Funkcionalni programski jezik Wafl