From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jv@informatik.uni-bonn.de>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id 9C540BBAF
	for <caml-list@yquem.inria.fr>; Wed, 18 Nov 2009 18:42:56 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmwAAGrBA0uD3AgEkWdsb2JhbACZFYJtAQEBAQkLCgcTBbpdgi0GgggEgW8
X-IronPort-AV: E=Sophos;i="4.44,766,1249250400"; 
   d="scan'208";a="36989774"
Received: from postfix.iai.uni-bonn.de ([131.220.8.4])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 18 Nov 2009 18:42:56 +0100
X-IAI-Env-From: <jv@informatik.uni-bonn.de> : [131.220.9.168]
Received: from [131.220.9.168] (extern07.iai.uni-bonn.de [131.220.9.168])
	by postfix.iai.uni-bonn.de (Postfix) with ESMTP id CA8F25C82A
	for <caml-list@inria.fr>; Wed, 18 Nov 2009 18:42:55 +0100 (MET)
	(envelope-from jv@informatik.uni-bonn.de)
	(envelope-to caml-list@inria.fr) (1)
	(internal use: ta=1, tu=1, te=1, am=P, au=jv)
Message-ID: <4B043220.4000507@informatik.uni-bonn.de>
Date: Wed, 18 Nov 2009 18:42:56 +0100
From: =?ISO-8859-15?Q?Janis_Voigtl=E4nder?= <jv@informatik.uni-bonn.de>
User-Agent: Thunderbird 2.0.0.23 (Windows/20090812)
MIME-Version: 1.0
To: caml-list@inria.fr
Subject: Call for Participation - PEPM'10 (co-located with POPL'10)
Content-Type: text/plain; charset=ISO-8859-15; format=flowed
Content-Transfer-Encoding: 8bit
X-Spam: no; 0.00; co-located:01 sigplan:01 pepm:01 lennart:01 augustsson:01 thiemann:01 type-safe:01 bytecode:01 puebla:01 bytecode:01 johan:01 bounded:01 evelyne:01 pons:01 henglein:01 

===============================================================
                      CALL FOR PARTICIPATION
                   ACM SIGPLAN 2010 Workshop on
      Partial Evaluation and Program Manipulation (PEPM'10)
                   Madrid, January 18-19, 2010

                    (Affiliated with POPL'10)

           http://www.program-transformation.org/PEPM10
===============================================================

Abstracts of all papers and presentations are available from the
above web site.


INVITED TALKS:

* Lennart Augustsson (Standard Chartered Bank, UK)
   Title: O, Partial Evaluator, Where Art Thou?

* Jeremy Siek (University of Colorado at Boulder, USA)
   Title: General Purpose Languages Should be Metalanguages.


CONTRIBUTED TALKS:

* Nabil el Boustani and Jurriaan Hage.
   Corrective Hints for Type Incorrect Generic Java Programs.

* Johannes Rudolph and Peter Thiemann.
   Mnemonics: Type-safe Bytecode Generation at Run Time.

* Elvira Albert, Miguel Gomez-Zamalloa and German Puebla.
   PET: A Partial Evaluation-based Test Case Generation Tool for Java 
Bytecode.

* Martin Hofmann.
   Igor2 - an Analytical Inductive Functional Programming System.

* José Pedro Magalhăes, Stefan Holdermans, Johan Jeuring and Andres Löh.
   Optimizing Generics Is Easy!

* Michele Baggi, María Alpuente, Demis Ballis and Moreno Falaschi.
   A Fold/Unfold Transformation Framework for Rewrite Theories extended 
to CCT.

* Hugh Anderson and Siau-Cheng KHOO.
   Regular Approximation and Bounded Domains for Size-Change Termination.

* Évelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich, 
Olivier Pons and Xavier Urbain.
   A3PAT, an Approach for Certified Automated Termination Proofs.

* Fritz Henglein.
   Optimizing Relational Algebra Operations Using Generic Equivalence 
Discriminators and Lazy Products.

* Adrian Riesco and Juan Rodriguez-Hortala.
   Programming with Singular and Plural Non-deterministic Functions.

* Martin Hofmann and Emanuel Kitzelmann.
   I/O Guided Detection of List Catamorphisms.

* Andrew Moss and Dan Page.
   Bridging the Gap Between Symbolic and Efficient AES Implementations.

* Christopher Brown and Simon Thompson.
   Clone Detection and Elimination for Haskell.

* Stefan Holdermans and Jurriaan Hage.
   Making Stricterness More Relevant.

* Arun Lakhotia, Davidson Boccardo, Anshuman Singh and Aleardo Manacero 
Júnior.
   Context-Sensitive Analysis of Obfuscated x86 Executables.

* Xin Li and Mizuhito Ogawa.
   Conditional Weighted Pushdown Systems and Applications.

* Ivan Lazar Miljenovic.
   The SourceGraph Program.

* Florian Haftmann.
   From Higher-Order Logic to Haskell: There and Back Again.


SPECIAL FEATURE:

* Andy Gill, Garrin Kimmell and Kevin Matlage.
   Capturing Functions and Catching Satellites.


IMPORTANT DATES:

* Early registration deadline: December 22, 2009
* Hotel registration deadline: December 28, 2009