Alexandria Digital Research Library

Elasticity primitives for database as a service

A visual analysis toolkit for microscopic image mosaics of retinal astrocytes

Enabling wide-scale computer science education through improved automated assessment tools

Scalable graph algorithms in a high-level language using primitives inspired by linear algebra

Analysis and verification of web application data models

Interactive remote collaboration using augmented reality

Geometric Pursuit Evasion

Modular wireless networks for infrastructure-challenged environments

Resource-efficient wireless systems for emerging wireless networks