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

[Matt Elder <elder@xxxxxxxxxxx>]

Recall: this is *today* at 4pm.

-me

On 8/24/2011 12:56 PM, Matt Elder wrote:
> 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. :)