Jim Larus
Microsoft Research
A New Generation of Systematic Programming Tools
October 18, 2002

Eugene Spafford
Purdue University
Myths, Fads, and False Economies:  How NOT to Get Secure Systems
November 1, 2002

Mary Jane Irwin
Pennsylvania State University
Low Power Systems: Hardware to Software
December 6, 2002

Julia Hirschberg
AT&T Research/Columbia University
Browsing and Searching Audio Data: SCANMail
January 24, 2003

Prabhakar Raghavan
Verity Inc.
Social network analysis: algorithms and applications
February 7, 2003