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

2006 Colloquia

  • Jeremy Sheaffer -Friday, December 15, 2006, Physical Challenges in Reliable Graphics Hardware Design
  • Eric Humenay-Wednesday, December 06, 2006, The Impact of Systematic Process Variations on Symmetrical Performance in Chip Multi-processors
  • Na Zhang-Wednesday, December 06, 2006, Fault localization in nesC program by Semantic Analysis
  • Michael Hicks -Monday, December 04, 2006, Practical Dynamic Software Updating for C
  • David Tarjan-Friday, December 01, 2006, Merging Path, Global and Local Indexing in Perceptron Branch Prediction
  • Xiangfei Zhu-Monday, November 27, 2006, Study of bandwidth-sharing mechanisms in connection-oriented networks
  • Sally McKee-Monday, November 27, 2006, Efficient Architectural Design Space Exploration via Predictive Modeling
  • Eric Van Wyk-Monday, November 06, 2006, Extensible Programming and Specification Languages
  • Almadena Chtchelkanova-Wednesday, November 01, 2006, Funding Opportunities at the NSF/Computer and Information Sciences & Engineering (CISE) Directorate
  • Jack Tumblin-Monday, October 30, 2006, Re-thinking Photography: What Devices Should Capture Visual Appearance?
  • Daniel Williams -Friday, September 29, 2006, Improved Compiler/SDT Interaction Through Shared Program Metadata
  • Mary Jean Harrold-Monday, September 18, 2006, Applying Behavior Analysis and Fault Localization for Debugging in Parallel
  • Apala Guha-Tuesday, August 15, 2006, Reducing Exit Stub Memory Consumption in Code Caches
  • Yuanfang Cai-Wednesday, July 12, 2006, Modularity in Design: Formal Modeling and Automated Analysis
  • Michael Spiegel-Monday, July 10, 2006, Model Context For Simulation Composability And Reusability
  • Aolat Adedeji-Thursday, June 08, 2006, Integrating Jazz: Interface to Coverage Analysis Engine
  • Ana Nora Sovarel-Tuesday, June 06, 2006, Identification and Protection of Security-Critical Data
  • Kobbi Nissim-Friday, May 26, 2006, Private Approximation of Search Problems
  • Michele Co-Thursday, May 18, 2006, Designing Energy-Efficient Fetch Engines
  • Kevin Dale-Thursday, May 11, 2006, Applications of Small-Scale Reconfigurability to Graphics Processors
  • Richard Peter Weistroffer-Wednesday, May 10, 2006, Multidimensional Adaptive Sampling and Reconstruction for Distribution Ray Tracing
  • Yuting Ye-Wednesday, May 10, 2006, A Momentum-based Bipedal Balance Controller
  • Jing Yang-Monday, May 08, 2006, Dimension: An Instrumentation Tool for Virtual Execution Environments
  • Yuliyan Kiryakov-Friday, May 05, 2006, Toward Dependable Grids: Assessing the State of the TeraGrid from the Perspective of the End-User
  • Shahrukh Rohinton Tarapore-Thursday, May 04, 2006, On Detecting Transition Points for Group Motion Graphs
  • Kimberly Wasson-Thursday, May 04, 2006, CLEAR Requirements: Improving Validity Using Cognitive Linguistic Elicitation and Representation
  • Tibor Horvath-Wednesday, May 03, 2006, Energy Management in Real-time Multi-tier Internet Services
  • Lei Fang-Tuesday, May 02, 2006, Adaptive Secure IGF: Parametric, Adaptive Routing for Wireless Sensor Networks
  • Zhengping Wu-Tuesday, May 02, 2006, Federated Trust Management for Service-oriented Computing
  • Xiuduan Fang-Monday, May 01, 2006, A Study of Applications for Optical Circuit-Switched Networks
  • Zhanxiang Huang-Monday, May 01, 2006, End-host Route Selection in the CHEETAH Networking Solution
  • Sang-Min Park-Monday, May 01, 2006, Policy Resolution and Enforcement of Privileges in a Grid Authorization System Based on Job Properties
  • Ryan Kurtz-Friday, April 28, 2006, Delta Compression Algorithms for Diverse Environments
  • Weide Zhang-Friday, April 28, 2006, Flexible and Secure Logging of Grid Data Access
  • Xinyu Liu-Thursday, April 27, 2006, Exploiting Abstraction Methods When Verifying Simulation Coercions
  • 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
  • Information Session for the new Interdisciplinary Major in Computer Science for A&S students-Thursday, April 13, 2006, Information Session for the new Interdisciplinary Major in Computer Science for A&S students
  • Vincent Conitzer-Monday, April 10, 2006, Techniques for Computing Game-Theoretic Solutions
  • Lin Gu-Monday, March 27, 2006, Construct Interesting Systems with Very-Low-Power Computers -- A Wireless Sensor Network Approach
  • Benjamin Hocking-Monday, March 27, 2006, Computational Benefits of Oscillations in the CA3 Region of the Hippocampus
  • Kamin Whitehouse-Friday, March 24, 2006, Challenges of collaborative, in-network data processing in wireless sensor networks
  • Peter Pietzuch-Monday, March 20, 2006, Stream-Based Overlay Networks: Querying Internet Stream Data
  • Weidong Cui-Wednesday, March 15, 2006, GQ: A System to Catch Worms in a Quarter Million Places
  • Rui Zhang-Shen-Monday, March 13, 2006, Designing a Predictable Backbone Network
  • Jason Lawrence-Monday, March 06, 2006, Data-Driven Models of Surface Appearance
  • Pradeep Sen-Thursday, March 02, 2006, Dual Photography
  • Elisabeth Strunk-Tuesday, February 28, 2006, Dependability in Embedded System Software Through Assured Reconfiguration
  • Tadayoshi Kohno-Monday, February 27, 2006, Computer security: From modern cryptography to electronic voting
  • Florin Ciucu-Thursday, February 23, 2006, Analysis of Packet Networks with Stochastic Network Calculus
  • Rui Wang-Tuesday, February 21, 2006, Interactive Rendering of Realistic Lighting Models
  • Joseph Carnahan-Monday, February 13, 2006, Language Support for the Coercible Software Domain
  • Yuanfang Cai-Monday, February 13, 2006, Modularity in Design: Formal Modeling and Automated Analysis
  • The UVA STS Colloquium Series-Thursday, February 09, 2006, Technology and Democracy
  • Shashi Prabh-Wednesday, February 08, 2006, Real-Time Capacity of Wireless Sensor Networks
  • Scott Schaefer-Monday, February 06, 2006, Intuitive Methods for 3D Shape Deformation
  • Portman Wills-Thursday, February 02, 2006, Saving the World with a Computer Science Degree
  • Ron Rivest-Wednesday, February 01, 2006, Security of Voting Systems
  • Ron Rivest-Wednesday, February 01, 2006, Abelian Square-Free Dithering For Iterated Hash Functions
  • Norman P. Jouppi-Monday, January 30, 2006, The Future Evolution of High-Performance Microprocessors
  • Matt Welsh-Thursday, January 26, 2006, Monitoring Volcanic Eruptions with a Wireless Sensor Network
  • Injong Rhee-Wednesday, January 25, 2006, Z-MAC: Hybrid MAC for Wireless Sensor Networks
  • Jinlin Yang-Tuesday, January 24, 2006, Terracotta: Mining Temporal API Rules from Imperfect Traces
  • Yingmin Li-Monday, January 23, 2006, Physical Constraints Aware Chip Multiprocessor Architecture
  • Patrick McDaniel-Friday, January 20, 2006, Exploiting Open Functionality in SMS-Capable Cellular Networks