Computer Science Colloquium, Spring 2008

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

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

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