*/ 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: 2010, 2009,2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1999, 1998, 1997,  Top Gun Posters

2009 Colloquia

  • *RESCHEDULED FALL 2009* Edmund Clarke - Monday, October 12, 2009, Model Checking: My 27 Year Quest to Overcome the State Explosion Problem
  • Sudeep Ghosh - Tuesday, May 19, 2009, Application Security via Process Level Virtualization
  • Kinga Dobolyi - Wednesday, May 06, 2009, An Exploration of Errors in Web-based Applications in the Context of Web-based
  • Jongdeog Lee - Monday, May 04, 2009, Design of an Architecture for Multiple Security Levels in Wireless Sensor Networks
  • Tim Chaplin - Monday, May 04, 2009, Proofs of Retrievability
  • Yuanyuan Song - Monday, May 04, 2009, DRAPES: Modeling and Analysis of Structurally Complex Design Spaces
  • Jason Mars - Thursday, April 30, 2009, A General Pattern Based Seculation Framework To Enable Satellite Optimization
  • Woochul Kang - Wednesday, April 29, 2009, Adaptive Real-Time Data Management for Cyber-Physical Systems
  • Eric Weatherwax - Wednesday, April 29, 2009, Modeling Secretless Security in N-Variant Systems
  • Chris Sosa - Tuesday, April 28, 2009, Bringing the Grid Home
  • Colleen O'Hagan - Tuesday, April 28, 2009, Visualizing Multiparameter Images
  • Woochul Kang - Monday, April 27, 2009, Adaptive Real-Time Data Management for Cyber-Physical Systems
  • Ke Dang - Monday, April 20, 2009, Learning to Rank from a "Base Model"
  • Michael Holroyd - Friday, April 17, 2009, Methods for the Synchronous Acquisition of 3D Shape and Surface Appearance
  • Karthik Sankaranarayanan - Thursday, April 16, 2009, Thermal Modeling and Management of Microprocessors
  • Joel Coffman - Friday, April 10, 2009, Effective Searching in Structured Data
  • Wei Hu - Tuesday, April 07, 2009, Automatic and Efficient Protection against Non-Control-Data Attacks
  • Blake Sutton - Thursday, April 02, 2009, Single-Threaded Mode AVF Prediction During Redundant Execution
  • Scott Aaronson - Thursday, March 26, 2009, The Limits of Quantum Computers
  • Andrew Jurik - Wednesday, March 18, 2009, Biotelemetry and Body Sensors: Enabling ECG Monitoring
  • Adam Smith - Thursday, March 12, 2009, Pinning Down
  • Sofya Raskhodnikova - Tuesday, March 10, 2009, Transitive-closure Spanners
  • Claire LeGoues - Friday, February 20, 2009, Specification Mining With Few False Positives
  • **CANCELLED**Sarita Adve - Thursday, February 19, 2009, Designing Resilient Hardware by Treating Software Anomalies
  • Andreas Savvides - Monday, February 02, 2009, Detecting and Interpreting Human Behaviors Using Wireless Sensors