| Date |
Speaker |
Title |
Host |
Thursday
1/24/08 |
Guy L. Steele , Jr.
Sun Microsystems
|
* Talk Canceled - to be rescheduled *
What's Cool About Fortress |
Schneider |
Thursday
1/31/08 |
Benjamin Pierce
University of Pennsylvania |
Adventures in Bidirectional Programming |
Myers |
Thursday
2/7/08 |
Michael Scott
University of Rochester |
Toward a Practical Transactional Programming Language |
Schneider |
Thursday
2/14/08 |
Armando Solar-Lezama
UC Berkeley |
Program Synthesis by Sketching |
Myers |
Tuesday
2/19/08 |
Pieter Abbeel
Stanford University |
Apprenticeship Learning for Robotic Control with Application to Quadruped Locomotion and Autonomous Helicopter Flight |
Joachims |
Thursday
2/21/08 |
Erik Sudderth
UC Berkeley |
Learning Hierarchical, Nonparametric Models for Visual Scenes |
Huttenlocher |
Tuesday
2/26/08 |
Stephen McCamant
MIT |
Quantitative Information-flow Tracking as Maximum Network Flow |
Kozen |
Thursday
2/28/08 |
Jeannette Wing
Carnegie Mellon University
National Science Foundation (NSF) |
Confidentiality Policy Extraction |
Constable |
Tuesday
3/4/08 |
Frances Perry
Princeton |
Reasoning about Software in the Presence of Transient Faults |
Kozen |
Thursday
3/6/08 |
Luis von Ahn
Carnegie Mellon University |
Human Computation |
J. Kleinberg |
Tuesday
3/11/08 |
Gerton Lunter
University of Oxford |
The Importance of Indels |
J. Kleinberg |
Thursday
3/13/08 |
Bill Thies
MIT |
Stream Programming: Luring Programmers into the Multicore Era
|
Myers |
No Colloquium - Spring Break |
Tuesday
3/25/08 |
Brian Milch
MIT |
Inferring What's Out There: Probabilistic Reasoning about Unknown Objects |
Halpern |
Thursday
3/27/08 |
Hakim Weatherspoon
Cornell University |
Storage Systems for Global Scale Datacenters |
Birman |
Thursday
4/3/08 |
Gad Kimmel
UC Berkeley |
Computational Problems in Human Genetics |
Keich |
Monday
4/7/08 |
Bryan Ford
MIT |
Intuitive Global Connectivity for Personal Mobile Devices
** 4:15 pm in 5130 Upson Hall ** |
Schneider |
Tuesday
4/8/08 |
Jure Leskovec
Carnegie Mellon |
Dynamics of Real-World Networks |
J. Kleinberg |
Thursday
4/10/08 |
Su-In Lee
Stanford University |
Machine Learning Approaches for Understanding the Genetic Basis of Complex Traits |
Keich |
Tuesday
4/15/08 |
Feng Chen
UIUC |
Runtime Monitoring for Reliable Software |
Myers |
Tuesday
4/22/08 |
Noah Snavely
University of Washington
|
Modeling and Visualizing the World from Internet Photo Collections |
Marschner |
Thursday
4/24/08 |
Maxwell Krohn
MIT |
Securing the Web With Decentralized Information Flow Control |
Schneider |
Tuesday
4/29/08 |
Adam Barth
Stanford University |
Analyzing and Improving Privacy and Security Policies |
Halpern |
Thursday
5/1/08 |
Costis Daskalakis
UC Berkeley |
Computing Equilibria in Games |
R. Kleinberg |
Monday
5/5/08 |
Guy Hoffman
MIT |
Embodied Artificial Intelligence for Personal Robots and Synthetic Characters
** 11 am in 315 Upson Hall ** |
Pass |
Tuesday
5/6/08 |
Walker White
Cornell |
Database Processing in Computer Games
** 12 pm in 5130 Upson Hall ** |
Tardos |
Colloquia from previous semesters:
Fall 2007
Spring 2007
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
|
| |