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
|
|