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 755207F1CB; Thu, 13 Dec 2012 04:19:38 +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: Av0EAGVIyVCMbRQx/2dsb2JhbABFDr5hFnOCQg86O4k6DJxAmEiJCYxLhEMDiF6JeIMyhg6IcYFKgjVL X-IronPort-AV: E=Sophos;i="4.84,270,1355094000"; d="scan'208";a="165681370" Received: from unknown (HELO mx.iis.sinica.edu.tw) ([140.109.20.49]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 Dec 2012 04:19:34 +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 qBD3E82w077535; Thu, 13 Dec 2012 11:14:08 +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 qBD3D9pr020120; Thu, 13 Dec 2012 11:13:09 +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 qBD3Ckmj020107; Thu, 13 Dec 2012 11:12:46 +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 array-vpn20-mgmt.iis.sinica.edu.tw (array-vpn20-mgmt.iis.sinica.edu.tw [140.109.20.139]) by webmail.iis.sinica.edu.tw (Horde Framework) with HTTP; Thu, 13 Dec 2012 11:12:46 +0800 Message-ID: <20121213111246.5150482qswk0l0vi@webmail.iis.sinica.edu.tw> Date: Thu, 13 Dec 2012 11:12:46 +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: 7bit 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]); Thu, 13 Dec 2012 11:14:11 +0800 (CST) X-Spam-Score: -1.024 () ALL_TRUSTED,RP_MATCHES_RCVD X-Scanned-By: MIMEDefang 2.67 on 192.168.0.49 Subject: [Caml-list] PEPM 2013: 2nd Call for Participation === P E P M 2013 === 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) 2nd 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ät München, 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ópez-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ürgen 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 * Álvaro García-Pérez 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ía Alpuente, Marco A. Feliú 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.