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

2001 Colloquia

  • Avi Rubin-Thursday, December 20, 2001, Publius: A robust, tamper-evident, censorship-resistant web publishing system
  • Erhan Yilmaz-Thursday, December 13, 2001, Exploring the Tradeoff between Workconserving vs. Non-workconserving
  • CS446 final screening, Scott Stadium-Thursday, December 13, 2001,
  • David August-Monday, December 10, 2001, Architectural Exploration with Liberty Top Gun
  • Christopher W. Milner-Monday, December 10, 2001, Pipeline Descriptions for Retargetable Compilers
  • Hari Balakrishnan-Thursday, November 29, 2001, Pervasive Location-Aware Computing Top Gun
  • John Haskins, Jr.-Tuesday, November 13, 2001, Minimal Subset Evaluation: Rapid Warm-up for Simulated Hardware State
  • W. Michael McCracken-Monday, November 12, 2001, Why Can't Jack and Jill Program?
  • CSCP Meeting-Friday, November 09, 2001,
  • Gary McGraw-Monday, October 29, 2001, Building Secure Software, Why the standard approach to security doesn't work
  • Kimberly Hanks-Friday, October 26, 2001, Requirements Elicitation and Propagation: A Linguistic Analysis and Its Application
  • Klara Nahrstedt-Monday, October 22, 2001, Adaptive QoS Framework and its Application to Visual Tracking
  • Geoffrey M. Voelker-Wednesday, October 17, 2001, Sharing and Caching Characteristics of Internet Content: Implications on Large-Scale Caching and Content Delivery Systems Top Gun
  • Geoffrey M. Voelker-Wednesday, October 17, 2001, Inferring Internet Denial-of-Service Activity
  • Amy Felty-Monday, October 08, 2001, Foundational Proof-Carrying Code for Software Safety Top Gun
  • Nicolas Christin-Thursday, September 27, 2001, A Scalable Service Architecture for Quantitative Differentiation
  • Roger Ison-Friday, September 21, 2001, Borrow Every Changing Shape
  • Carl E. Landwehr-Friday, September 14, 2001, Ten Unsolved Problems in Information Assurance
  • T. J. Highley-Wednesday, September 05, 2001, Cost/Benefit File Prefetching for a Broad Class of System Models
  • Brian White-Friday, August 31, 2001, An Interposition Agent for the Legion File System
  • David Larochelle-Thursday, August 30, 2001, Methods for Statically Detecting Likely Buffer Overflow Vulnerabilities
  • Jinze Liu-Tuesday, August 07, 2001, Performance Evaluation of Real-time Scheduling Policies
  • Brian Jones-Monday, July 23, 2001, Real-time Stereoscopic Face Tracking for the ERICA System
  • Joel Winstead-Friday, July 20, 2001, Structured Exception Semantics for Parallel Loops
  • Michele Co-Friday, June 29, 2001, The Effects of Context Switching on Branch Predictor Performance
  • Seejo Sebastine-Monday, June 18, 2001,
  • Zary Segall-Friday, June 15, 2001, Mobile ad-hoc information systems
  • Alfred Inselberg-Tuesday, May 29, 2001, Multidimensional Visualization and Applications
  • Jennifer Chayes-Monday, April 23, 2001, Phase Transitions in Combinatorics and Computer Science
  • Eric Horvitz-Monday, April 23, 2001, Uncertainty, Attention, and Computing
  • Gary McGraw-Wednesday, March 21, 2001, Building Secure Software: Why the standard approach to security doesn't work
  • Honghui Lu-Wednesday, March 21, 2001, OpenMP on Networks of Workstations
  • Michael B. Jones-Tuesday, March 20, 2001, Predictable Scheduling for a Soft Modem
  • Panagiotis "Pete" Manolios-Monday, March 19, 2001, Combining Theorem Proving and Model Checking for the Verification of Reactive Systems
  • Helen J. Wang-Monday, March 12, 2001, Scalable, Robust Wide-area Control Architecture for Integrated Communications
  • Prof. Robin Murphy-Friday, March 09, 2001, Emotions and Kangaroos: New Approaches to Heterogeneous Robot Teams
  • Todd Austin-Wednesday, March 07, 2001, Building Buggy Chips - That Work! Top Gun
  • Jack Tumblin-Monday, March 05, 2001, Getting Past Pixels: Computed Visual Appearance for Digital Pictures
  • Yang Richard Yang-Wednesday, February 28, 2001, TCP-Friendly Congestion Control
  • Mark Oskin-Monday, February 26, 2001, Active Pages: Intelligent Memory for Commodity Systems
  • Vishal Misra-Wednesday, February 21, 2001, Designing better control strategies for the Internet
  • Alexander Hartemink-Monday, February 19, 2001, Principled Statistical Methods for the Validation and Discovery of Genetic Regulatory Networks from Expression Data
  • John Hopcroft-Monday, February 12, 2001, Future Directions for Computer Science Theory
  • Michael Gleicher-Wednesday, February 07, 2001, Animation by Adaptation Top Gun
  • Dana Randall-Thursday, February 01, 2001, Finding a Random Needle in a Combinatorial Haystack Top Gun
  • Chris Bailey-Kellogg-Wednesday, January 31, 2001, Algorithms and Systems for High-Throughput Structural Biology
  • David Brooks-Monday, January 29, 2001, Power-Aware Computing: New Challenges for the Computer Architect
  • Dr. Robert P. Colwell-Friday, January 26, 2001, Microprocessors Meet Maryann, the Steam Shovel
  • Lorrie Cranor-Wednesday, January 24, 2001, Online Privacy: What are People So Concerned About and What is Being Done About it? Top Gun