SEMINAR

Assert Statements in Distributed Sytems

Department of Computer Science
College of William and Mary

ABSTRACT

This research involves the development of two run-time methodologies for evaluating a distributed assert statement while preserving the causality of the underlying distributed system. One is based on causal state information and the other on concurrent state information. The goal has been time and memory efficient algorithms which cause minimal interference to the underlying system's execution. Toward that goal, both static communication analysis and static data flow analysis techniques have been developed.

WHERE: Conference Room; McCain Library

WHEN(day): Friday, April 9th, 1999

WHEN(time): 2:00

EVERYBODY IS INVITED