Subject: 590L/K this quarter
From: Jonathan Aldrich (jonal@cs.washington.edu)
Date: Tue Jan 02 2001 - 16:55:32 PST
I thought it would be fun to have a reading group in the style of 590L or
590K this quarter. Craig agreed to participate if the topic was good and
he didn't have to organize it. His suggestion was papers on interesting
kinds of alias analysis support, possibly (but not necessarily) from a
language design perspective--something that gives programmers more
aliasing information than a type alone.
Please email me back if you are interested, and include any topic or paper
suggestions. We could meet in the 590L slot, Wednesdays at 3:30 in EE1
026. If there are 4 or 5 people interested, we can go ahead--I'll choose
an appropriate paper and lead the first week (January 10).
Below is a list of papers, starting with 5 language design/alias analysis
papers that I know of, and then a bunch of possible language design or
type system papers from this year's OOPLSA, ECOOP, POPL, and PLDI
conferences.
Jonathan :-)
-----------------------------------------------------------------------
Papers on alias analysis (Craig may have more ideas)
Towards Alias-Free Pointers. Naftaly Minsky, ECOOP 96
Flexible Alias Protection. James Noble, Jan Vitek, and John
Porter. ECOOP??
Balloon Types: Controlling sharing of state in date types. Almeida, ECOOP
1997.
Islands: Aliasing protection in object-oriented languages. John Hogg,
OOPSLA 91.
'Use-once' variables and linear objects -- storage management, reflection,
and multi-threading. Henry Baker, SIGPLAN notices January 1995.
-----------------------------------------------------------------------
OOPSLA 00 language design papers
Improving the Java Memory Model Using CRF
Exclusion for Composite Objects
MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java
Parametric Polymorphism in Java: An Approach to Translation Based on
Reflective Features
PIROL: A Case-Study for Multidimensional Separation of Concerns in
Software Engineering Environments
An Approach to Safe Object Sharing
Guava: A Dialect of Java without Data Races
-----------------------------------------------------------------------
PLDI 00 language design papers
Type-Based Race Detection for Java
-----------------------------------------------------------------------
POPL 01 language design papers
Typing a Multi-Language Intermediate Code
Colored Local Type Inference
Combining Subsumption and Binary Methods: An Object Calculus with Views
-----------------------------------------------------------------------
ECOOP 00 language design papers
A Basic Model of Typed Components
On Inner Classes
Jam - A Smooth Extension of Java with Mixins
A Mixin-Based Semantics-Based Approach To Reusing Domain-Specific
Programming Languages
Generic Wrappers
Copying and Comparing : Problems and Solutions
Runtime Support for Type-Safe Dynamic Java Classes
Ionic Types
This archive was generated by hypermail 2b25 : Tue Jan 02 2001 - 16:59:47 PST