Data centers: live migration
Manycore systems: performance modeling
system software
runtimes
live migration modeling
disaggregated resources
fault tolerance
compilers
verification
programming languages
programming language design
architecture
optimization of parallel workloads