[pl-seminar] Practice defense: Checking Program Compatibility Using Automata

[Evan Driscoll <driscoll@xxxxxxxxxxx>]

Evan Driscoll is giving a practice defense talk as follows:

Title: Checking Program Compatibility Using Automata
Time: 11:45am Friday Aug 16
Place: CS3310

Abstract: We describe how to model the input and output programs as
automata, and use the models to check whether producer and consumer
programs operate on the same format. Several kinds of automata are
considered, with different tradeoffs in terms of precision and time.

Attachment: signature.asc
Description: OpenPGP digital signature