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 Thesis

  • Aravind Velamur Srinivasan - Thursday, July 17, 2008, A General Framework for Delay Tolerant Sensor Networks
  • Kinga Dobolyi - Monday, June 30, 2008, Changing Java’s Semantics for Handling Null Pointer Exceptions
  • Sriram Sankar - Friday, June 06, 2008, Intra-Disk Parallelism
  • Pieter Hooimeijer - Monday, April 28, 2008, Generating String Inputs using Constrained Symbolic Execution
  • Isabelle Stanton - Monday, March 31, 2008, Clustering Social Networks
  • Vibha Prasad - Wednesday, July 25, 2007, ANDES: an ANalysis-based DEsign tool for wireless Sensor networks
  • Xiuduan Fang - Monday, May 01, 2006, A Study of Applications for Optical Circuit-Switched Networks
  • Anant Mudambi - Tuesday, December 06, 2005, A Transport Protocol for Dedicated End-to-End Circuits
  • Lingxuan Hu - Monday, July 26, 2004, Secure and Efficient Communication Primitives for Sensor Networks
  • Brenden Michael Schubert - Thursday, October 02, 2003, Flexible and Efficient View Dependent Simplification
  • Andrew M. Snyder - Monday, July 14, 2003, The Workflow Impact of Securing Medical Data Using HIPPA Compliant Encryption
  • William S. Greenwell - Friday, May 02, 2003, Learning Lessons from Accidents and Incidents Involving Safety-Critical Software Systems
  • Philip E. Varner - Friday, May 02, 2003, Policy Specification for Non-Local Fault-Tolerance in Large Distributed Information Systems
  • Ellen Stackpole - Monday, January 13, 2003, LABS: A Computational Grid Batch Scheduler
  • Christopher Lutz - Monday, November 11, 2002, Manual Editing of Laser Rangefinder Images
  • Yvan Pointurier - Monday, August 12, 2002, Link Failure Recovery for MPLS Networks with Multicasting
  • Christopher Taylor - Tuesday, July 30, 2002, A Mathematical Model for Knowledge Acquisition
  • Elisabeth Strunk - Monday, May 06, 2002, The Program+: Defining the Role of Natural Language in a Software Product
  • Tian He - Wednesday, May 01, 2002, SPEED: A Stateless Protocol for Real-Time Communication in Ad Hoc Sensor Networks
  • Brian Jones - Monday, July 23, 2001, Real-time Stereoscopic Face Tracking for the ERICA System
  • Joel Winstead - Friday, July 20, 2001, Structured Exception Semantics for Parallel Loops
  • Matthew T. Hepler - Monday, February 16, 1998, Supporting Fault-Tolerance in Secure Real-Time Databases