[Prev][Next][Index][Thread]

CFP: International Workshop on Aliasing, Confinement and Ownership in Object-oriented programming

[Relevant for types mailing list because many of the techniques
used are type-based.]


                           Call For Papers

    International Workshop on Aliasing, Confinement and Ownership
              in object-oriented programming (IWACO)

                            at ECOOP 2003

              Tuesday, July 22, 2003. Darmstadt, Germany

		  http://www.cs.uu.nl/~dave/iwaco

The power of objects lies in the flexibility of their interconnection
structure. But this flexibility comes at a cost.  Because an object
can be modified via any alias, object-oriented programs are hard to
understand, maintain, and analyse.  Aliasing makes objects depend on
their environment in unpredictable ways, breaking the encapsulation
necessary for reliable software components, making it difficult to
reason about and optimise programs, obscuring the flow of information
between objects, and introducing security problems.  Aliasing is a
fundamental difficulty, but we accept its presence. Instead we seek
techniques for describing, reasoning about, restricting, analysing,
and preventing the connections between objects and/or the flow of
information between them.

But how do we take arms against the sea of objects?

Topics the workshop aims to address include:

* models, type and other formal systems, programming language
   mechanisms, analysis and design techniques, patterns and notations
   for expressing object ownership, aliasing, confinement, uniqueness,
   and/or information flow.

* optimisation techniques, analysis algorithms, libraries,
   applications, and novel approaches exploiting object ownership,
   aliasing, confinement, uniqueness, and/or information flow.

* empirical studies of programs or experience reports from programming
   systems designed with these issues in mind.

* novel applications of aliasing management techniques such as
   ownership types, confined types, region types, and uniqueness.


We encourage not only submissions presenting original research
results, but also papers that attempt to establish links between
different approaches and/or papers that include survey material.
Original research results should be clearly described, and their
usefulness to practitioners outlined. Paper selection will be based on
the quality and relevance of the submitted material.


Submission Process:

Both full papers (up to 10 pgs.) and position papers (1-2 pgs.) are
welcome. Papers should be formatted in the LNCS style and sent as PS
or PDF. Submissions should be accompanied by a text-only message
containing: title, abstract and keywords, the authors' full names, and
address and e-mail for correspondence.  Submissions should be in
English.

Send submissions to Dave Clarke (dave@cs.uu.nl) by April 25, 2003.

All submissions will be reviewed by the programme committee.  The
accepted papers will be published in the informal proceedings, which
will be distributed at the workshop. All accepted submissions shall
remain available from the workshop web page.  Springer-Verlag will
publish an LNCS volume which will include a report on the workshop.


Participation:

The number of participants is limited to about 30 (minimum 10).  Apart
from those with accepted papers, others may attend by sending an email
to Dave Clarke (dave@cs.uu.nl) indicating what contribution you could
make to the workshop.  A small number of places will be reserved for
PhD students and other researchers wishing to begin research in this
area.


Format:

The workshop will begin in the morning with an invited speaker,
followed by short (10-15 minute) presentations of accepted papers.
In the afternoon we will have directed discussions in small groups,
followed by a plenary session to end the day


Important Dates:

Deadline for submission:     April 25, 2003
Notification of acceptance:  May   30, 2003
Final version:               June  13, 2003
Day of workshop:             July  22, 2003


Program Committee:

Jonathan Aldrich          (University of Washington)
Dave Clarke               (Utrecht University)
Doug Lea                  (SUNY Oswego)
David Naumann             (Stevens Institute of Technology)
James Noble               (Victoria University of Wellington)
Peter O'Hearn             (Queen Mary, University of London)
Martin Rinard             (MIT)
Jan Vitek                 (Purdue University)


Organisers:

Dave Clarke		(Utrecht University)
Sophia Drossopoulou 	(Imperial College, London)
James Noble		(Victoria University of Wellington)

Queries:

Contact Dave Clarke: dave@cs.uu.nl