Computing
Cross-platform software
Logic in computer science
Runtime verification
Benchmark
Standard Performance Evaluation Corporation
Marq
AspectJ
Java
Overclocking