Subject: ROOM CHANGE: student meeting with Robert O'Callahan
From: Todd D Millstein (todd@cs.washington.edu)
Date: Fri Mar 02 2001 - 11:01:19 PST
The student meeting with Robert O'Callahan has been moved to Mary Gates
Hall 085, to give us some more space. Hope to see you there.
Todd
On Wed, 28 Feb 2001, Todd D Millstein wrote:
>
> Robert O'Callahan from CMU will be interviewing for a faculty position on
> March 6 & 7. We're having the student meeting with him on March 6 at
> 1:30, in the Chateau conference room.
>
> Robert's interests and talents are quite broad. For his thesis, he
> developed Ajax, a tool for understanding properties of Java programs.
> The research involves ideas related to program analysis, software
> engineering, and programming language theory. The underlying analysis
> engine of his tool uses a more powerful variant of ML-style type inference
> to analyze alias relationships in Java. Clients, however, are completely
> isolated from this underlying engine, seeing only a relatively simple but
> expressive interface upon which to pose queries. He has also come up with
> an interesting callback scheme between the analysis engine and the client,
> to reduce the amount of data that needs to pass between them, without
> reducing precision of the tool.
>
> Please join me for the student meeting. You'll be glad you did.
>
> If you think you're likely to come, please let me know so I can gauge the
> number of people attending. (But of course also feel free to just show
> up on Tuesday.)
>
> Thanks.
>
> Todd
>
>
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Fri Mar 02 2001 - 11:02:04 PST