Advance Program PEPM '92

khoo-siau-cheng@CS.YALE.EDU (Siau Cheng Khoo)
Thu, 7 May 1992 23:15:10 GMT

          From comp.compilers
Related articles
Advance Program PEPM '92 khoo-siau-cheng@CS.YALE.EDU (1992-05-07)
| List of all articles for this month |
Newsgroups: comp.lang.misc,comp.lang.prolog,comp.lang.lisp,comp.compilers,comp.theory
From: khoo-siau-cheng@CS.YALE.EDU (Siau Cheng Khoo)
Keywords: theory, conference
Organization: Yale University Computer Science Dept., New Haven, CT 06520-2158
Date: Thu, 7 May 1992 23:15:10 GMT





                                                      ADVANCE PROGRAM


                                              Workshop on Partial Evaluation


                                and Semantics-Based Program Manipulation


                                June 19-20, 1992, Fairmont Hotel, San Francisco, CA, USA


(between SIGPLAN PLDI'92 and LFP'92)


                                    Sponsored by the ACM Special Interest Group SIGPLAN.




This workshop continues the momentum brought by PEPM'91. Its goal is
to investigate the principles and applications of manipulating
programs based on their semantics. The PEPM'92 proceedings will be
available as a Yale technical report.




Friday, June 19th


2:00-3:30 Session1: Chaired by Timothy Hickey, Brandeis University


"Speedup Analysis in Partial Evaluation: Preliminary Results" L. O.
Andersen and C. K. Gomard, University of Copenhagen


"Predicting Properties of Residual Programs" K. Malmkjaer, Kansas State
University


3:50-5:50 Session2: Chaired by Olivier Danvy, Kansas State University


"Semantical Interprocedural Analysis by Partial Symbolic Evaluation"
  B. Dehbonei and P. Jouvelot, Bull CRC, Ecole des Mines


"A Polyvariant Binding Time Analysis" B. Rytz and M. Gengler, Swiss Federal
  Institute of Technology


"Towards a New Perspective on Partial Evaluation" M. Katz and D. Weise,
  Stanford University




Saturday, June 20th




9:00-10:20 Session3: Chaired by Daniel Weise, Stanford University


"Fully Lazy Higher-Order Removal" W.-N. Chin, National University of Singapore


"Call Unfolding Strategies for Equational Logic Programs" D. Sherman and
  R. Strandh, Universite de Bordeaux-1


10:50-12:10 Session4: Chaired by Fritz Henglein, University of Copenhagen


"Self-applicable C Program Specialization" L. O. Andersen, University of
  Copenhagen


"A Programming Environment for Binding-Time Based Partial Evaluators"
  C. Consel and S. Pai, Yale University


1:00-3:10 Session: Chaired by Paul Hudak Yale University
"Improving the Accuracy of Higher-Order Specialization using Control Flow
  Analysis" E. Ruf and D. Weise, Stanford University


"A Suite of Optimizers Based on Abstract Interpretation" T. E. Cheatham and
  D. Stephanescu, Harvard University


"Towards Efficient Compilation of a Dynamic Object-Oriented Language"
  S. Harnett and M. Montenyohl, University of Southwestern Louisiana


3:30-6:10 Session6: Chaired by Arun Lakhotia, University of Southwestern
  Louisiana


"Program Transformation by Derivor Manipulations" C. T. P. Burton,
  University of London


"A Simple Rewriting Semantics for Realistic Imperative Programs and its
  Application to Program Analysis" J. Field, IBM,T. J. Watson Research Center


"A Framework for Mechanizing Logic Program Transformation: The Synthesis of
  Eureka-Properties" K. Bsaies, CNRS and INRIA-Lorraine


"Self-applicable Partial Evaluation for Pure Lambda Calculus" T. Mogensen,
  University of Copenhagen
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.