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

Colloquia - PhD Proposals

  • Sang-Min Park - Monday, June 30, 2008, Feedback-Controlled Virtualized Resource Sharing for Predictable eScience
  • Zach Hill - Thursday, April 03, 2008, Site Autonomy in Grid Management and Reconfiguration
  • Woochul Kang - Wednesday, March 12, 2008, QoS-Aware Real-Time Databases for Networked Embedded Systems
  • Wei Le - Friday, February 22, 2008, A Demand-Driven Path-Sensitive Framework to Detect, Diagnose and Test for Software Vulnerabilities
  • Jeffrey Shirley - Monday, December 03, 2007, Securing Applications Using Intent-Based Access Control Policies
  • Scott Bingham - Friday, November 30, 2007, ABVFI: ABV Based Hardware Fault Injection
  • Michael Spiegel - Monday, October 29, 2007,
  • Xiang Yin - Thursday, October 04, 2007, Echo: Practical Formal Verification by Reverse Synthesis
  • Apala Guha - Wednesday, September 12, 2007, Memory Footprint Optimization of Virtual Execution Environments for Embedded Platforms
  • Karthik Sankaranarayanan - Wednesday, July 11, 2007, Thermal Modeling and Management of Microprocessors
  • Patrick Graydon - Wednesday, May 30, 2007, Assurance Based Development
  • Karsten Nohl - Wednesday, May 23, 2007, Implementable Privacy for RFID Systems
  • Christopher Taylor - Thursday, May 10, 2007, Algorithmic Analysis of Human DNA Replication
  • Shukang Zhou - Tuesday, March 20, 2007, Factors Affecting Realistic Performance of Dynamic Optimization
  • Anthony Wood - Tuesday, January 16, 2007, Adaptive Defenses for Physical- and Routing-Layer Denial-of-Service Attacks in Wireless Sensor Networks
  • Leonid Bolotnyy - Monday, January 15, 2007, New Directions in Detection, Security and Privacy for RFID Systems
  • Jeremy Sheaffer - Friday, December 15, 2006, Physical Challenges in Reliable Graphics Hardware Design
  • Xiangfei Zhu - Monday, November 27, 2006, Study of bandwidth-sharing mechanisms in connection-oriented networks
  • Daniel Williams - Friday, September 29, 2006, Improved Compiler/SDT Interaction Through Shared Program Metadata
  • Yuanfang Cai - Wednesday, July 12, 2006, Modularity in Design: Formal Modeling and Automated Analysis
  • Tibor Horvath - Wednesday, May 03, 2006, Energy Management in Real-time Multi-tier Internet Services
  • Zhengping Wu - Tuesday, May 02, 2006, Federated Trust Management for Service-oriented Computing
  • Nathanael Paul - Thursday, April 20, 2006, Disk-level Malware Detection and Response
  • Jun Feng - Monday, April 17, 2006, Explicit Resource Usage Policy Management and Enforcement in Grid Computing
  • H. Howie Huang - Monday, April 17, 2006, Storage@desk: A New Mass Storage System with QoS Guarantees for Large Organizations
  • Benjamin Hocking - Monday, March 27, 2006, Computational Benefits of Oscillations in the CA3 Region of the Hippocampus
  • Florin Ciucu - Thursday, February 23, 2006, Analysis of Packet Networks with Stochastic Network Calculus
  • Joseph Carnahan - Monday, February 13, 2006, Language Support for the Coercible Software Domain
  • Shashi Prabh - Wednesday, February 08, 2006, Real-Time Capacity of Wireless Sensor Networks
  • Yingmin Li - Monday, January 23, 2006, Physical Constraints Aware Chip Multiprocessor Architecture
  • 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
  • Lin Gu - Wednesday, November 30, 2005, Virtual Sensor Networks
  • Michele Co - Friday, August 26, 2005, Designing Energy Efficient Fetch Engines
  • 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
  • Jinlin Yang - Thursday, May 05, 2005, Automatic Inference and Effective Application of Temporal Specifications
  • Yuan Wei - Tuesday, April 12, 2005, QoS Management for Distributed Real-Time Data Services
  • William S. Greenwell - Friday, April 08, 2005, Pandora: An Approach to Analyzing Safety-Related Digital System Failures
  • 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
  • Michael D. McNett - Wednesday, May 05, 2004, Network Dynamics in Large-Scale Sensor Networks
  • Clark L. Coleman - Tuesday, May 04, 2004, Data Placement Optimizations for Multilevel Cache Hierarchies
  • Ronghua Zhang - Thursday, April 29, 2004, Towards Self-managed Web Cluster
  • Ting Yan - Thursday, April 01, 2004, Analysis Approaches for Predicting Performance of Wireless Sensor Networks
  • Elisabeth Strunk - Friday, September 12, 2003, Survivability in Embedded Systems
  • Joel Winstead - Friday, May 16, 2003, Differential Program Analysis
  • Tian He - Wednesday, April 23, 2003, Hermes: A Scalable Sensor Network Architecture for Robustness & Time-Energy Awareness
  • Jonathan Hill - Monday, January 28, 2002, Controlled Emergent Adaptation: Management and Adaptation of Large Distributed Applications
  • John Haskins, Jr. - Tuesday, November 13, 2001, Minimal Subset Evaluation: Rapid Warm-up for Simulated Hardware State
  • Kimberly Hanks - Friday, October 26, 2001, Requirements Elicitation and Propagation: A Linguistic Analysis and Its Application
  • Nicolas Christin - Thursday, September 27, 2001, A Scalable Service Architecture for Quantitative Differentiation
  • T. J. Highley - Wednesday, September 05, 2001, Cost/Benefit File Prefetching for a Broad Class of System Models