CS Department Colloquium Series

Algorithmic Software Verification

03-08-2010

Side Channels and their Mitigation in Cloud Computing Security

03-01-2010

Physical Interfaces For Applications In Music

02-24-2010

Show and Tell, Search and Research

02-18-2010

Who are your closest relatives? Algorithms for reconciling non-binary species trees

02-17-2010

Simultaneous Alignment and Phylogenetic Tree Estimation

02-03-2010

Smart Assertions for Dumb Provers

12-16-2009

PlanetLab: From Testbed to Service Deployment Platform

12-09-2009

Establishing Resource Allocation Policies in the PlanetLab Federation

11-11-2009

Network-Level Spam and Scam Defenses

10-29-2009

Subscribe to CS Department Colloquium Series