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

Please direct any comments or questions about this site to collo@cs.cornell.edu