University of Virginia Department of
    Computer Science

UVa Computer Science Colloquia

By type:   PhD Defenses   PhD Proposals   MS Thesis   MS Proposals  
Colloquia - By year: 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000,1999, 1998, 1997,  Top Gun Posters

2000 Colloquia

  • Jessica Hodgins-Wednesday, December 06, 2000, Animating with Simulation
  • Kang G. Shin-Friday, November 17, 2000, EMERALDS: A Small-Memory Real-Time Microkernel
  • Michael Ernst-Monday, November 13, 2000, Dynamically Detecting Likely Program Invariants
  • Karl Erich Wolff-Monday, November 06, 2000, Formal Concept Analysis - A Fundamental Knowledge Theory
  • Ben Shneiderman-Thursday, November 02, 2000, Educational Aspirins for Web Fever: Human Values for Shaping Educational Technology
  • Ben Shneiderman-Wednesday, November 01, 2000, Information Visualization for Access to Digital Libraries
  • Randy Pausch-Friday, September 29, 2000, Cross-Disciplinary Interaction: Confessions of a Technologist who has worked with Psychologists, Artists, and other Creatures Who are Strange to Me
  • Tom Rodeheffer-Thursday, September 28, 2000, Lets Build a TetraByte RAM
  • Vinton G. Cerf-Monday, September 25, 2000, The Internet Tidal Wave
  • Kevin Almeroth-Monday, September 18, 2000, Understanding Multicast Traffic in the Internet
  • Ness B. Shroff-Monday, September 11, 2000, Traffic Modeling, Analysis, and Measurements for Next Generation High-Speed Networks
  • Dr. Henry Fuchs-Wednesday, August 30, 2000, Being There: Exploring Remote Real-World Places By Teleimmersion
  • H. Shrikumar-Friday, July 07, 2000, Pervasive Networking: Challenges in "Wiring" Billions of Nodes
  • Chris Milner-Thursday, July 06, 2000, Generating Instruction Scheduling Information from Pipeline Graphs
  • Ruth Elizabeth Anderson-Thursday, May 25, 2000, Cascaded Execution: Speeding Up Unparallelized Execution on Shared-Memory Multiprocessors
  • Chris Hawblitzel-Wednesday, May 03, 2000, Adding operating system structure to language-based protection
  • Dr. Bunny J. Tjaden-Wednesday, April 19, 2000, Multimedia Meets Virtual Reality in Medical Education
  • Mark Brehob-Monday, April 17, 2000, NP-hard results for the optimal scheduling of certain non-standard caches
  • Jeffrey Forbes-Wednesday, April 12, 2000, Learning to Drive
  • Jan Jonsson-Monday, April 10, 2000, Real-Time Multiprocessor Scheduling: Some Insights and Implications
  • Dr. Tom Horton-Monday, April 03, 2000, Object-oriented Models for Text and Document Processing
  • Mostafa Ammar-Wednesday, March 22, 2000, Server Selection in Unicast and Multicast Information Delivery Environments
  • Lars Nyland-Friday, March 17, 2000, Acquisition and Rendering of 3D Environments
  • Ion Stoica-Thursday, March 09, 2000, A Stateless Core Approach for Scalable Internet Services
  • Chris Diorio-Monday, January 24, 2000, Neurobiology as Inspiration for Computer Engineering Top Gun