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
2007 Colloquia
Leonid Bolotnyy-Friday, December 07, 2007, New Directions in Reliability, Security and Privacy in RFID Systems
Siva Vaidhayanathan-Monday, December 03, 2007, The non-opticon: Why we need a new theory of privacy and surveillance for a digital age
Jeffrey Shirley-Monday, December 03, 2007, Securing Applications Using Intent-Based Access Control Policies
Scott Bingham-Friday, November 30, 2007, ABVFI: ABV Based Hardware Fault Injection
Randy Pausch-Tuesday, November 27, 2007, Time Management
Jason Hiser-Monday, November 19, 2007, Using Software Dynamic Translation for Program Obfuscation and Anti-tampering
Hans Boehm-Thursday, November 15, 2007, Getting C++ threads right
John (Jay) R. Boisseau-Friday, November 02, 2007, Supercomputing and Universities -- Then, Now, and Tomorrow
Michael Spiegel-Monday, October 29, 2007,
Dan Upton-Tuesday, October 23, 2007, Design of a Custom VEE Core in a Chip Multiprocessor
Tessa Lau, Ph.D.-Monday, October 22, 2007, Collaborative Scripting for the Web
Soha Hassoun, Ph.D.-Monday, October 22, 2007, FinFETs: Thermal Modeling, Analysis, and Circuit Design
Xiangyu Jin-Wednesday, October 17, 2007, Relevance Feedback in Content-based Retrieval: A Study of Practical
Xiang Yin-Thursday, October 04, 2007, Echo: Practical Formal Verification by Reverse Synthesis
Daniel B. Olson-Monday, September 24, 2007, Zodiac Ciphers
Apala Guha-Wednesday, September 12, 2007, Memory Footprint Optimization of Virtual Execution Environments for Embedded Platforms
Evelyn Duesterwald-Tuesday, September 11, 2007, Parallel Tools Platform: An Integrated Environment for Parallel Program Development
Qiuhua Cao-Friday, August 31, 2007, Self-healing Strategies for Wireless Sensor Networks
Jiayuan Meng-Friday, August 24, 2007, Temporal and Spatial Streaming on a General Purpose MIMD Manycore Chip
Nathanael Paul-Friday, August 24, 2007, Disk-Level Behavioral Malware Detection
Xiuduan Fang-Friday, August 17, 2007, On using circuit-switched networks for file transfers
Kyoung-don Kang-Thursday, August 09, 2007, Developing Chronos Real-Time Database and QoS Management Schemes
Ben Taitelbaum-Tuesday, August 07, 2007, Proving the System Assurance Theorem by Combining Formal Methods and Protection Shells
Florin Ciucu-Wednesday, August 01, 2007, Scaling Properties in the Stochastic Network Calculus
Vibha Prasad-Wednesday, July 25, 2007, ANDES: an ANalysis-based DEsign tool for wireless Sensor networks
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
Karthik Sankaranarayanan-Wednesday, July 11, 2007, Thermal Modeling and Management of Microprocessors
Gang Zhou-Monday, June 11, 2007, Taming the Sensor Networking Challenges
Patrick Graydon-Wednesday, May 30, 2007, Assurance Based Development
Jeremy Sheaffer-Wednesday, May 23, 2007, Physical Challenges in Reliable Graphics Hardware Design
Karsten Nohl-Wednesday, May 23, 2007, Implementable Privacy for RFID Systems
Zach Hill-Friday, May 11, 2007, Meeting Virtual Organization Performance Goals Through Adaptive Grid Reconfiguration
Chris White-Friday, May 11, 2007, Managing Data Locality in Hardware with Fractal
Jiajun Zhu-Thursday, May 10, 2007, Fast Omni-directional 3D Scene Acquisition with an Array of Stereo Cameras
Christopher Taylor-Thursday, May 10, 2007, Algorithmic Analysis of Human DNA Replication
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
Radu Stoleru-Wednesday, May 02, 2007, Robust Node Localization for Wireless Sensor Networks
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
Satish Narayanasamy-Thursday, April 26, 2007, Looking Beyond Performance: Processors for Time Travel
Shashi Prabh-Friday, April 20, 2007, Real-Time Capacity of Wireless Sensor Networks
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
Aranyak Mehta-Thursday, April 12, 2007, Online Algorithms for New Markets (...and a Glimpse Into the Field of Internet Economics)
Gary McGraw-Wednesday, April 11, 2007, Exploiting Online Games
Bhaskar Krishnamachari-Tuesday, April 10, 2007, Modeling Wireless Sensor Networks
Diego Nehab-Friday, April 06, 2007, Fast Triangle Reordering for Vertex Locality and Reduced Overdraw
abhi shelat-Thursday, April 05, 2007, New Possibilities for Code Obfuscation
Jayadev Misra-Wednesday, April 04, 2007, Structured Concurrent Programming
Nikhil Devanur-Thursday, March 29, 2007, Two results in approximation algorithms
Nicole Immorlica-Thursday, March 22, 2007, Algorithmic Game Theory with Applications to Online Auctions
Hovav Shacham-Tuesday, March 20, 2007, Buffer Overflows and Group Signatures: Recent Results in Security and Cryptography
Shukang Zhou-Tuesday, March 20, 2007, Factors Affecting Realistic Performance of Dynamic Optimization
Rance Necaise-Thursday, March 15, 2007, The Colorcut Algorithm for Digital Color Image Quantization
Hans C. von Bayer-Tuesday, March 13, 2007, How I Learned to Stop Worrying about Schödinger’s Cat
Michael Kazhdan-Friday, March 02, 2007, Reconstruction of Solid Models from Oriented Point Sets
Mark Sherriff-Wednesday, February 28, 2007, Analyzing Software Artifacts to Guide Development Decisions
Tim Weyrich-Friday, February 23, 2007, TBA
Ambrose Kofi Laing-Thursday, February 22, 2007, Playing Push vs Pull: Models and Algorithms for Disseminating Dynamic Data in Networks
Jorg Liebeherr-Monday, February 19, 2007, A Min-Plus System Interpretation of Bandwidth Estimation
Ana Viseu-Thursday, February 08, 2007, Augmented Bodies: The case of wearable computers and nanotechnology
Adam Meyerson-Wednesday, January 24, 2007, Online Algorithms for Matching
Anthony Wood-Tuesday, January 16, 2007, Adaptive Defenses for Physical- and Routing-Layer Denial-of-Service Attacks in Wireless Sensor Networks
Leonid Bolotnyy-Monday, January 15, 2007, New Directions in Detection, Security and Privacy for RFID Systems
