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

2008 Colloquia

  • Karsten Nohl - Thursday, August 21, 2008, Implementable Privacy for RFID Systems
  • Karsten Nohl - Monday, August 18, 2008, Making Security a Design Principle
  • Krasimira Kapitanova - Friday, August 08, 2008, Data Access and Integration for Genesis II
  • Aravind Velamur Srinivasan - Thursday, July 17, 2008, A General Framework for Delay Tolerant Sensor Networks
  • H. Howie Huang - Monday, June 30, 2008, Storage@desk: A New Virtual Storage System with Quality of Service Guarantees
  • Sang-Min Park - Monday, June 30, 2008, Feedback-Controlled Virtualized Resource Sharing for Predictable eScience
  • Kinga Dobolyi - Monday, June 30, 2008, Changing Java’s Semantics for Handling Null Pointer Exceptions
  • Sriram Sankar - Friday, June 06, 2008, Intra-Disk Parallelism
  • Noman Rubin - Wednesday, May 28, 2008, Issues and Challenges in Compiling for Graphics Processors
  • Hong Pham - Monday, May 12, 2008, Virus Detection in Software Dynamic Translation
  • Tom Ball - Thursday, May 08, 2008, Systematic Testing of Programs
  • Steven Baker - Tuesday, May 06, 2008, Producing Intuitive Factorizations of SVBRDFs
  • Tibor Horvath - Thursday, May 01, 2008, Energy Management in Real-Time Multi-Tier Internet Services
  • William Wulf - Wednesday, April 30, 2008, RECALL BILL WULF!
  • Curtis Wong - Tuesday, April 29, 2008, From Beethoven to Betelgeuse: 20 Years in the Quest for the Holy Grail of Interactive Storytelling
  • Pieter Hooimeijer - Monday, April 28, 2008, Generating String Inputs using Constrained Symbolic Execution
  • 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
  • Zhengping Wu - Thursday, April 24, 2008, Federated Trust Management for Service-oriented Computing
  • Ben Shneiderman - Thursday, April 24, 2008, Information Visualization for Knowledge Discovery
  • Arkaitz Ruiz-Alvarez - Thursday, April 24, 2008, BES++: HPC Profile Open Source Implementation
  • Christopher Taylor - Wednesday, April 16, 2008, Algorithmic Analysis of Human DNA Replication Timing
  • Maulin Patel - Friday, April 11, 2008, Body Area Networking Standardization: Challenges and Prospective
  • John Regehr - Monday, April 07, 2008, Static Analysis of Interrupt-Driven Embedded Software
  • Dr. Carla Brodley - Friday, April 04, 2008, Covert Timing Channels over IP
  • Caitlin Kelleher - Friday, April 04, 2008, Increasing Diversity in STEM Fields
  • Zach Hill - Thursday, April 03, 2008, Site Autonomy in Grid Management and Reconfiguration
  • Isabelle Stanton - Monday, March 31, 2008, Clustering Social Networks
  • Richard Stallman - Friday, March 28, 2008, Free Software in Ethics and in Practice
  • Kelvin K. Droegemeier - Friday, March 28, 2008, Transforming the Sensing and Numerical Prediction of High Impact Local Weather Through Dynamic Adaptation: People and Technologies Interacting with the Atmosphere
  • Shahid H. Bokhari - Friday, March 21, 2008, A parallel graph decomposition algorithm for DNA sequencing with nanopores
  • Woochul Kang - Wednesday, March 12, 2008, QoS-Aware Real-Time Databases for Networked Embedded Systems
  • Todd Zickler - Wednesday, February 27, 2008, Physics-based approaches to visual scene analysis
  • Wei Le - Friday, February 22, 2008, A Demand-Driven Path-Sensitive Framework to Detect, Diagnose and Test for Software Vulnerabilities
  • Xiangfei Zhu - Tuesday, February 19, 2008, A Study of Bandwidth-sharing Mechanisms in Connection-oriented Networks
  • Annie Antón - Monday, February 18, 2008, Designing Legally Compliant Software Systems that Contain Sensitive Information
  • Jack Dongarra - Monday, February 11, 2008, An Overview of High Performance Computing and Challenges for the Future
  • Ray PL Buse - Wednesday, February 06, 2008, Documentation Inference for Exceptions
  • Ray PL Buse - Tuesday, January 22, 2008, Documentation Inference for Exceptions