*/ UVa Computer Science - Colloquia
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 - MS Proposals

  • Clinton Smullen - Monday, October 13, 2008, Revisiting Active Storage for Unstructured Data Processing Applications
  • Krasimira Kapitanova - Friday, August 08, 2008, Data Access and Integration for Genesis II
  • Hong Pham - Monday, May 12, 2008, Virus Detection in Software Dynamic Translation
  • Steven Baker - Tuesday, May 06, 2008, Producing Intuitive Factorizations of SVBRDFs
  • Duane Merrill - Friday, April 25, 2008, Security in Modern Grids: The Genesis II Security Architecture
  • Karolina Sarnowska - Friday, April 25, 2008, Replicating Shared Data in a Standards-based Grid Platform
  • Arkaitz Ruiz-Alvarez - Thursday, April 24, 2008, BES++: HPC Profile Open Source Implementation
  • Ray PL Buse - Wednesday, February 06, 2008, Documentation Inference for Exceptions
  • Ray PL Buse - Tuesday, January 22, 2008, Documentation Inference for Exceptions
  • Dan Upton - Tuesday, October 23, 2007, Design of a Custom VEE Core in a Chip Multiprocessor
  • Jiayuan Meng - Friday, August 24, 2007, Temporal and Spatial Streaming on a General Purpose MIMD Manycore Chip
  • Ben Taitelbaum - Tuesday, August 07, 2007, Proving the System Assurance Theorem by Combining Formal Methods and Protection Shells
  • Nguyet T.M. Nguyen - Tuesday, July 24, 2007, Program Representations for Testing Interrupt and Event Driven Applications
  • Vijay Srinivasan - Monday, July 23, 2007, Snooping-based Privacy Attacks based on Transmission Timing and Wireless Fingerprinting
  • Chris White - Friday, May 11, 2007, Managing Data Locality in Hardware with Fractal
  • Zach Hill - Friday, May 11, 2007, Meeting Virtual Organization Performance Goals Through Adaptive Grid Reconfiguration
  • Jiajun Zhu - Thursday, May 10, 2007, Fast Omni-directional 3D Scene Acquisition with an Array of Stereo Cameras
  • Shaun Hutton - Wednesday, May 09, 2007, Data Pedigree Management and Visualization
  • Kendra Schmid - Thursday, May 03, 2007, Proportional Linguistic Analysis for Requirements Engineering
  • Benjamin Cox - Thursday, May 03, 2007, N-Variant Systems for Data Diversity
  • Kristen Walcott - Wednesday, May 02, 2007, Dynamic Prediction of Architectural Vulnerability from MicroarchitecturalState
  • Jingbin Zhang - Tuesday, May 01, 2007, TMMAC: An Energy Efficient Multi-Channel MAC Protocol for Ad Hoc Networks
  • Ross Gore - Friday, April 27, 2007, Explanation Exploration: Exploring Emergent Behavior
  • Shan Lin - Thursday, April 19, 2007, ATPC: Adaptive Transmission Power Control for Wireless Sensor Networks
  • Mark McGinley - Thursday, April 19, 2007, A Bandwidth Tester with Detailed TCP Stack Reporting
  • Na Zhang - Wednesday, December 06, 2006, Fault localization in nesC program by Semantic Analysis
  • Eric Humenay - Wednesday, December 06, 2006, The Impact of Systematic Process Variations on Symmetrical Performance in Chip Multi-processors
  • David Tarjan - Friday, December 01, 2006, Merging Path, Global and Local Indexing in Perceptron Branch Prediction
  • Apala Guha - Tuesday, August 15, 2006, Reducing Exit Stub Memory Consumption in Code Caches
  • 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
  • Kevin Dale - Thursday, May 11, 2006, Applications of Small-Scale Reconfigurability to Graphics Processors
  • Yuting Ye - Wednesday, May 10, 2006, A Momentum-based Bipedal Balance Controller
  • Richard Peter Weistroffer - Wednesday, May 10, 2006, Multidimensional Adaptive Sampling and Reconstruction for Distribution Ray Tracing
  • 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
  • Lei Fang - Tuesday, May 02, 2006, Adaptive Secure IGF: Parametric, Adaptive Routing for Wireless Sensor Networks
  • Sang-Min Park - Monday, May 01, 2006, Policy Resolution and Enforcement of Privileges in a Grid Authorization System Based on Job Properties
  • Zhanxiang Huang - Monday, May 01, 2006, End-host Route Selection in the CHEETAH Networking Solution
  • Weide Zhang - Friday, April 28, 2006, Flexible and Secure Logging of Grid Data Access
  • Ryan Kurtz - Friday, April 28, 2006, Delta Compression Algorithms for Diverse Environments
  • Xinyu Liu - Thursday, April 27, 2006, Exploiting Abstraction Methods When Verifying Simulation Coercions
  • Kellie-Ann Smith - Thursday, December 15, 2005, Nancy's Pantry: Assisting the Visually Impaired in Restaurant Meal Selection
  • Nishit Tewari - Monday, December 12, 2005, An Event Notification Service for Mobile Ad hoc Networks
  • Tenghui Zhu - Monday, December 12, 2005, GPU-Accelerated Render Cache
  • Brian Garback - Wednesday, December 07, 2005, XACML for RBAC and CaDABRA: Constrained Delegation and Attribute-Based Role Assignment
  • Nolan Goodnight - Monday, December 05, 2005, 4D Compression and Relighting with High-Resolution Light Transport Matrices
  • Ankit Malhotra - Wednesday, November 16, 2005, Computational Infrastructure for High Throughput RNAi screening experiments
  • Ajay Kulhari - Friday, October 21, 2005, RT-Transport: A Real-Time Transport Protocol for Sensor Networks
  • 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
  • Leonid Bolotnyy - Thursday, July 28, 2005, Multi-Tag Radio Frequency Identification 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
  • John Tran - Friday, June 17, 2005, Simulation of Excitable Media Wave Propagation on Arbitrary 3D Surfaces
  • Julie Parent - Wednesday, May 25, 2005, An Exploration of Combinatorial Optimization Techniques for Optimization Phase Ordering
  • Yuanyuan Song - Thursday, May 12, 2005, Join Point Interfaces: Information Hiding Modularity for Aspect-Oriented Program Design
  • Binjia Jiao - Tuesday, May 10, 2005, SNEDL: Sensor Network Event Description Language for Event Service Architecture
  • Xiang Yin - Thursday, May 05, 2005, Echo: A Practical Approach to Formal Verification
  • Jie Luo - Thursday, April 28, 2005, Limited Community Name Server System
  • Wei Le - Wednesday, February 09, 2005, Specification squeezing: extending the reach of bounded exhaustive test input generation
  • Xiaohui Chen - Wednesday, December 08, 2004, Identity Federation in Healthcare Networks
  • Hridesh Rajan - Friday, November 12, 2004, Eos: Instance-Level Aspects for Integrated System Design
  • Sivakumar Velusamy - Friday, September 10, 2004, FPGA Testbed for Temperature-Aware Microarchitecture Research
  • Qing Cao - Wednesday, September 08, 2004, A Scalable Logical Coordinates Framework for Routing in Wireless Sensor Networks
  • Joseph C. Carnahan - Monday, August 16, 2004, Tools for Coercible Simulation Development and Use
  • Hongtao Zhang - Friday, August 06, 2004, A Reactive Distributed Air Conflict Resolution Algorithm
  • Sarah Waziruddin - Friday, August 06, 2004, A Study of Optimization Techniques for Coercion
  • Jia Xu - Wednesday, August 04, 2004, Understanding Aspects via Implicit Invocation
  • Zengzhong Li - Thursday, July 29, 2004, Schedulability Analysis in Wireless Sensor Networks for Real-Time Streams
  • David Del Vecchio - Thursday, July 29, 2004, Flexible Credential Exchange using WS-Trust
  • Jun Wang - Wednesday, July 28, 2004, AML Delegation for Web Service
  • Junzhe Hu - Monday, July 26, 2004, Dynamic, Context-Aware Access Control
  • Yong Chen - Monday, July 19, 2004, A Fault Tolerant Topology Control in Wireless Sensor Networks
  • Rajat Tikoo - Thursday, July 15, 2004, Testing and Performance Evaluation of a Management System for Survivable Networks
  • Julian Dymacek - Friday, May 07, 2004, Spacetime Constraints for Path Planning in Animation
  • James V. S. Watson - Friday, May 07, 2004, Toward GT3 & OGSI.NET Interoperability: GRAM Support on OGSI.NET
  • Chengdu Huang - Wednesday, May 05, 2004, Towards Content Distribution Networks with Latency Guarantees
  • Dale Beermann - Tuesday, May 04, 2004, Scalable, Robust Visualization of Very Large Trees
  • Zhimin He - Tuesday, May 04, 2004, VEST QoS - An Aspect Base Real-Time Distributed Embedded System Composition Toolkit
  • Liqian Luo - Tuesday, May 04, 2004, EIP: Environmentally Immersive Programming for Sensor Networks
  • Yingmin Li - Monday, May 03, 2004, Understanding the Energy Efficiency of Simultaneous Multithreading
  • Ying Lin - Monday, May 03, 2004, LAS: A Location-Aware Event Service For Wireless Sensor Networks
  • Gang Zhou - Thursday, April 29, 2004, Impact of Radio Irregularity on Wireless Sensor Networks
  • John C. Giordano - Wednesday, April 28, 2004, Exploring the Constraints of Human Behavior Representation
  • Fayun Luo - Friday, April 23, 2004, Computer Simulation of Bipedal Walker
  • Lori E. Stotler - Wednesday, April 21, 2004, Graphical Interfaces for a Large-scale Human Command in Emergency Response
  • Shiva Prasad Behera - Monday, January 19, 2004, Load Balancing in Server Clusters
  • Tashi Tsering - Monday, December 15, 2003, Developing a Font Converter for Tibetan Language Scripts
  • Amit K. Naidu - Monday, December 08, 2003, Thesaurus based Augmentation for Search Engines
  • Weisheng Si - Monday, December 08, 2003, RMAC: A Reliable Multicast MAC Protocol for Wireless Ad Hoc Networks
  • Jinlin Yang - Thursday, December 04, 2003, Bounded Exhaustive Testing for Legacy Systems: An Approach and a Case Study
  • Jun Feng - Thursday, October 02, 2003, Using Multiple Replicas to Accelerate Data Transferring on Grids
  • Pavel Sorokin - Thursday, October 02, 2003, An Architectural Solution for the Galileo Fault Tree Analysis Tool
  • Qingling Sun - Friday, August 29, 2003, Speckle Reducing Anisotropic Diffusion in 3D Ultrasound Imaging
  • Dhiraj Parashar - Monday, August 11, 2003, An Audit Service for Grids
  • Ben Hocking - Friday, August 08, 2003, Reclaiming CPU-time During MPI Communications
  • Cliff Woolley - Thursday, August 07, 2003, Interruptible Rendering
  • Pascal A. Vicaire - Wednesday, August 06, 2003, Semi-Automated Coercion of Simulations
  • Sampoorani Deivasigamani - Wednesday, August 06, 2003, Iterated Register Coalescing in VPO
  • Lin Gu - Tuesday, August 05, 2003, A Collision-Free MAC Protocol for Sensor Networks
  • Yuan Wei - Tuesday, August 05, 2003, Quality-of-Service Management in Replicated Real-time Databases
  • Huafeng Lu - Monday, August 04, 2003, A Streaming System for HyperCast Overlay Networks
  • Karthik Sankaranarayanan - Friday, July 25, 2003, Profile-Based Adaptation for Cache Decay
  • Joshua George - Thursday, July 24, 2003, Adding Support for Zero Overhead Loop Buffers and Countdown Loops in VPO
  • Rui Wang - Tuesday, July 22, 2003, Efficient Reconstruction of Indoor Scenes with Color
  • Jun Xie - Thursday, May 08, 2003, GRID - A New Mobile Routing Algorithm in Mobile Networks
  • Anthony Wood - Wednesday, May 07, 2003, A Mapping Service for Jammed-Regions in Sensor Networks
  • Shuoqi (Joyce) Li - Tuesday, May 06, 2003, Event Detection Services Using Data Service Middleware (DSWare) in Distributed Sensor Networks
  • Bei Zhang - Monday, May 05, 2003, UVABus.net: An Experiment in Context-Aware Mobile Applications Based on XML Web Services
  • Prashant Nagaraddi - Thursday, May 01, 2003, Atomic Semantics for Group Management in Sensor Networks
  • Qiuhua Cao - Wednesday, April 30, 2003, NGMS: A New Group Management Service with At Least k Semantics
  • Selvin George - Tuesday, April 29, 2003, A Biologically Inspired Programming Model for Self-Healing Structures
  • Brian Blum - Tuesday, April 29, 2003, An Architecture for Entity Tracking and Communication in Sensor Networks
  • Karl (Gus) Scheidt - Friday, April 25, 2003, Nancy's Pantry: Bringing Printed Materials to the Visually Impaired
  • Neelima Putrevu - Monday, February 10, 2003, Evaluating the Importance of Network Information in Scheduling of Grid Computations
  • Dharmesh Parikh - Monday, December 16, 2002, Power Aware Branch Prediction: Characterization and Design
  • Guimin Zhang - Tuesday, December 03, 2002, MessageStore: A Message Repository Service for Overlay Networks
  • 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
  • Haiyong Wang - Wednesday, July 17, 2002, Building a Resource-aware Overlay Network
  • 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
  • Yuanfang Cai - Wednesday, May 08, 2002, Options-Based Stochastic Optimal Dynamic Switching
  • Shaun Arnold - Wednesday, May 08, 2002, Enhancements to an on-line credential repository to support persistant, user-centric Grid Computing
  • Darren Drewry - Wednesday, May 08, 2002, An Optimization-Based Multi-Resolution Simulation Methodology
  • Brian Clarke - Tuesday, May 07, 2002, Beyond the "Device as Portal": Wireless Mobile Devices in the Legion Grid Computing System
  • Emily Evans - Tuesday, May 07, 2002, Activity Recognition in Intelligent Environments
  • 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
  • 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
  • Weilin Zhong - Thursday, April 11, 2002, When Ants Attack: Security Issues for Stigmergic Systems
  • Scott Talbert - Tuesday, March 26, 2002, Real-time Performance Evaluation of TAO, Solaris 8, and Gigabit Ethernet/ATM in Combat Networks
  • Erhan Yilmaz - Thursday, December 13, 2001, Exploring the Tradeoff between Workconserving vs. Non-workconserving
  • 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
  • Michele Co - Friday, June 29, 2001, The Effects of Context Switching on Branch Predictor Performance
  • Seejo Sebastine - Monday, June 18, 2001,