[pl-seminar] PL Seminar: View-Augmented Abstraction

[Matthew Elder <elder@xxxxxxxxxxx>]

View-Augmented Abstraction improves the precision of any numeric
abstract domain with few changes to that domain. I'll tell you how!

This is a practice talk for my upcoming presentation at NSAD. I'll
heartily appreciate any comments and criticism. The talk *should* be
less than 20 minutes long. Also, I'll bring donuts.

Wednesday, 8 September 2010.
CS 3310, 4:00 pm.

Attachment: signature.asc
Description: OpenPGP digital signature