[pl-seminar] FSE practice talk tomorrow @ 2:00, room 4310

[Evan Driscoll <driscoll@xxxxxxxxxxx>]

Sorry for the late notice, but I'll be giving a practice talk tomorrow 
at 2 in room 4310.
Title: Checking Conformance of a Producer and a Consumer
Abstract:
  This paper addresses the problem of identifying
  incompatibilities between two programs that operate
  in a producer/consumer relationship. It describes the
  techniques that are incorporated in a tool called
  PCCA (Producer-Consumer Conformance Analyzer), which
  attempts to (i) determine whether the consumer is
  prepared to accept all messages that the producer
  can emit, or (ii) find a counterexample: a message
  that the producer can emit and the consumer considers
  ill-formed.