CS Department Colloquium Series

Parallel Proofs for Parallel Programs

03-25-2015

Iterative Methods, Combinatorial Optimization, and Linear Programming Beyond the Universal Barrier

03-23-2015

The Power of Asymmetry in Binary Hashing

03-12-2015

Deterministic Transaction Processing

03-12-2015

Unlocking Cellular Computation and Information Processing through Multidimensional Single-Cell Data

03-05-2015

Verifying distributed car and aircraft systems with logic and refinement

03-03-2015

Learning Systems: Systems and Abstractions for Large-Scale Machine Learning

02-26-2015

Rise of the Planet of the Apps: Security and Privacy in the Age of Bad Code

02-25-2015

Inference Attacks: Understanding Privacy in the Era of "Privacy is Dead"

02-24-2015

Building an Operating System for the Data Center

02-23-2015

Subscribe to CS Department Colloquium Series