[pl-seminar] SAS Practice Talk: 4pm, Sept 6

[Matt Elder <elder@xxxxxxxxxxx>]

I'll be giving a practice talk at 4pm on Tuesday Sept 6, in CS 3310.

Affine Domains of Affine Relations

There is a great deal of work on abstract domains that capture linear 
invariants at program points, assuming that program variables range over 
the integers. There is rather less work aimed at using abstract domains 
to capture invariants over machine ints, 32- or 64-bit values whose 
operations are taken modulo MAX_INT. This talk describes two such 
domains, compares their precision, describes their interconversion, and 
suggests improvements.
This material will be presented at SAS 2011.

I'll send out another reminder email much closer to the date. :)