Department Events


[ View Current Schedule ] Archives: [2013] [2012] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [1998]

Thursday, December 9, 2004, 4:30 PM - 6:00 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Nicholas Pippenger
Phase Transitions in Hard Optimization Problems
Dimitris Achlioptas, Microsoft
[view abstract].

Tuesday, December 7, 2004, 4:00 PM - 5:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Virginia Hogan
Title currently unavailable.
TBD

Abstract:


Thursday, December 2, 2004, 4:00 PM - 5:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Robert Tarjan
Derandomizing Auctions
Andrew Goldberg, Microsoft
[view abstract].

Wednesday, December 1, 2004, 4:30 PM - 6:00 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Olga Troyanskaya
The Eyes Have It: User Interfaces for Information Visualization
Ben Shneiderman, University of Maryland
[view abstract].

Tuesday, November 30, 2004, 4:30 PM - 6:00 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Olga Troyanskaya
Leonardo's Laptop: Human Needs and the New Computing Technologies
Ben Shneiderman, University of Maryland
[view abstract].

Wednesday, November 10, 2004, 4:00 PM - 5:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Nicholas Pippenger
Correctness of an Operating System Microkernel
Wolfgang Paul, Saarland University
[view abstract].

Thursday, November 4, 2004, 4:00 PM - 5:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Adam Finkelstein
Unlocking the Clubhouse: Women in Computing
Allan Fisher, CMU
[view abstract].

Wednesday, October 20, 2004, 4:00 PM - 5:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Edward Felten
Title currently unavailable.
Bill Cheswick, Lumeta

Abstract:


Thursday, October 14, 2004, 4:00 PM - 5:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Sanjeev Arora
Toward Privacy in Public Databases
Cynthia Dwork, Microsoft Research
[view abstract].


Please see this link for more information.


Monday, October 11, 2004, 4:30 PM - 6:00 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Andrew Appel
The Risks of Electronic Voting
Dan Wallach, Rice University
[view abstract].

Wednesday, October 6, 2004, 4:00 PM - 5:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Szymon Rusinkiewicz
Google: A Computer Scientist's Playground
Craig Nevill-Manning, Google
[view abstract].

Monday, May 10, 2004, 10:30 AM - 12:00 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Sanjeev Arora
Opening the Black-Box: New Techniques in Cryptography
Boaz Barak, Institute for Advanced Study
[view abstract].

Thursday, May 6, 2004, 4:30 PM - 6:00 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Kai Li
End System Multicast
Hui Zhang, Carnegie Mellon University
[view abstract].

Wednesday, May 5, 2004, 1:00 PM - 2:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Maria Klawe
Finishing the Revolution
Greg Papadopoulos, Sun Microsystems

Abstract:


Please see this link for more information.


Tuesday, May 4, 2004, 4:00 PM - 5:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Virginia Hogan
Title currently unavailable.
TBD

Abstract:


Thursday, April 29, 2004, 4:30 PM - 6:00 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Edward Felten
Anonymous Communication and Tor
Paul Syverson, US Naval Research Laboratory
[view abstract].

Wednesday, April 28, 2004, 4:00 PM - 5:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Robert Schapire
Knowledge-lean Approaches to Natural Language Processing
Lillian Lee, Cornell University
[view abstract].


Please see this link for more information.


Tuesday, April 27, 2004, 4:30 PM - 6:00 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Moses Charikar
Cascading Behavior and Bursty Dynamics in Computational Models of Social Networks
Jon Kleinberg, Cornell University
[view abstract].

Friday, April 16, 2004, 2:00 PM - 3:30 PM
Seminar
Friend Center 013
Host: Andrew Appel
Grid Computing and Foundational Certified Code
Karl Crary, Carnegie Mellon University

Grid computing seeks to harness idle computing power on the Internet to create a huge supercomputer available to the public. Many obstacles exist to making this vision a reality; a primary obstacle is the understandable reluctance of computer owners to execute code from sources they do not trust. This obstacle limits participation in the grid to the small number who can afford to cultivate pre-arranged trust relationships for their applications.

The ConCert project seeks to make the grid universally usable by eliminating the need for trust when disseminating applications. This is achieved using certified code to ensure that grid applications comply with a safety policy. However, certified code can raise other obstacles to universal usability. In particular, if a safety policy is overly specific, it may unnecessarily limit the number of applications that can comply, and therefore limit the number that can use the grid.

