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

2002 Colloquia

  • Dharmesh Parikh-Monday, December 16, 2002, Power Aware Branch Prediction: Characterization and Design
  • Department Holiday Party-Monday, December 16, 2002,
  • Jianbo Su-Monday, December 16, 2002, Sensor-Fusion with Incremental Learning Ability
  • Clifford Lynch-Monday, December 16, 2002, Preserving the Digital
  • Sylvia Nasar-Friday, December 13, 2002, A Beautiful Mind
  • Allison Druin-Monday, December 09, 2002, Designing Digital Libraries for Children (Washington Post Article) Top Gun
  • Virginia Center for Computer Music Open House-Friday, December 06, 2002,
  • Lawn Lighting-Thursday, December 05, 2002,
  • CS201j Snakes Tournament-Thursday, December 05, 2002,
  • Guimin Zhang-Tuesday, December 03, 2002, MessageStore: A Message Repository Service for Overlay Networks
  • Mike McNett-Thursday, November 21, 2002, Day-to-day Army-level Information Assurance Operations at the Continental United States Theater Network Operations and Security Center (C-TNOSC)
  • Jack Stankovic-Thursday, November 21, 2002, An Open Forum for CS and CpE Majors with the CS Dept. Chair
  • David R. Mikesell-Friday, November 15, 2002, Tightly Coupled Modeling in Environmental Simulations
  • Barbara Tillett-Tuesday, November 12, 2002, Functional Requirements for Bibliographic Records: What is FRBR and how will it impact our cataloging rules and authority control?
  • Christopher Lutz-Monday, November 11, 2002, Manual Editing of Laser Rangefinder Images
  • Babak Falsafi-Friday, November 08, 2002, Breaking the Memory Wall Top Gun
  • Dr. Jack Marin, Ph.D.-Friday, November 08, 2002, Denial of Service Triage System
  • Vinay Igure-Thursday, October 31, 2002, A Defense Against 'Sleep-Deprivation' Attack
  • Marco Pescosolido-Monday, October 28, 2002, Introduction to K: A High-Performance Vector Processing Language
  • Dennis Bushnell-Thursday, October 24, 2002, Technology Futures (A Wave-Top Tour through Emerging Technologies and their Potential Applications and Implications): The 'Bots, 'Borgs, and (Genetically Modified) Humans Welcome You to 2025 A.D.
  • Emily Frye-Thursday, October 17, 2002, Network Security and the Law: An Interdisciplinary Perspective
  • Malathi Veeraraghavan-Monday, October 14, 2002, Enabling high-bandwidth applications using optical networks
  • Dr. Paul Debevec-Wednesday, October 09, 2002, Computer Animation with Real-World Lighting Top Gun
  • Jim Gemmell-Monday, September 30, 2002, MyLifeBits: Fulfilling the Memex Vision
  • Yvan Pointurier-Monday, August 12, 2002, Link Failure Recovery for MPLS Networks with Multicasting
  • Anand Srinivasan-Friday, August 09, 2002, Rate-Based Task Scheduling on Multiprocessors
  • Siddharth Dalal-Thursday, August 08, 2002, Accelerating Physical Simulation Using Neural Network Approximation and Principal Components Analysis
  • Greg Yukl-Monday, August 05, 2002, Source Code Generation Support for Programming Languages
  • Christopher Taylor-Tuesday, July 30, 2002, A Mathematical Model for Knowledge Acquisition
  • Haiyong Wang-Wednesday, July 17, 2002, Building a Resource-aware Overlay Network
  • Michael T. Niemier-Monday, July 01, 2002, The Effects of a New Technology on the Design, Organization, and Architectures of Computing Systems
  • Final Exercises-Sunday, May 19, 2002,
  • Kevin Hirst-Friday, May 10, 2002, Hardware Support for Software Dynamic Translation: Hot Spot Detection in Strata
  • Tom Sabanosh-Thursday, May 09, 2002, Modeling Crosscutting Concerns in Physical Architectures
  • Benjamin Hallen-Thursday, May 09, 2002, A Model of Value-driven Program Population Evolution
  • Darren Drewry-Wednesday, May 08, 2002, An Optimization-Based Multi-Resolution Simulation Methodology
  • Shaun Arnold-Wednesday, May 08, 2002, Enhancements to an on-line credential repository to support persistant, user-centric Grid Computing
  • Yuanfang Cai-Wednesday, May 08, 2002, Options-Based Stochastic Optimal Dynamic Switching
  • Raja Venkateswaran-Tuesday, May 07, 2002, Programming and Compiling for Ordered Networks
  • Emily Evans-Tuesday, May 07, 2002, Activity Recognition in Intelligent Environments
  • Brian Clarke-Tuesday, May 07, 2002, Beyond the "Device as Portal": Wireless Mobile Devices in the Legion Grid Computing System
  • Marty Humphrey-Monday, May 06, 2002, Multi-protocol Authentication in Grid Computing
  • Elisabeth Strunk-Monday, May 06, 2002, The Program+: Defining the Role of Natural Language in a Software Product
  • Heather MacNeil-Friday, May 03, 2002, Authenticity and Reliability in the Digital Environment
  • Sagnik Bhattacharya-Friday, May 03, 2002, Data Placement for Energy Conservation in Wireless Sensor Networks
  • Dana Wortman-Friday, May 03, 2002, Differentiating Large Class Instruction in Computer Science: Focus on CS101
  • CS Department Awards Lunch-Thursday, May 02, 2002,
  • Gabriel J. Ferrer-Thursday, May 02, 2002, Anytime Replanning Using Local Subplan Replacement
  • Tian He-Wednesday, May 01, 2002, SPEED: A Stateless Protocol for Real-Time Communication in Ad Hoc Sensor Networks
  • Jennifer Mifflin-Wednesday, May 01, 2002, Quantum Algorithms for the Moving-Target Traveling Salesperson Problem
  • Ruiqing Zhu-Tuesday, April 30, 2002, VEST: Virginia Embedded System Toolkit
  • Ram Poornalingam-Tuesday, April 30, 2002, VEST: An Aspect Based Real-Time Embedded System Composition Tool
  • Undergraduate Research and Design Symposium-Monday, April 29, 2002, Finalist Presentations
  • Selmer Bringsjord -Monday, April 22, 2002, Living a (Non-Schizophrenic!) Three-Way Symbiosis Between the Humanities, Social Science, and Computer Science
  • Perry Cook-Friday, April 19, 2002, Physics-based Synthesis and Control for Interactive Arts
  • Selvin George-Wednesday, April 17, 2002, How to Make a Sea Urchin
  • Weilin Zhong-Thursday, April 11, 2002, When Ants Attack: Security Issues for Stigmergic Systems
  • Jennifer Mifflin-Wednesday, April 10, 2002, Quantum Algorithms for the Moving-Target Traveling Salesperson Problem
  • Scott Talbert-Tuesday, March 26, 2002, Real-time Performance Evaluation of TAO, Solaris 8, and Gigabit Ethernet/ATM in Combat Networks
  • ACM Trivia Bowl-Sunday, March 24, 2002,
  • Fred Wang-Thursday, March 21, 2002, Virtuositi: A new component and container architecture
  • Steve Zdancewic-Friday, March 01, 2002, Programming Languages for Secure Information Flow
  • Steven Pinker-Thursday, February 28, 2002, The Blank Slate, the Noble Savage, and the Ghost in the Machine
  • Stephanie Weirich-Thursday, February 28, 2002, Programming with Types
  • Grigori R. Humphreys-Monday, February 25, 2002, A Stream Processing Approach to Interactive Graphics on Clusters
  • David Baltimore-Thursday, February 21, 2002, Science and Society: the Role of the Research University
  • Amit Chakrabarti-Wednesday, February 20, 2002, Evasive Graph Properties and other Limitations of Non-Uniform Computational Models
  • Sean McCulloch-Friday, February 15, 2002, Auction Routing for Field-Programmable Gate Arrays
  • Kevin Sullivan-Friday, February 15, 2002, The Structure and Value of Modularity in Software Design
  • David W. Coppit-Friday, February 08, 2002, Designing Software Tools
  • David Coppit-Wednesday, February 06, 2002, Combining formal methods and component-based design for high-quality low-cost domain-specific languages and tools
  • Jonathan Hill-Monday, January 28, 2002, Controlled Emergent Adaptation: Management and Adaptation of Large Distributed Applications
  • Radhika Nagpal-Wednesday, January 23, 2002, Programmable Self-Assembly Using Biologically-Inspired Local Interactions and Paper-Folding Mathematics
  • Mary Lou Soffa-Thursday, January 17, 2002, Debugging Optimizers and Optimized Code
  • CLAS Applications Due-Tuesday, January 01, 2002,