From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id E82B27F1C3; Sat, 24 Nov 2012 10:11:11 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of scm-ml@iis.sinica.edu.tw) identity=pra; client-ip=140.109.20.49; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="scm-ml@iis.sinica.edu.tw"; x-sender="scm-ml@iis.sinica.edu.tw"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of scm-ml@iis.sinica.edu.tw) identity=mailfrom; client-ip=140.109.20.49; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="scm-ml@iis.sinica.edu.tw"; x-sender="scm-ml@iis.sinica.edu.tw"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx.iis.sinica.edu.tw) identity=helo; client-ip=140.109.20.49; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="scm-ml@iis.sinica.edu.tw"; x-sender="postmaster@mx.iis.sinica.edu.tw"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqgCAFKOsFCMbRQxkWdsb2JhbABEDsAxFg4BAQEBFBIUJ4JCDzqJcAEMnS2XfIkIjDeEQQOIXIlzgzGOeYN8Sg X-IronPort-AV: E=Sophos;i="4.83,312,1352070000"; d="scan'208";a="163638386" Received: from mx.iis.sinica.edu.tw ([140.109.20.49]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 24 Nov 2012 10:11:08 +0100 Received: from webmail.iis.sinica.edu.tw ([192.168.0.51]) by mx.iis.sinica.edu.tw (8.14.3/8.14.3) with ESMTP id qAO94SEE071771; Sat, 24 Nov 2012 17:04:28 +0800 (CST) (envelope-from scm-ml@iis.sinica.edu.tw) Received: from webmail.iis.sinica.edu.tw (localhost [127.0.0.1]) by webmail.iis.sinica.edu.tw (8.14.4/8.14.4) with ESMTP id qAO93RuD065645; Sat, 24 Nov 2012 17:03:27 +0800 (CST) (envelope-from scm-ml@iis.sinica.edu.tw) Received: (from www@localhost) by webmail.iis.sinica.edu.tw (8.14.4/8.14.4/Submit) id qAO933Wq065642; Sat, 24 Nov 2012 17:03:03 +0800 (CST) (envelope-from scm-ml@iis.sinica.edu.tw) X-Authentication-Warning: webmail.iis.sinica.edu.tw: www set sender to scm-ml@iis.sinica.edu.tw using -f Received: from 180.218.158.241 ([180.218.158.241]) by webmail.iis.sinica.edu.tw (Horde Framework) with HTTP; Sat, 24 Nov 2012 17:03:03 +0800 Message-ID: <20121124170303.73212s7a5jhh1g7b@webmail.iis.sinica.edu.tw> Date: Sat, 24 Nov 2012 17:03:03 +0800 From: scm-ml@iis.sinica.edu.tw To: jaiyalas@iis.sinica.edu.tw MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes"; format="flowed" Content-Disposition: inline Content-Transfer-Encoding: quoted-printable User-Agent: Internet Messaging Program (IMP) H3 (4.3.8) / FreeBSD-8.1 X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.3 (mx.iis.sinica.edu.tw [192.168.0.49]); Sat, 24 Nov 2012 17:04:29 +0800 (CST) X-Spam-Score: -1 () ALL_TRUSTED X-Scanned-By: MIMEDefang 2.67 on 192.168.0.49 Subject: [Caml-list] PEPM 2013: Call for Participation =3D=3D=3D P E P M 2013 =3D=3D=3D ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation http://www.program-transformation.org/PEPM13 January 21-22, 2013 Rome, Italy (Affiliated with POPL 2013) CALL FOR PARTICIPATION IMPORTANT DATES * Hotel reservation deadline: December 15, 2012 * Early registration deadline: December 31, 2012 VENUE PEPM'13 and all POPL'13 affiliated events will take place at the Parco dei Principi Hotel in Rome, Italy 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. INVITED TALKS: * Zhenjiang Hu (National Institute of Informatics, Japan): Practical Aspects of Bidirectional Graph Transformations * Peter Thiemann (Institut fur Informatik, Technische Fakultat, Universitat Freiburg, Germany): Partially Static Operations PROGRAM CHAIRS: Elvira Albert (Complutense University of Madrid, Spain) Shin-Cheng Mu (Academia Sinica, Taiwan) PROGRAM COMMITTEE: * Maria Alpuente (Technical University of Valencia, Spain) * Kenichi Asai (Ochanomizu University, Japan) * Maria Garcia de la Banda (Monash University, Australia and IMDEA Software Institute, Spain)) * James R. Cordy (Queen's University, Canada) * R. Kent Dybvig (Cisco and Indiana University, USA) * Joao Fernandes (University of Beira Interior, Portugal) * Samir Genaim (Complutense University of Madrid, Spain) * Roberto Giacobazzi (Verona University, Italy) * Andy Gill (University of Kansas, USA) * Jurriaan Hage (Utrecht University, Netherlands) * Martin Hofmann (Ludwig-Maximilians-Universit=E4t M=FCnchen, Germany) * Julia Lawall (Inria, France) * Yanhong Annie Liu (Stony Brook University, USA) * Kazutaka Matsuda (University of Tokyo, Japan) * Keisuke Nakano (University of Electro-Communications, Japan) * Klaus Ostermann (University of Marburg, Germany) * Sergei A. Romanenko (Russian Academy of Sciences, Russia) * Jeremy G. Siek (University of Colorado at Boulder, USA) * Walid Mohamed Taha (Halmstad University, Sweden, and Rice University, USA) * Tarmo Uustalu (Institute of Cybernetics, Tallinn, Estonia) * Janis Voigtlaender (University of Bonn, Germany) * Dana N. Xu (Inria, France) PRELIMINARY PROGRAM Monday, January 21, 2013 Program Chairs' Report and Best Paper Award Announcement: 8:45 - 9:00 Invited Talk: 9:00 - 10:00 Session Chair: Shin-Cheng Mu * Zhenjiang Hu: Practical Aspects of Bidirectional Graph Transformations Coffee break 10:30 - 12:30 Session Chair: Samir Genaim * Jeroen Weijers, Jurriaan Hage and Stefan Holdermans: Security Type Error Diagnosis for Higher-Order, Polymorphic Languages * Axel Simon: Deriving a Complete Type Inference for Hindley-Milner and Vector Sizes using Expansion * Francisco Javier L=F3pez-Fraguas and Enrique Martin-Martin: Typing as Functional-Logic Evaluation * Kostis Sagonas, Josep Silva and Salvador Tamarit: Precise Explanation of Success Typing Errors 14:30 - 16:00 Session Chair: Jeremy Siek * Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti: Verifying Programs via Iterated Specialization * Ryosuke Sato, Hiroshi Unno and Naoki Kobayashi: Towards a Scalable Software Model Checker for Higher-Order Programs * Michael Carbin, Deokhwan Kim, Sasa Misailovic and Martin Rinard: Verified Integrity Properties for Safe Approximate Program Transformations Coffee break 16:30 - 17:30 Session Chair: Bruno Oliveira * Marco Comini and Luca Torella: TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems * Martin Sulzmann, J=FCrgen Nicklisch and Axel Zechner: Traceability and Correctness of EDSL Abstractions Tuesday, January 22, 2013 Invited Talk: 9:00 - 10:00 Session Chair: Elvira Albert * Peter Thiemann: Partially Static Operations Coffee break 10:30 - 12:30 Session Chair: Kazutaka Matsuda * Bruno Martinez, Marcos Viera and Alberto Pardo: Just Do It While Compiling!: Fast Extensible Records in Haskell * Bruno Oliveira and Andres Loh: Abstract Syntax Graphs for Domain Specific Languages * Dominique Devriese, Ilya Sergey, Dave Clarke and Frank Piessens: Fixing Idioms - A Recursion Primitive for Applicative DSLs * =C1lvaro Garc=EDa-P=E9rez and Pablo Nogueira: A Syntactic and Functional Correspondence between Reduction Semantics and Reduction-Free Full Normalisers 14:30 - 16:00 Session Chair: Roberto Giacobazzi * Marco Servetto and Elena Zucca: A Meta-Circular Language for Active Libraries * Mar=EDa Alpuente, Marco A. Feli=FA and Alicia Villanueva: Automatic Inference of Specifications using Matching Logic * Qiang Sun, Yuting Chen and Jianjun Zhao: Constraint-Based Locality Analysis for X10 Programs Coffee break 16:30 - 17:00 Session Chair: Jurriaan Hage * Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov and Chung‐ chieh Shan: Shonan Challenge for Generative Programming ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program.