CIS Seminars & Events

Fall 2008

Thursday, September 4, 2008
Rajeev Alur
Dept. of Computer and Information Science
"Software Model Checking"

Thursday, September 11, 2008
Milo Martin
"HardBound Architectural Support for Spatial Safety of the C Programming Language"

Tuesday, September 16, 2008
Zack Ives
"Orchestra: Sharing Inconsistent Data in a Consistent Way"

Thursday, September 18, 2008
Paul Francis
Computer Science Dept., Cornell University
"Scaling Internet Routing with Legacy Routers"

Thursday, September 25, 2008
Valentina Salapura
Exploratory Server Systems Group, IBM T.J. Watson Research Center
"Scaling Up Next Generation Supercomputers"

Thursday, October 16, 2008
Alex Aiken
Computer Science Dept, Stanford University
"Verifying a Security Property of an Operating System"

Thursday, October 23, 2008
Andy Yao
Center for Advanced Study, Tsinghua University
"Secure Multiparty Computation and Percolation Theory"

Tuesday, October 28, 2008
Merrick Furst
College of Computing, Georgia Tech
"Threads: Restructuring Computer Science Curricula for a Flat World"

Tuesday, November 4, 2008
Ani Nenkova
"Modeling text quality in newspaper text and machine translation"

Thursday, November 6, 2008
Jean Gallier
"What is a Proof?"

Tuesday, November 11, 2008
Ben Taskar
"From Co-occurrence to Correspondence"

Thursday, November 13, 2008
Guy Blelloc
Department of Computer Science, Carnegie Mellon University
"Parallel Thinking"

Tuesday, November 18, 2008
Oleg Sokolsky
"Runtime Verification"

Thursday, November 20, 2008
Umesh Vazirani
Berkeley Quantum Computing Center, Computer Science Division, University of California at Berkeley
"The truth about quantum computers"

Tuesday, November 25, 2008
Robin Permantle
Dept. of Mathematics
"An upper bound on the time for quadratic sieving"

Tuesday, December 2, 2008
Grace Hopper Distinguished Lecture
Anna Karlin
University of Washington
" A Survey of Some Recent Research at the Border of Game Theory, Algorithms and Economics"

Thursday, December 4, 2008
Doug Burger
Computer Sciences and Electrical & Computer Engineering, University of Texas
"The Golden Age of Architecture (?)"