From: Craig Chambers (chambers@cs.washington.edu)
Date: Mon Feb 10 2003 - 22:04:06 PST
Jonathan's first PC job!
-- Craig
-------- Original Message --------
Subject: CFP: International Workshop on Aliasing, Confinement and Ownership in
object-oriented programming (IWACO)
Date: Mon, 10 Feb 2003 18:35:32 +0100
From: Dave Clarke <dave@cs.uu.nl>
To: ecoop-info@ecoop.org
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
-- Dave Clarke dave@cs.uu.nl http://www.cs.uu.nl/~dave All opinions expressed herein are fictional. Any resemblance to actual opinions, living or dead, is purely coincidental. ---------------------------------------------------------------------- ecoop-info@ecoop.org is a *moderated* distribution list for announcing non-commercial, international events related to object technology. Please post announcements for moderation to: ecoop-info@ecoop.org ---------------------------------------------------------------------- To unsubscribe, just send email to: ecoop-info-unsubscribe@ecoop.org Please send questions, problems or complaints to: ecoop@aito.org More information about ECOOP is available at: http://www.ecoop.org/ ---------------------------------------------------------------------- _______________________________________________ Cecil mailing list Cecil@cs.washington.edu http://mailman.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2.1.5 : Mon Feb 10 2003 - 22:02:32 PST