Running repeatable and controlled virtual routing experiments.
An effective monitoring framework and user interface design.
A generic decentralized trust management framework.
A data-centric framework for debugging highly parallel applications.
Design pattern based model transformation with tool support.
Gesture Formalization for Multitouch.
Is superoptimization viable for VM instruction sets?