Practical Elegance: Designing programming models for large-scale systems
11-11-2013
CS Department Colloquium Series
Local erasure coding for data storage
10-23-2013
How to Encrypt Software
09-25-2013
The Knowledge of Preconditions principle
09-09-2013
Design Mining the Web
04-15-2013