Computer Science Colloquium, Spring 2007

Thursdays at 4:15pm in B17 Upson (Unless otherwise indicated)

Date Speaker Title Host
Thursday
1/25/07
Avrim Blum
Carnegie Mellon
Thoughts on Learning and Clustering
Joachims

Tuesday
1/30/07

Plamen Koev
MIT

Computation of Accurate Eigenvalues and its Applications - from Electrical Impedance Tomography to 3D Target Recognition

** 4:15 pm in 5130 Upson Hall **

Van Loan
Thursday
2/1/07
Ken Dill
UC San Francisco
Protein Folding as a Global Optimization Problem
Elber
Thursday
2/8/07
Amy Greenwald
Brown University

Autonomous Bidding Agents: Strategies and Lessons from TAC Travel

** 4:15 pm in B11 Kimball Hall **

Kozen
Thursday
2/15/07
Rich Caruana
Cornell University

Which Supervised Learning Method Works Best for What? An Empirical Comparison of Learning Methods and Metrics++

( Kevin Knight - Cancelled Due to Weather)

 
Tuesday
2/20/07
Lek-Heng Lim
Stanford University

Numerical Multilinear Algebra In Data Analysis

*4:15 pm in 5130 Upson Hall*

Van Loan
Thursday
2/22/07
Daniel Abadi
MIT
Query Execution in Column-Oriented Database Systems Gehrke
Thursday
3/1/07
Cong Yu
University of Michigan
Taming Complex Databases through Schema Summaries Gehrke
Tuesday
3/6/07
Manu Sridharan
UC Berkeley

Practical Analysis Tools for Large-Scale Software Development

Myers
Thursday
3/8/07
Jeremy Condit
UC Berkeley
Deputy: Dependent Types for Safe Systems Software Myers
Tuesday
3/13/07
Michael Freedman
NYU
Democratizing Content Distribution Birman
Thursday
3/15/07
Mayur Naik
Stanford
Effective Static Race Detection for Java Rugina
Tuesday, March 20 & Thursday, March 22 - No Colloquium - Spring Break
Tuesday
3/27/07
Eran Halperin
UC Berkeley

Whole-Genome Disease Association Studies: Challenges and Solutions

Co-sponsored by Cornell Life Sciences Initiative

Keich
Thursday
3/29/07
Ed Nightingale
University of Michigan
Improving the Performance of Highly Reliable Software Systems Sirer
Tuesday
4/3/07
Yun Song
UC Davis

Graphical and Algorithmic Approaches to Probability Computation in Genetics

Co-sponsored by Cornell Life Sciences Initiative

Keich
Thursday
4/5/07
Michael Walfish
MIT
Defending Networked Resources Against Floods of Unwelcome Requests Francis
*Monday
4/9/07
Bianca Schroeder
Carnegie Mellon

From web servers to databases to storage systems: A methodological approach to system design

*4:15 pm in 5130 Upson Hall*

van Renesse
Thursday
4/12/07
Alice Zheng
Carnegie Mellon
Statistical Failure Diagnosis in Software and Systems Halpern
Thursday
4/19/07
Aaron Bradley
Stanford University
Analyzing Properties of Systems Halpern
Friday
4/20/07
Ted Kremenek
Stanford University

From Uncertainty to Bugs: Inferring Bugs in Systems With Static Analysis and Probabilistic Graphical Models

* 12:45 pm in 315 Upson Hall *

Myers
Tuesday
4/24/07
Geoffrey West
Santa Fe Institute

The Complexity, Simplicity, and Unity of Living Systems; Universal  Scaling Laws from Cells to Cities

Joint Colloquium with MAE - 4:15 pm B17 Upson

Lipson
Thursday
4/26/07
Scott Aaronson
University of Waterloo
The Limits of Quantum Computers Kleinberg
Pass
Tuesday
5/1/07
     
Thursday
5/3/07
     

 

Colloquia from previous semesters:
Fall 2006
Spring 2006
Fall 2005
Spring 2005
Fall 2004
Spring 2004
Fall 2003
Spring 2003
Fall 2002
Spring 2002
Fall 2001
Spring 2001
Fall 2000
Spring 2000