Subject: practice talk Monday May 6 @ 5pm in 322
From: Jonathan Aldrich (jonal@cs.washington.edu)
Date: Fri May 03 2002 - 13:10:28 PDT
Val will be giving a practice talk Monday on AliasJava, the work we
submitted to OOPSLA. He'll be describing the user-level type system of
AliasJava, and presenting type inference at a more concrete level than our
discussion in group meeting a couple of weeks ago.
It would be great to get feedback from the Cecil group! The talk is at
5pm in room 322, and is in preparation for the undergraduate research
seminar next week. Bribes will be provided, as usual.
Thanks!
Jonathan & Val
------------------- abstract ----------------------
Valentin Kostadinov
A Type System for Alias Relationships in Java
Object oriented languages provide support for encapsulation and
information hiding but in practice object access can escape to any part of
the system through an alias. Aliasing makes software systems hard to
understand, maintain and argue about - a change to the state of an object
can affect any number of other objects containing an alias to it, even
though the object is seemingly independent of the affected objects. A
number of type systems have been proposed in the past and the one
presented here addresses many of the problems that arise in the presence
of aliases. I will briefly discuss the type system and then describe the
implementation of a constraints-based algorithm, which infers the type
annotations for programs in Java and ArchJava (an extension of Java
binding implementation to architecture). The inference algorithm will be
tested and evaluated on the entire Java standard library. Such automated
inference can ease the transition from existing Java code as well as
evaluate the expressiveness of the type system and provide valuable alias
analysis.
The information for the final 490rs talk is as follows:
EE1 037
Wednesday, May 8, 2002
3:30 - 4:20 pm
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Fri May 03 2002 - 13:11:11 PDT