Picking literature

Container orchestration

Debugging and tracing

Measurements and economics

GPU

Formal models

Network-intensive applications

Scheduling and latency

Security

Unikernels and language models

Virtual machine primitives