Call for Papers ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '95) La Jolla, California, June 21-23, 1995 The PEPM 1995 symposium brings together researchers working in the areas of semantics-based program manipulation and partial evaluation. The symposium focuses broadly on techniques and supporting theory for the analysis and manipulation of programs to improve performance. Technical topics include, but are not limited to: - Program manipulation techniques: program transformation, program specialization, partial evaluation. - Program analysis techniques: abstract interpretation, static analysis, binding-time analysis. - Related issues in language design and models of computation: functional, logic programming, object oriented, parallel, distributed. - Programs as data objects: meta-programming, incremental computation, tools and techniques, prototyping and debugging. - Applications: scientific computing, compiler generation, algorithm design. Original results that bear on these and related topics are solicited. Prospective authors should submit papers directly to the program chair at the address below to arrive not later than November 16, 1994. Authors concerned about the appropriateness of a topic are encouraged to consult with the program chair prior to submission. Papers may be submitted electronically, either in Postscript or as a self-contained TeX or LaTeX file. Hard-copy submissions will also be accepted, which should include 7 copies, double-sided if possible. Submissions should not exceed 5000 words (about 10 pages), excluding bibliography and figures. Final papers may be longer. Excessively long submissions may be rejected outright by the program chair. Submissions should designate a corresponding author and include a mailing address, phone number, and Internet email address for correspondence. Submitted papers will be judged on the basis of significance, relevance, correctness, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Submissions must include an abstract and discussion of related work. Papers must describe work that has not previously been published in a major forum. Authors should indicate if a closely related paper is also being considered for another conference or journal. Authors will be notified of acceptance by February 7, 1995. Full versions of the accepted papers will be formatted according to ACM conventions, and a camera-ready copy must be received by the program chair no later than March 24, 1995. Authors of accepted papers must sign an ACM copyright release form. Accepted papers will be presented at the symposium and will appear in the proceedings published by ACM. Information about the conference is available on the world-wide web at http://www.cs.cmu.edu:8001/afs/cs.cmu.edu/user/wls/www/pepm95/pepm95.html. Program Committee Craig Chambers University of Washington Radhia Cousot CNRS & 'Ecole Polytechnique Olivier Danvy Aarhus University Robert Glueck Vienna University of Technology Benjamin Goldberg New York University Tim Griffin AT&T Bell Laboratories Paul Hudak Yale University John Launchbury Oregon Graduate Institute Julia Lawall Brandeis University Erik Ruf Microsoft Research William L. Scherlis Carnegie Mellon University David A. Schmidt Kansas State University Harald Sondergaard University of Melbourne Mitchell Wand Northeastern University Publicity Chair: Peter Sestoft, Technical University of Denmark, sestoft@id.dtu.dk Treasurer: Tim Sheard, Oregon Graduate Institute, sheard@cse.ogi.edu Exhibits: Fritz Henglein, University of Copenhagen, henglein@diku.dk Program Chair General Chair William L. Scherlis Neil Jones Department of Computer Science DIKU, Department of Computer Science Carnegie Mellon University University of Copenhagen 5000 Forbes Avenue Universitetsparken 1 Pittsburgh, PA 15213 USA DK-2100 Copenhagen 0 DENMARK Email: scherlis@cs.cmu.edu Email: neil@diku.dk Phone: 412-268-8741 The symposium is held in conjunction with the ACM SIGPLAN Conferences on Programming Language Design and Implementation (PLDI '95) and Functional Programming Languages and Computer Architecture (FPCA '95). |> PEPM'95: ACM SIGPLAN Symposium on Partial Evaluation |> and Semantics-Based Program Manipulation June 21-23 |> |> Haskell Workshop June 25 |> |> ==== PEPM'95 =========================================================== |> |> |> PEPM '95 Conference Program |> |> Session 1: 2:00-3:30, Wednesday 21 June. Chair: Mitchell Wand |> |> Shape analysis as a generalized path problem |> Thomas Reps (University of Wisconsin) |> |> A symbolic constraint solving framework for analysis of logic programs |> C. R. Ramakrishnan, I. V. Ramakrishnan (SUNY at Stony Brook), and |> R. C. Sekar (Bellcore) |> |> Special address: 4:00-5:00, Wednesday 21 June |> |> MIX ten years after |> Neil Jones (University of Copenhagen) |> |> Session 2: 5:00-6:20, Wednesday 21 June. Chair: John Launchbury |> |> Self-applicable online partial evaluation of pure lambda calculus |> Torben Mogensen (University of Copenhagen) |> |> Effect systems with subtyping |> Yan mei Tang and Pierre Jouvelot (Ecole des Mines de Paris) |> |> Session 3: 8:20-10:20, Thursday 22 June. Chair: Julia Lawall |> |> Polyvariant constructor specialisation |> Dirk Dussart, Eddy Bevers, and Karel De Vlaminck (Katholieke |> Universiteit Leuven) |> |> Polyvariant specialisation for higher-order, block-structured languages |> Karoline Malmkjaer (Aarhus University) |> |> Implementation of multiple specialization in logic programs |> German Puebla and Manuel Hermenegildo (Technical University of Madrid) |> |> Session 4: 10:50-12:10, Thursday 22 June. Chair: Radhia Cousot |> |> Proving properties of programs defined over recursive data structures |> Daniel Le Metayer (IRISA/INRIA) |> |> Semantic foundations of binding time analysis for imperative programs |> Manuvir Das, Thomas Reps (University of Wisconsin), and |> Pascal Van Hentenryck (Brown University) |> |> Invited talk: 2:00-3:00, Thursday 22 June |> |> Abstract interpretation and low-level code optimization |> Saumya K. Debray (University of Arizona) |> |> Session 5: 3:00-4:20, Thursday 22 June. Chair: Neil Jones |> |> Using abstract interpretation to define a strictness type inference system |> Bruno Monsuez (Ecole Normale Superieure) |> |> Abstract interpretation for schedulers |> Eric Goubault (Ecole Normale Superieure) |> |> Session 6: 4:50-6:10, Thursday 22 June. Chair: Robert Gluck |> |> The essence of LR parsing |> Michael Sperber and Peter Thiemann (Universitat Tubingen) |> |> Clock analysis of synchronous dataflow programs |> Thomas P. Jensen (Ecole Polytechnique) |> |> Session 7: 8:20-10:20, Friday 23 June. Chair: David A. Schmidt |> |> Optimization of CLP modules via replacement |> Sandro Etalle and Maurizio Gabbrielli |> (Centrum voor Wiskunde en Informatica) |> |> Higher order expression procedures |> David Sands (University of Copenhagen) |> |> Caching intermediate results for program improvement |> Yanhong A. Liu and Tim Teitelbaum (Cornell University) |> |> Session 8: 10:50-12:10, Friday 23 June. Chair: Tim Griffin |> |> Analyzing the communication topology of concurrent programs |> Christopher Colby (Carnegie Mellon University) |> |> Semantic analysis of Concurrent Pascal using abstract model-checking |> Regis Cridlig (Ecole Normale Superieure) |> |> Invited talk: 2:00-3:00, Friday 23 June |> |> An overview of semantic models and static analysis techniques for |> inductive data structures and pointers |> Alain Deutsch (INRIA Rocquencourt) |> |> Session 9: 3:00-5:00, Friday 23 June. Chair: Olivier Danvy |> |> Action transformation by partial evaluation |> Kyung-Goo Doh (University of Aizu) |> |> Type analysis of logic programs in the presence of type definitions |> Lunjin Lu (University of Birmingham) |> |> Towards creating specialised integrity checks through partial |> evaluation of meta-interpreters |> Michael Leuschel and Danny De Schreye (Katholieke Universiteit Leuven) |> |> - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |> |> PEPM '95 Conference Committee |> |> General Chair: Neil Jones, DIKU |> Treasurer: Tim Sheard, Oregon Graduate Institute |> Publicity: Peter Sestoft, Technical University of Denmark |> Exhibits: Fritz Henglein, DIKU, University of Copenhagen |> Program Chair: William L. Scherlis, Carnegie Mellon University |> |> Program Committee: |> Craig Chambers, University of Washington |> John Launchbury, Oregon Graduate Institute |> Radhia Cousot, CNRS & Ecole Polytechnique |> Julia Lawall, Brandeis University |> Olivier Danvy, Aarhus University |> Erik Ruf, Microsoft Research |> Robert Gluck, Vienna University of Technology |> William L. Scherlis, Carnegie Mellon University |> Benjamin Goldberg, New York University |> David A. Schmidt, Kansas State University |> Tim Griffin, AT&T Bell Laboratories |> Harald Sondergaard, University of Melbourne |> Paul Hudak, Yale University |> Mitchell Wand, Northeastern University |> |> |> ==== Haskell Workshop ================================================== |> |> |> Haskell Workshop |> |> Sunday, 25 June 1995 |> 9:30am - 4:30pm |> |> The functional language Haskell is approaching its 5th birthday. |> There are now several robust and popular implementations of Haskell, |> and it has been used in a variety of applications, big and small, |> academic and industrial. This informal workshop is aimed at |> discussing the future of Haskell: what have we learned, what should be |> different, and what is the process for change? The forum will consist |> of invited talks on particular aspects of Haskell, specific proposals |> for change, and open discussions on the most interesting topics. |> |> (Note: Admittance to the workshop requires registration.) |> |> Chair: Paul Hudak (Yale University) |> hudak-paul@cs.yale.edu