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

2005 Colloquia

  • Radu Stoleru-Tuesday, December 20, 2005, A Flexible and Robust System for Node Localization in Wireless Sensor Networks
  • Xiangyu Jin-Tuesday, December 20, 2005, Adaptive Relevance Feedback in Multimedia Retrieval
  • Kellie-Ann Smith-Thursday, December 15, 2005, Nancy's Pantry: Assisting the Visually Impaired in Restaurant Meal Selection
  • Tenghui Zhu-Monday, December 12, 2005, GPU-Accelerated Render Cache
  • Nishit Tewari-Monday, December 12, 2005, An Event Notification Service for Mobile Ad hoc Networks
  • Brian Garback-Wednesday, December 07, 2005, XACML for RBAC and CaDABRA: Constrained Delegation and Attribute-Based Role Assignment
  • Anant Mudambi-Tuesday, December 06, 2005, A Transport Protocol for Dedicated End-to-End Circuits
  • Nolan Goodnight-Monday, December 05, 2005, 4D Compression and Relighting with High-Resolution Light Transport Matrices
  • Shubhendu S. Mukherjee-Thursday, December 01, 2005, Architectural Vulnerability Factors (or, does a soft error matter?)
  • Lin Gu-Wednesday, November 30, 2005, Virtual Sensor Networks
  • Ankit Malhotra-Wednesday, November 16, 2005, Computational Infrastructure for High Throughput RNAi screening experiments
  • Manuvir Das-Wednesday, November 16, 2005, Software Excellence via Program Analysis at Microsoft
  • Vincent W. Freeh-Friday, October 28, 2005, High-performance, power-aware computing
  • Ajay Kulhari-Friday, October 21, 2005, RT-Transport: A Real-Time Transport Protocol for Sensor Networks
  • Marc Levoy-Tuesday, October 18, 2005, Light field photography and videography
  • Ben Zorn-Thursday, September 29, 2005, Execution Environments for Building Dependable Systems
  • Hector Garcia-Molina-Tuesday, September 13, 2005, Generic Entity Resolution
  • Lecia Barker-Thursday, September 08, 2005, Revealing Behaviors that Influence Learning Environment: A Qualitative Exploration of Computer Science Classrooms
  • Michele Co-Friday, August 26, 2005, Designing Energy Efficient Fetch Engines
  • M. Anthony Aiello-Friday, August 12, 2005, ASPEN: A Framework for Checking Aircraft Digital System Properties.
  • Joseph Calandrino-Wednesday, August 10, 2005, Private Resource Pairing
  • Michael Crane-Monday, August 01, 2005, Using Calling Sequence Diversity to Defeat Return-to-libc Attacks
  • Hridesh Rajan-Friday, July 29, 2005, Unifying Aspect- and Object-Oriented Program Design
  • Leonid Bolotnyy-Thursday, July 28, 2005, Multi-Tag Radio Frequency Identification Systems
  • Marco Caccamo-Wednesday, July 27, 2005, Implicit RT-QoS for Wireless Collaborative Real-Time Systems
  • Gregory Mattes-Friday, July 22, 2005, A Naming Service for Overlay Networks
  • Ji-Wook Jo-Monday, July 11, 2005, An Area Event Data Service in Wireless Sensor Networks
  • Ying Lu-Monday, July 11, 2005, Towards Self-Managing Computing Systems: An Augmented Control Theory Approach
  • Richard P. Martin-Friday, July 08, 2005, Bayesian Positioning in Wireless Networks
  • Ronghua Zhang-Thursday, July 07, 2005, QoS Support for Legacy Applications
  • John Tran-Friday, June 17, 2005, Simulation of Excitable Media Wave Propagation on Arbitrary 3D Surfaces
  • Rui Wang-Thursday, June 16, 2005, An End-to-end Solution for Interactive Rendering with Complex Lighting models
  • Robert G. Bartholet-Friday, May 27, 2005, A Practical Process for Simulation Component Reuse
  • Kathi Fisler-Thursday, May 26, 2005, Modular Verification of Feature-Rich Software
  • Shriram Krishnamurthi-Wednesday, May 25, 2005, Programming and Verifying the Interactive Web
  • Julie Parent-Wednesday, May 25, 2005, An Exploration of Combinatorial Optimization Techniques for Optimization Phase Ordering
  • Graduation Days-Sunday, May 22, 2005,
  • Yuanyuan Song-Thursday, May 12, 2005, Join Point Interfaces: Information Hiding Modularity for Aspect-Oriented Program Design
  • Mary Jane Irwin-Thursday, May 12, 2005, On-Line Power Aware Systems
  • Binjia Jiao-Tuesday, May 10, 2005, SNEDL: Sensor Network Event Description Language for Event Service Architecture
  • CLAS/SEAS Programs in Computer Science Application Form Dead Line -Thursday, May 05, 2005,
  • Xiang Yin-Thursday, May 05, 2005, Echo: A Practical Approach to Formal Verification
  • ACM/CS Awards Launch-Thursday, May 05, 2005,
  • Jinlin Yang-Thursday, May 05, 2005, Automatic Inference and Effective Application of Temporal Specifications
  • Jie Luo-Thursday, April 28, 2005, Limited Community Name Server System
  • Student Planting Day-Friday, April 22, 2005,
  • Sudhanva Gurumurthi-Friday, April 22, 2005, Power Management of Enterprise Storage Systems
  • Azer Bestavros-Tuesday, April 19, 2005, Exploiting the Transients of Adaptation for RoQ Attacks on Internet Resources
  • Brent Waters-Monday, April 18, 2005, Fuzzy Identity-Based Encryption -- Privacy for the Unprepared User
  • Elisabeth A. Strunk-Monday, April 18, 2005, Reconfiguration Assurance in Embedded System Software
  • Open House 2005-Saturday, April 16, 2005,
  • Undergraduate Research Symposium: Automatic Protection from Internet Attacks, Harrison-Small Institute Auditorium, 3:00 PM-Friday, April 15, 2005, Harrison-Small Institute Auditorium
  • Jason D. Hiser-Thursday, April 14, 2005, Effective Algorithms for Partitioned Memory Hierarchies in Embedded Systems
  • Yih-Chun Hu-Wednesday, April 13, 2005, Securing Network Routing
  • Yuan Wei-Tuesday, April 12, 2005, QoS Management for Distributed Real-Time Data Services
  • Yutao Zhong-Monday, April 11, 2005, Whole-Program Data Locality Hierarchy
  • William S. Greenwell-Friday, April 08, 2005, Pandora: An Approach to Analyzing Safety-Related Digital System Failures
  • Nina Mishra-Friday, April 08, 2005, Privacy-Preserving Auditing Algorithms
  • Michael Swift-Monday, April 04, 2005, Improving the Reliability of Commodity Operating Systems
  • Kevin Fu-Monday, March 28, 2005, Secure content distribution using untrusted servers
  • Cliff Zou-Wednesday, March 23, 2005, Modeling, Early Detection, and Mitigation of Internet Worm Attacks
  • Brian Demsky-Wednesday, March 16, 2005, Data Structure Repair
  • Kim Hazelwood-Monday, March 14, 2005, Managing Bounded Code Caches in Dynamic Binary Optimizers
  • Ying Lu-Monday, March 07, 2005, Towards Self-Managing Computing Systems: Augmented Control Theory Approaches
  • Westley Weimer-Wednesday, March 02, 2005, Exceptional Situations and Program Reliability
  • Chenxi Wang-Wednesday, February 16, 2005, The Coral Project: Defending against large-scale attacks on the Internet
  • Doina Caragea-Monday, February 14, 2005, Learning classifiers from distributed and semantically heterogeneous data sources
  • Wei Le-Wednesday, February 09, 2005, Specification squeezing: extending the reach of bounded exhaustive test input generation
  • Bernhard Steffen-Monday, February 07, 2005, Behavioral Model Construction
  • Hridesh Rajan-Monday, January 17, 2005, Improved Abstractions for Aspect-Oriented Software Development
  • Yuanfang Cai-Monday, January 10, 2005, Modularity in Abstract Design: A Theory and Applications