Fourth International Workshop on

Set Constraints and Constraint-based Program Analysis

Pisa, Italy, October 30, 1998

  • Workshop Program

  • Workshop Papers

  • Scope

    The first uses of set constraints date back at least to John Reynold's early work on program analysis in 1969. In the last decade there has been a significant increase in the interest in set constraints, with major advances both in the foundations of set constraints as well as in applications. Meanwhile, constraints have become a core technology in areas such as types and program analysis. Constraint-based approaches have led to many algorithmic and conceptual advances in type inference (particularly subtypes), data-flow analysis, control-flow analysis, binding-time analysis, and sorted-unification. Many of these works directly use set constraints; other used equational and constraint theories of which set constraints are a generalization. The aim of this workshop is to bring together researchers working on all aspects of set constraints, and provide a forum for discussing novel applications, implementation, new results and open problems. We also hope that the workshop will give a sense of the diversity of set constraints applications, and in so doing generate new problems, approaches, and opportunities.

  • Organizing Committee:
    Alexander Aiken (UC Berkeley, U.S.A., aiken@cs.berkeley.edu)
    Harald Ganzinger (Max Planck Institute, Germany, hg@mpi-sb.mpg.de)
    Nevin Heintze (Bell Laboratories, U.S.A., nch@research.bell-labs.com)
    Fritz Henglein (DIKU, University of Copenhagen, henglein@diku.dk)
    Joxan Jaffar (National Univ. of Singapor, joxan@iscs.nus.sg)
    Bruno Legeard (Univ. of Franche-Comté, legeard@comte.univ-fcomte.fr)
    David McAllester (AT&T Laboratories, U.S.A., dmac@research.att.com)
    Leszek Pacholski (University of Wroclaw, Poland, pacholsk@tcs.uni.wroc.pl)
    Jens Palsberg (Purdue University, palsberg@cs.purdue.edu)
    Andreas Podelski (Max Planck Institute, Germany, podelski@mpi-sb.mpg.de)
    Jean-Francois Puget (ILOG, France, puget@ilog.fr)
    Jakob Rehof (Microsoft Research, U.S.A., rehof@microsoft.com)
    Sophie Tison (University of Lille, France, tison@lifl.fr)

  • Organization

    The workshop will take place in connection with CP98, the Fourth International Conference on Principles and Practice of Constraint Programming.

  • Submission Details

    • Authors are invited to submit short papers (2-8 pages) for presentation at the workshop, preferrably by email to podelski@mpi-sb.mpg.de. Papers may describe preliminary or partial results as well as finished research. Position papers are also welcome. Topics of interest include, but are not limited to:
    - decision procedures and algorithms,
    - applications,
    - implementation,
    - connections with other areas such as model checking.

    Submissions deadline: August 15, 1998
    Acceptance decisions: September 20
    Workshop: October 30

    Andreas Podelski
    Last modified: Tue Oct 20 12:11:36 MET DST 1998