|
CS709
Meets Thursdays at 4:15PM in 101 Phillips unless otherwise indicated. |
| 1/27/00 |
Bart
Selman, Cornell |
Understanding
Complexity: Recent Developments and Directions
|
| 2/3/00 |
Jon
Kleinberg, Cornell |
Information Networks: Some
Models and Algorithms |
| 2/10/00 |
Moses
Charikar*, Stanford |
Algorithms
for Clustering |
2/15/00
Tues.
B14Hollister |
Michael
Ernst*, Univ. of
Washington |
Dynamically
Detecting Likely Program Invariants |
| 2/17/00 |
Matteo Frigo,
MIT |
Cache-Oblivious
Algorithms |
| 2/24/00 |
Farnam Jahanian, Univ. of
Michigan |
Experimental
Study of Internet Stability and Wide-Area Backbone Failures |
2/29/00
Tues.
B14Holliste |
Salil
Vadhan*, MIT |
Pseudorandomness:
Connections and Constructions |
3/7/00
Tues.
B14Hollister |
Stefan
Savage*, Univ. of
Washington |
Network
Services in an Uncooperative Internet |
3/14/00
Tues.
B14Hollister |
Ion
Stoica*, CMU |
A
Stateless Core Approach for Scalable Internet Services |
| 3/16/00 |
Miguel
Castro*, MIT |
Practical
Byzantine Fault Tolerance |
3/28/00
Tues.
B17 Upson |
Anastassia
Ailamaki*, Univ. of Wisconsin |
Architecture-Conscious
Database Systems |
3/30/00
B17 Upson |
Amit
Sahai*, MIT |
Statistical
Zero Knowledge |
4/4/00
Tues.
B14Hollister |
Jun
Yang*, Stanford |
Temporal
Data Warehousing |
4/6/00
B17 Upson |
Cindy
Grimm*, Brown Univ. |
Between
geometry and images |
4/11/00
Tues.
B14Hollister |
Eddie
Kohler*, MIT |
The Click modular router and its programming language
Schedule |
4/13/00
Thurs.
B17 Upson |
Dan
Rubenstein*, U. Mass. |
Fair Congestion Control for Large-Scale Continuous-Media Internet Sessions
Schedule |
4/18/00
Tues.
B14Hollister |
Tuomas
Sandholm*, Washington University in St. Louis |
Leveled
Commitment Contracts for Automated Negotiation: A Backtracking
Instrument for Multiagent Systems Schedule |
4/25/00
Tues.
B14Hollister |
|
|
4/27/00
B17 Upson |
Marina
Meila-Predoviciu*, CMU |
Efficient
Leaning in high dimensions with trees and mixtures Schedule |
5/2/00
Tues.
B17 Upson |
James
O'Brien*, Georgia Instit. of Technology |
Generating
Synthetic Motion Using Physically Based Simulation Schedule |
5/4/00
B17Upson |
Gun
Sirer*, Univ. of Washington |
Distributed
Virtual Machines: A New System Architecture for Networked Computers
Schedule |
|
Fall 1999
Lectures
|
| Please direct comments and/or questions pertaining to this web site to collo@cs.cornell.edu |