CS Department Colloquium Series

Software Verification: Locks and MLoCs*

04-02-2014

Programming for Everyone: From Solvers to Solver-Aided Languages and Beyond

03-31-2014

Transport Architectures for an Evolving Internet

03-27-2014

Building Embedded Sensor Systems to Bring Ubicomp to Life

03-25-2014

Verified Approximate Computing

03-24-2014

Machine Learning in the Wild

03-13-2014

Recursive Deep Learning for Modeling Compositional Meaning in Language

03-11-2014

Packet Transport Mechanisms for Data Center Networks

03-10-2014

Statistical models to study how a genetic variant impacts an organism

03-03-2014

Guaranteed Learning of Latent Variable Models: Overlapping Community Models and Overcomplete Representations

02-27-2014

Subscribe to CS Department Colloquium Series