Colloquium and Seminar Speakers

September 1999

Takeo Kanade, Dept. of Computer Science, CMU. Virtualized Reality: Digitizing a 3D Time-Varying Real Event As Is and in Real Time.

Allan Borodin, Dept. of Computer Science, Univ. of Toronto. Lower Bounds for High Dimensional Nearest Neighbor Search and Related Problems.

Doug Smith, Kestrel Institute. Designware: Mechanizing Software Development by Refinement.

October 1999

Donald Greenberg, Program of Computer Graphics, Cornell Univ. Progress, Problems and Potential.

Peter Shirley, Dept. of Computer Graphics, Univ. of Utah. Ray Tracing for Interactive 3D.

Ivet Bahar, Dept. of Polymer Research Center, Bogazici Univ. Some Computational Tools for Rapid Characterization of Biomolecular Structure and Dynamics.

Peter Lee, Carnegie Mellon Univ. and Cedilla Systems. Taking Programming Language Theory to Practice. Stephen Marschner, Microsoft Research. Realistic Rendering Using Measured Reflectance.

November 1999

Michael Kearns, AT & T. Sparse Sampling Methods for Learning and Planning.

Jeanette Wing, Dept. of Computer Science, CMU. Reasoning About Security Protocols.

James Gray, Microsoft. What Next? A Few Remaining Problems in Information Technology.

Roy Levin, Compaq Systems Research Center. Staying Afloat in a Sea of Versions: The Vesta Approach to Software Configuration Management.

Golan Yona, Stanford Univ. Methods for Global Self-organization of all Known Proteins –Towards a Map of the Protein Space.

January 2000

Bart Selman, Dept. of Computer Science, Cornell Univ. Understanding Complexity: Recent Developments and Directions.

February 2000

Jon Kleinberg, Dept. of Computer Science, Cornell Univ. Information Networks: Some Models and Algorithms.

Moses Charikar, Dept. of Computer Science, Stanford Univ. Algorithms for Clustering.

Michael Ernst, Dept. of Computer Science, Univ. of Washington. Dynamically Detecting Likely Program Invariants.

Matteo Frigo, MIT, Biomedin, s.r.l. Cache-Oblivious Algorithms.

Farnam Jahanian, Dept. of Computer Science, Univ. of Michigan. Experimental Study of Internet Stability and Wide-Area Backbone Failures.

Salil Vadhan, Dept. of Computer Science, MIT. Pseudorandomness: Connections and Constructions.

March 2000

Stefan Savage, Dept. of Computer Science, Univ. of Washington. Network Services in an Uncooperative Internet.

Ion Stoica, Dept. of Computer Science, CMU. A Stateless Core Approach for Scalable Internet Services.

Miguel Castro, Dept. of Computer Science, MIT. Practical Byzantine Fault Tolerance.

Anastassia Ailamaki, Dept. of Computer Science, Univ. of Wisconsin. Architecture-Conscious Database Systems.

Amit Sahai, Dept. of Computer Science, MIT. Statistical Zero Knowledge.

April 2000

Jun Yang, Dept. of Computer Science, Stanford. Temporal Data Warehousing.

Cindy Grimm, Dept. of Computer Graphics, Brown Univ. Between Geometry and Images.

Eddie Kohler, Dept. of Computer Science, MIT. The Click Modular Router and its Programming Language.

Dan Rubenstein, Dept. of Computer Science, Univ. of Massachusetts. Fair Congestion Control for Large-Scale Continuous-Media Internet Sessions.

Tuomas Sandholm, Dept. of Computer Science, Washington Univ. Leveled Commitment Contracts for Automated Negotiation: A Backtracking Instrument for Multiagent Systems.

Marina Meila-Predoviciu, Dept. of Computer Science, CMU. Efficient Learning in high dimensions with trees and mixtures.

May 2000

James O’Brien, Dept. of Computer Science, Georgia Institute of Technology. Generating Synthetic Motion Using Physically Based Simulation.

Emin Gun Sirer, Dept. of Computer Science, Univ. of Washington. Distributed Virtual Machines: A New System Architecture for Networked Computers.