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
1998 Colloquia
George Varghese-Thursday, December 17, 1998, Can theory help systems?
Daniel Jackson-Tuesday, December 15, 1998, Lightweight Software Design Tools
Top Gun
Fred Schneider-Wednesday, December 09, 1998, Enforceable Security Policies
John Gannon-Wednesday, December 02, 1998, Formal Methods for Analyzing Reactive Systems
William Y. Arms-Tuesday, November 24, 1998, Digital Libraries as Heterogeneous Distributed Systems
Peter G. Neumann-Thursday, November 19, 1998, Computer-Related Risks
Mendel Rosenblum-Monday, November 16, 1998, The Return of Virtual Machine Monitors
Top Gun
Daniela Rus-Monday, November 02, 1998, Self-Reconfigurable Robots
Top Gun
Greg Morrisett-Monday, October 19, 1998, Language-Based Security Mechanisms
Top Gun
Randy Pausch-Friday, October 09, 1998, Time Management
Stephanie Forrest-Wednesday, October 07, 1998, New Approaches to Computer Security: Immunology and Intrusion Detection
Hui Zhang-Monday, October 05, 1998, Quality of Service for Traffic Aggregates
Top Gun
Michael Lesk-Monday, September 14, 1998, National Goals for Digital Libraries
David Patterson-Monday, May 18, 1998, An Introduction to Intelligent RAM (IRAM)
Matthew Lucas-Friday, May 01, 1998, Efficient Data Distribution in Large-Scale Multicast Networks
Marty Humphrey-Friday, May 01, 1998, The DQM Architecture: Facilitating Adaptive Multimedia Applications
Jay K. Strosnider-Friday, April 17, 1998, Impresario: Orchestrating Systems, Software and IC CAD Technologies to Dramatically Reduce Systems Lifecycle Costs
Kenneth Birman-Tuesday, April 14, 1998, Bimodal Multicast
Kenneth Birman-Tuesday, April 14, 1998, The Next Generation Internet: Unsafe at Any Speed?
Jude A. Rivers-Friday, April 10, 1998, Improving Data Supply for Multi-Issue Processors
Ellen J. Yoffa-Monday, March 30, 1998, Breaking Moore's Law -- Tools for Next Generation Chip Design
Lui Sha-Thursday, March 26, 1998, Simplex Architecture: A Dynamic Architecture for Real-Time Systems
William A. Arbaugh-Wednesday, March 25, 1998, Chaining Layered Integrity Checks
David Clark-Monday, March 23, 1998, The Future of the Internet
Top Gun
Phillip T. Conrad-Friday, March 20, 1998, Partially Ordered and Partially Reliable Transport Protocols
Bill Spencer-Wednesday, March 18, 1998, R&D Cooperation in the Semiconductor Industry: What it is, What it isn't, What are the lessons.
Charles B. Owen-Wednesday, March 18, 1998, Xtrieve: Cross-modal Retrieval of Multimedia Content
Mark Heinrich-Monday, March 16, 1998, The Performance and Scalability of Distributed Shared Memory Cache Coherence Protocols
Dawson R. Engler-Friday, March 06, 1998, The exokernel OS architecture: design, power, and performance
Brian Noble-Thursday, March 05, 1998, Mobile Data Access
Ramakrishnan Rajamony-Wednesday, March 04, 1998, Prescriptive Performance Tuning: The Rx Approach
M. Satyanarayanan-Monday, March 02, 1998, Mobile Information Access
Top Gun
Matt Conway-Friday, February 27, 1998, Alice: Easy-to-Learn 3D Scripting for Novices
Richard Lipton-Wednesday, February 25, 1998, DNA2 DNA Computations:
Top Gun
David Luebke-Monday, February 23, 1998, View Dependent Simplification of Arbitrary Polygonal Environments
Gerard J. Holzmann-Wednesday, February 18, 1998, Prototyping Software: Building Refutable Models
Christopher Small-Monday, February 16, 1998, Extensibility in the VINO Operating System
Matthew T. Hepler-Monday, February 16, 1998, Supporting Fault-Tolerance in Secure Real-Time Databases
Phillip T. Conrad-Wednesday, February 04, 1998, Partially Ordered and Partially Reliable Transport Protocols
Tevfik Bultan-Monday, February 02, 1998, Automated Symbolic Analysis of Reactive Systems
Edmund Clarke-Monday, January 26, 1998, Model Checking
Top Gun
Pete Keleher-Monday, January 19, 1998, Policies and Mechanisms for Thread Migration in Distributed Environments
Simon Peyton Jones-Thursday, January 15, 1998, C--: a portable assembly language
Wu-chun Feng-Monday, January 05, 1998, Application and Extensions of the Imprecise-Computation Model
