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

[Matt Elder <elder@xxxxxxxxxxx>]

To avoid Karu's 4pm talk, I'm moving this to 5pm, today, in CS 3310.

If this is an issue for you, I'll *also* give a practice run in 3310 at 
about 4:15. So you can come see that, too; it will only be slightly 
rougher. ;)
-me

On 9/6/2011 10:19 AM, Matt Elder wrote:
> 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. :)
> _______________________________________________
> Pl-seminar mailing list
> Pl-seminar@xxxxxxxxxxx
> https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar