Lambda the Ultimate

John Backus, inventor of FORTRAN, the BNF, and winner of the 1977 Turing Award, has passed away. New York Times has an obituary. I'm sure the more eloquent members of LtU will have much to say about him, so I'll just point out that his Turing Award lecture is an absolute classic, and seems to be more relevant than ever. My condolences to the Backus family and friends.

I am interested in implementing a program analysis, where the operations applied to an instance of an abstract data type (e.g. a list) determine the implementation's choice of data structure (e.g. array vs linked list).

For example if "insert" or "delete" is used, then a linked list might be chosen, or if "nth" operation (accessing the nth item) is applied then an array might be used.

I am unfamiliar with such analyses. Can anyone recommend any papers or related work?

Call for Papers

Sixth International Conference on
Generative Programming and Component Engineering (GPCE'07)

October 1-3, 2007
Salzburg, Austria
(co-located with ESWEEK'07)

http://www.gpce.org/07

Important Dates:

* Submission of abstracts: April 17, 2007
* Submission: April 20, 2007
* Notification: June 10, 2007

* Tutorial and workshop proposals: March 16, 2007
* Tutorial and workshop notification: April 9, 2007

Scope

Generative and component approaches are revolutionizing software
development similar to how automation and components revolutionized
manufacturing. Generative Programming (developing programs that
synthesize other programs), Component Engineering (raising the level
of modularization and analysis in application design), and
Domain-Specific Languages (elevating program specifications to compact
domain-specific notations that are easier to write, maintain, and
analyze) are key technologies for automating program development.

GPCE provides a venue for researchers and practitioners interested in
foundational techniques for enhancing the productivity, quality, and
time-to-market in software development that stems from deploying
standard componentry and automating program generation. In addition to
exploring cutting-edge techniques for developing generative and
component-based software, our goal is to foster further
cross-fertilization between the software engineering research
community and the programming languages community. As GPCE is
co-located with ESWEEK this year, we also especially encourage papers
from the embedded systems community.

Submissions

10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting
research results and/or experience related to the topics above (PC
chair can advise on appropriateness). We particularly encourage
original high-quality reports on applying GPCE technologies to
real-world problems, relating ideas and concepts from several topics,
or bridging the gap between theory and practice.

Please note that in contrast to last year, GPCE 2007 is not using a
double-blind reviewing process.

Topics

GPCE seeks contributions in software engineering and in programming
languages related (but not limited) to:

* Generative programming
o Reuse, meta-programming, partial evaluation, multi-stage and
multi-level languages, and step-wise refinement
o Semantics, type systems, symbolic computation, linking and
explicit substitution, in-lining and macros, templates, and
program transformation
o Runtime code generation, compilation, active libraries,
synthesis from specifications, development methods, generation of
non-code artifacts, formal methods, and reflection
* Generative techniques for
o Product-line architectures
o Distributed, real-time and embedded systems
o Model-driven development and architecture
o Resource bounded/safety critical systems.
* Component-based software engineering
o Reuse, distributed platforms and middleware, distributed
systems, evolution, patterns, development methods, deployment
and configuration techniques, and formal methods
* Integration of generative and component-based approaches
* Domain engineering and domain analysis
o Domain-specific languages (DSLs) including visual and UML-based
DSLs
* Separation of concerns
o Aspect-oriented and feature-oriented programming,
o Intentional programming and multi-dimensional separation
of concerns
* Industrial applications
* Applications in embedded systems

Reports on applications of these techniques to real-world problems are
especially encouraged, as are submissions that relate ideas and concepts
from several of these topics, or bridge the gap between theory and
practice. The program chair is happy to advise on the appropriateness of a
particular subject.

Submissions must adhere to SIGPLAN's republication policy. Please contact
the program chair if you have any questions about how this policy applies
to your paper (gpce07 at diku.dk).

General Chair

* Charles Consel (LABRI/INRIA, Bordeaux)

Program Committee

Program Chair:

* Julia Lawall (DIKU, University of Copenhagen)

Program Committee Members:

* Edwin Brady (University of St Andrews, UK)
* Johan Brichau (UniversitÈ Catholique de Louvain, Belgium)
* Rastislav Bodik (UC Berkeley, USA)
* Jacques Carette (McMaster University, Canada)
* Albert Cheng (University of Houston, USA)
* Remi Douence (Ecole des Mines de Nantes-Inria, Lina, France)
* Lidia Fuentes (University of M·laga, Spain)
* Ian Gorton (Pacific Northwest National Lab)
* Jean-Marc Jezequel (IRISA (INRIA & Univ. Rennes 1), France)
* Kyo Kang (Pohang University of Science and Technology, Korea)
* Siau Cheng Khoo (National University of Singapore, Singapore)
* Paul Kelly (Imperial College London, UK)
* Anne-Francoise Le Meur (University of Lille 1, France)
* Christian Lengauer (University of Passau, Germany)
* Sandeep Neema (Vanderbilt University, USA)
* Scott Owens (University of Cambridge, UK)
* Jens Palsberg (UCLA, USA)
* Renaud Pawlak (Rensselaer Polytechnic Institute, USA)
* Zoltan Porkolab (Eotvos Lorand University, Hungary)
* Robby (Kansas State University, USA)
* Peter Sestoft (IT University of Copenhagen, Denmark)
* Jeremy Siek (University of Colorado at Boulder, USA)
* Tony Sloane (Macquarie University, Australia)
* Kevin J. Sullivan (University of Virginia, USA)
* Peri Tarr (IBM Thomas J. Watson Research Center, USA)