student meeting with Robert O'Callahan


Subject: student meeting with Robert O'Callahan
From: Todd D Millstein (todd@cs.washington.edu)
Date: Wed Feb 28 2001 - 15:19:20 PST


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 : Wed Feb 28 2001 - 15:20:04 PST