[TYPES/announce] PEPM'09 -- Call for Participation

[G. Puebla and G. Vidal]

                        ACM SIGPLAN Workshop                          
                                on                                    
        Partial Evaluation and Program Manipulation (PEPM'09)       
                                                                    
                        January 19-20, 2009                           
                      Savannah, Georgia, USA                          
            http://clip.dia.fi.upm.es/Conferences/PEPM09           

                      CALL FOR PARTICIPATION


IMPORTANT DATES

* Hotel reservation deadline: December 18, 2008
* Early registration deadline: December 19, 2008

VENUE

   PEPM'09 and  all POPL'09 affiliated  events will take place  at the
Hyatt Regency Savannah hotel.  

SCOPE

   The PEPM  Symposium/Workshop  series  aims  at   bringing  together
researchers  and  practitioners  working   in  the  areas  of  program
manipulation, partial evaluation, and program generation. PEPM focuses
on  techniques,  theory,  tools,  and  applications  of  analysis  and
manipulation of programs. PEPM is classified as category A in the CORE
ranking of ICT conferences.

INVITED TALKS: 

  * Umut Acar. Toyota Technological Institute and Univ. of Chicago.
       Title: Self-Adjusting Computation

  * Cristina Cifuentes. Sun Microsystems Laboratories.
       Title: Program Analysis for Bug Detection using Parfait

PROGRAM CHAIRS:

  German Puebla, Technical University of Madrid, Spain
  German Vidal, Technical University of Valencia, Spain 

PROGRAM COMMITTEE: 

  David Binkley, Loyola College, USA
  Radhia Cousot, CNRS, France
  Silvia Crafa, University of Padova, Italy
  Stephen A. Edwards, Columbia University, USA
  Lidia Fuentes, University of Malaga, Spain
  John P. Gallagher, Roskilde University, Denmark
  Thomas Jensen, IRISA, France
  Yukiyoshi Kameyama, University of Tsukuba, Japan
  Siau Cheng Khoo, National University of Singapore, Singapore
  Julia Lawall, University of Copenhagen (DIKU), Denmark
  Shin-Cheng Mu, Academia Sinica, Taiwan
  Naoki Nishida, Nagoya University, Japan
  Maurizio Proietti, CNR, Italy
  Armin Rigo, University of Dusseldorf, Germany
  Simon Thompson, Kent University, UK
  Tarmo Uustalu, Tallinn University of Technology, Estonia
  Wim Vanhoof, Namur University, Belgium
  Joost Visser, Software Improvement Group, The Netherlands
  Janis Voigtlander, TU Dresden, Germany

PRELIMINARY PROGRAM

* MONDAY, January 19, 2009

----------------------
** Invited talk 9:00-10:00

  Umut Acar. Toyota Technological Institute and University of Chicago.
  Title: Self-adjusting computation

----------------------
** Static Analysis   10:30-12:30

*** Linear Logical Approximations
  Robert Simmons and Frank Pfenning

*** Guided model checking for programs with polymorphism
  Neha Rungta and Eric Mercer

*** Program Interpolation
  Andrew Moss and Dan Page

*** Translation and Optimization for a Core Calculus with Exceptions 
  Cristina David, Cristian Gherghina and Wei-Ngan Chin

----------------------
** Partial Evaluation and Specialization   13:30-15:00

*** Is there a Fourth Futamura projection?
  Robert Glueck

*** Type-based Specialization of XML Transformations
  Kazutaka Matsuda, Zhenjiang Hu and Masato Takeichi

*** Partially evauated sensor networks
  Leon Evers and Jan Kuper

----------------------
** Program Transformation I   15:30-17:00

*** Shortcut fusion rules for the derivation of circular and
    higher-order monadic programs 
  Alberto Pardo, Joao Fernandes and Joao Saraiva

*** A Flexible Framework for Programming with Non-deterministic
    Functions 
  Francisco Javier Lopez-Fraguas, Juan Rodriguez-Hortala and Jaime
  Sanchez-Hernandez

*** Program Transformation for Numerical Precision
  Matthieu Martel
----------------------

* TUESDAY, January 20, 2009

----------------------
** Invited talk 9:00-10:00

  Cristina Cifuentes. Sun Microsystems Laboratories.
  Title: Program Analysis for Bug Detection using Parfait

----------------------
** Types   10:30-12:30

*** Shifting the Stage: Staging with Delimited Control
  Yukiyoshi Kameyama, Oleg Kiselyov and Chung-chieh Shan

*** Static Consistency Checking for Verilog Wire Interconnects
  Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy and John
  O'Leary

*** Improving Type Error Messages for Generic Java
  Nabil El Boustani and Jurriaan Hage

*** Bidirectional data-flow analyses, type-systematically
  Maria Joao Frade, Ando Saabas and Tarmo Uustalu

----------------------
** Slicing and Profiling   13:30-15:00

*** CCCP - Complete Calling Context Profiling in Virtual Execution
    Environments 
  Philippe Moret, Walter Binder and Alex Villazon

*** CProf: Customizable Calling Context Cross-Profiling for Embedded
    Java Processors 
  Philippe Moret, Walter Binder and Alex Villazon

*** SOC: a Slicer for CSP Specifications
  Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit and
  Michael Leuschel

----------------------
** Program Transformation II   15:30-17:00

*** Clone Detection and Removal for Erlang/OTP within a Refactoring
    Environment 
  Huiqing Li and Simon Thompson

*** From Spreadsheets to Relational Databases and Back
  Jacome Cunha, Joao Saraiva and Joost Visser

*** Designing Aspects for Side-Effect Localization
  Kung Chen, Jia-Yin Lin, Shu-Chun Weng and Siau-Cheng Khoo
----------------------