|
2003/04 Events
Colloquium Speakers (3 PM in McGl 020 unless otherwise
noted)
- Poster Session, Advanced Operating Systems
Project Poster Session -- Fri, Apr 30
- Michelle Mills Strout, Performance
Transformations for Irregular Applications, Argonne National Lab --
Fri, April 9
- Moses Liskov, Tweakable Block Ciphers, MIT,
Tues, Mar 30, 4 PM, Rogers 100
- Qun Li, Mobility and Communication in Sensor
Networks, Dartmouth College -- Mon, Mar 29, 7:45 AM
- Henrique Andrade, Time and Space
Optimization Techniques for Processing Batches of
Multi-Dimensional Scientific Queries,
University of Maryland, College Park -- Thu, Mar 4, 4:00 PM,
Rogers 100
- Eugene Agichtein, Extracting Relations from
Large Text Collections, Columbia University -- Tue, Mar 2, 4:00 PM,
Rogers 100
- Sencun Zhu, Efficient Security Mechanisms for
Distributed Sensor Networks, George Mason University -- Mon, Mar 1,
7:45 AM
- Jing Li, Efficient Haplotype Inference on
Pedigrees and Haplotype Based Disease Gene Mapping,
University of California, Riverside -- Fri, Feb 27, 7:45 AM
- Douglas Thain, Explicit Control in a
Batch-Aware Distributed Filesystem, University of Wisconsin - Madison
-- Thurs, Deb 19, 4 PM, Rogers 100
- Michalis Vlachos, Similarity Search and
Indexing Techniques for Multidimensional Time-Series, UC Riverside --
Fri, Feb 13 at 7:45 AM
- Zhiyuan Chen, Optimizing XML-to-Relational
Storage Mapping, Microsoft Research -- Wed, Feb 11 at 7:45 AM
- Niki Trigoni, Energy-Efficient Data
Management for Sensor Networks, Cornell University -- Fri, Dec 12, Wash
201
- Radu Siminiceanu,
The Saturation Algorithm for State Space Exploration and its
Application,
2003 Steven K. Park Award Presentation -- Fri, Dec 5
- Tarek Abdelzaher, Analytic Foundations
for QoS-Aware Computing in Open Systems, Univ. of Virginia --
Fri, Nov 21
- Song Jiang, Effective and Low Cost Replacement
Algorithms for Data Caching in Computer Systems,
2003 Steven K. Park Award Presentation -- Fri, Nov 14
- Abhijit Bose, Distributed and Heterogeneous
Resource Scheduling on the Grid, University of Michigan -- Fri, Nov. 7
- John van Rosendale, Coping with the
Ultrascale Tsunami of Scientific Data: Visualization and Data
Understanding,
Dept. of Energy -- Fri, Oct 31
- Henrique Andrade, Database Support for
Scientific Data Analysis Application: Optimizations and Challenges,
University of Maryland, College Park -- Fri, Oct 24
- Cheng Jin, FAST TCP: Motivation, Design, and
Evaluation, California Institute of Technology -- Fri, Oct 17
PhD Dissertation Defense
- Ben Coleman,
Lookahead Scheduling in a Real-Time Context:
Models, Algorithms and Analysis --
Tuesday, May 4, 1:00PM, McGl 104
- Kevin J. Barker,
Runtime Support for Load Balancing of Parallel Adaptive
and Irregular Applications -- Monday, April 12, 1:00PM, McGl 104
- Radu Siminiceanu,
Structural Model Checking -- Mon, Dec 15, 10 AM, McGl 104
- Serge Hallyn, Domain and Type Enforcement in
Linux -- Tues, Sept 30, 11 AM
Masters Thesis and CS 710 Defense
- Jennifer Haddox-Schatz, Using Formal
Specifications to Create Effective Assertions (CS 710)
-- Thurs, Feb 12, 10AM
- Andriy Fedorov, Location Management in a
Mobile Object Runtime Environment -- Tue, Nov 25, 12:30 PM
- Leonidas Linardakis, A Parallel
2-Dimensional Delaunay Decoupling Method -- Fri, Oct 17, 1 PM
Bachelor's Honors Defense
- Benjamin Cox, ConcernEditor: A Prototype Editor
for Software Plans, -- Thu, Apr 29, 4 PM, McGl 104
- Evan McCreedy -- Friday, Apr 23, 2 PM, McGl
104
Student Research Presentations (12 PM in McGl 104 unless otherwise
noted)
- Shansi Ren, SAT-Match: a self-adaptive topology
matching method to achieve low lookup latency in structured P2P overlay
networks --
Mon, Apr 19.
- Jennifer Haddox-Schatz, Using Formal
Specifications to Create Effective Assertions -- Mon, Feb 23
- Songqing Chen, Design and Implementation of
Hyper-Proxy System for High Quality Streaming Media Delivery in
Internet -- Mon, Feb 9
- Song Jiang, FloodTrail: an Efficient File
Search Technique in
Unstructured Peer-to-Peer Systems -- Mon, Nov 24
- Robert Marmorstein, Hypatheon: A formal
methods database, -- Mon, Nov 10
- Andriy Fedorov, A Case for System Evolution
-- Mon, Oct 20
- Robert Painter, Toward a Formal General
Intermediate Dependability Modeling Language -- Mon, Oct 13
- Jim Deverick, Transparent Authenticating
Firewalls -- Mon, Sept. 15
Professional Development Seminars
The Department of Computer Science
The College of William & Mary
McGlothlin-Street Hall, Room 126
|
