Embedded Linux
Smartphones
Information flow
Information theory
Android
Apache Ant
Type system
Java
Static single assignment form
Software
Computing
Cross-platform software