Interoperable domain-specific languages families for code generation.
Acculock: accurate and efficient detection of data races.
EMUSIM: an integrated emulation and simulation environment for modeling, evaluation, and validation of performance of Cloud computing applications.
Extending decoupled software pipeline to parallelize Java programs.
A wireless sensor network framework based on light databases.
Fast and effective soft links.