Research
Research at the PLATO group covers the following projects:
- Graal compiler optimizations and GraalVM language-runtime enhancements
- ML-based static profiling
- Direct object snapshotting and sharing across application instances (DOSS)
- Direct heap-object transfer across application instances (DHOT)
- Stable measurements
- AOT-compiled code compression
- Application-coordinated garbage collection policies
- Code layout optimizations
- AOT-compiled native executable compression
- JASPER benchmark suite for evaluating JVM serializers
- Language-invariant abstract syntax trees (LINVAST)
- Software verification tool LAV
- SpeCS SPARQL query containment solver
- Functional programming language Wafl