This talk discusses our work to resolve this issue through foundational certified code, wherein the safety policy is as general as possible. Foundational certified code has been infamously difficult to work with, as its certificates must include complete (and typically complicated) safety arguments to the level of the concrete architecture that tend. We discuss our system, called TALT, which employs a unique methodology based in metalogic and operational semantics that ameliorates these difficulties.

(This is joint work with Susmit Sarkar.)


Thursday, April 15, 2004, 4:00 PM - 5:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Virginia Hogan
Title currently unavailable.
TBD

Abstract:


Wednesday, April 14, 2004, 4:00 PM - 5:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Vivek Pai
Reverse-Engineering the Internet
Neil Spring, University of Washington
[view abstract].


Please see this link for more information.


Monday, April 12, 2004, 4:00 PM - 5:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Robert Schapire
Rational Kernels -- A General Classification Framework for the Analysis of Text and Speech
Mehryar Mohri, AT&T Labs
[view abstract].


Please see this link for more information.


Thursday, April 8, 2004, 4:30 PM - 6:00 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Larry Peterson
Internet Traffic Measurement: From Packets to Insight
Cristian Estan, University of California San Diego
[view abstract].

Wednesday, April 7, 2004, 4:30 PM - 6:00 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Kenneth Steiglitz
Mechanism Design for Computationally Limited Agents
Kate Larson, Carnegie Mellon University
[view abstract].

Tuesday, April 6, 2004, 4:00 PM - 5:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Virginia Hogan
Title currently unavailable.
TBD

Abstract:


Monday, April 5, 2004, 4:00 PM - 5:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Maria Klawe
In Search of Seamless Collaboration
Kori Inkpen, Dalhousie University
[view abstract].

Thursday, March 25, 2004, 4:30 PM - 6:00 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Larry Peterson
Improving the End-to-End Availability of Internet -Based Systems
David Andersen, MIT
[view abstract].

Tuesday, March 23, 2004, 4:30 PM - 6:00 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Robert Schapire
Message-passing Algorithms in Graphical Models and their Applications to Large-Scale Stochastic Systems
Martin Wainwright, UC Berkeley
[view abstract].


Please see this link for more information.


Thursday, March 11, 2004, 4:30 PM - 6:00 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Moses Charikar
Unsupervised Learning of Natural Language Structure
Dan Klein, Stanford University
[view abstract].

Tuesday, March 9, 2004, 4:30 PM - 6:00 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Larry Peterson
Stable Internet Routing Without Global Coordination
Jennifer Rexford, AT&T Labs-Research
[view abstract].

Wednesday, March 3, 2004, 4:00 PM - 5:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Robert Schapire
Multi-Robot Coordination in Highly Dynamic Environments
Manuela Veloso, Carnegie Mellon University
[view abstract].


Please see this link for more information.


Tuesday, February 17, 2004, 3:30 PM - 5:00 PM
Colloquium
Computer Science Large Auditorium (Room 104)
Host: Robert Tarjan
Heuristic Search and Triangle Inequality
Andrew V. Goldberg, Microsoft Research -- Silicon Valley
[view abstract].

Monday, February 16, 2004, 12:30 PM - 2:00 PM
Seminar
McDonnell Hall A01
Extracting Biological Information from Genome-Scale Experimentation
David Botstein, Genomics Institute, Princeton University



Wednesday, February 11, 2004, 4:00 PM - 5:30 PM
Colloquium
Computer Science Small Auditorium (Room 105)
Host: Olga Troyanskaya
Comparative Genomics for Biodefense: Tracking the Source of the 2001 Anthrax Attacks
Steven Salzberg, Institute for Genomic Research
[view abstract].

Monday, February 9, 2004, 4:00 PM - 5:30 PM
Seminar
Computer Science Small Auditorium (Room 105)
Host: Kai Li
An Overview of Microsoft Research Silicon Valley
Lintao Zhang, Microsoft Research

In this talk we will give a brief description of the organization of Microsoft Research and its role in Microsoft. In particular, we will discuss some of the on-going projects in MSR Silicon Valley lab, the newest lab of Microsoft Research which focuses on distributed system research. These projects range from anti-spam to specification and verification to distributed storage systems. MSR-SV is constantly looking for talented people and we hope this talk will give prospect candidates a picture of the on-going research activities in MSR-SV