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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id ECEA97F615 for ; Fri, 9 Dec 2016 18:31:32 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yallop@gmail.com; spf=Pass smtp.mailfrom=yallop@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f174.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yallop@gmail.com) identity=pra; client-ip=209.85.216.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yallop@gmail.com designates 209.85.216.174 as permitted sender) identity=mailfrom; client-ip=209.85.216.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qt0-f174.google.com) identity=helo; client-ip=209.85.216.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="postmaster@mail-qt0-f174.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AHlRhuh8PyxtfWv9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?0uscTK2v8tzYMVDF4r011RmSDN6dtqwP17eempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9ZDeZwtFiCC9bL5zIxm7ogXcvdQKjIV/Lao81gHHqWZSde?= =?us-ascii?q?RMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZ?= =?us-ascii?q?TQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/9KpgVgPmhz?= =?us-ascii?q?kbOD446GHXi9J/jKRHoBK6uhdzx5fYbJyJOPZie6/Qe84RS2hcUcZLTyFPAo2y?= =?us-ascii?q?YYgSAeQfIelWoJLwp0cXrRakGQWgGP/jxz1Oi3Tr3aM6yeMhEQTe0QIkAd0Oqm?= =?us-ascii?q?rbrND1NawPU++61q3IzTHEb/NOxDzw74jJfQolofGIWrJwadHcyUYqFwzfj1WQ?= =?us-ascii?q?rZbpMC+S1uQIqmWW6fdrW+yoi24isQ5xoz6vy983ionIiYIV0lTE+j9/wIovIt?= =?us-ascii?q?24UkF7bca+EJROrCGVKZF5Qtk+TGFooiY20LoGuYS0fCUM1Z8pxAbfZuSZf4SU?= =?us-ascii?q?5h/vTuWcLDdiiH57Zb6yhgy+/VWix+DzUMS/zUxEoTBfktbWs3AAzxzT5daDSv?= =?us-ascii?q?t65kqh3CyA1wHX6u1dOEA0ibbXJ4cvwrItlJcevl7PHiDxmEXxg6+Wclsr9vK0?= =?us-ascii?q?5OTgZ7Xqvp6cN4lqhQHiKqkihNCzDOAiPgUNX2WX4/qw2KDi8EHjXblHjPI7nr?= =?us-ascii?q?HcsJ/AJMQboqC5AxVS0oYm8xu+Dy2p0NAcnXkANFJIYx2Hj43zNFHPJPD0F+uw?= =?us-ascii?q?g1OpkDtz3fDJIqXhAonRLnjEiLruYaxy60tYyAYqydBf5olUCq0aLfLoWk7xsc?= =?us-ascii?q?TYAQUjPwy1xebnEtR92ZkEVWKBGK/KeJ/V5HSB4+ZnB+iXeMdBsz/4L70h5uXy?= =?us-ascii?q?pX4/g14UO6ezi8g5cne9S9ZrOUiccDLdi9MFFn9C6hs3SOjtkHWNVDdSYzC5WK?= =?us-ascii?q?dqtWJzM56vEYqWHtPlu7eGxiruW8QOPm0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A6AwCq6UpYh67YVdFdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgwwBAQEBAT86gQYHrTuDeIYWhBkphXiBaAdCEQEBAQEBAQEBAQE?= =?us-ascii?q?BEgEBAQgNCQkdMIIzGgGCPgYdARsdAQMSEA8CJgIkAREBBQEiG4hIAQMXDp00P?= =?us-ascii?q?4wAggQFAR+DDQWDWwoZJw1UgxIBCwEdAgYSeZFagl0FiGOSCIZPgxCHQoJDgku?= =?us-ascii?q?LN44LgkgUHoEUNYEfFQ41gxwPEQuBXT40iTwBAQE?= X-IPAS-Result: =?us-ascii?q?A0A6AwCq6UpYh67YVdFdHAEBBAEBCgEBFwEBBAEBCgEBgww?= =?us-ascii?q?BAQEBAT86gQYHrTuDeIYWhBkphXiBaAdCEQEBAQEBAQEBAQEBEgEBAQgNCQkdM?= =?us-ascii?q?IIzGgGCPgYdARsdAQMSEA8CJgIkAREBBQEiG4hIAQMXDp00P4wAggQFAR+DDQW?= =?us-ascii?q?DWwoZJw1UgxIBCwEdAgYSeZFagl0FiGOSCIZPgxCHQoJDgkuLN44LgkgUHoEUN?= =?us-ascii?q?YEfFQ41gxwPEQuBXT40iTwBAQE?= X-IronPort-AV: E=Sophos;i="5.33,324,1477954800"; d="scan'208";a="203637024" Received: from mail-qt0-f174.google.com ([209.85.216.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Dec 2016 18:31:32 +0100 Received: by mail-qt0-f174.google.com with SMTP id p16so22344788qta.0 for ; Fri, 09 Dec 2016 09:31:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:cc :content-transfer-encoding; bh=ysGXNnMuo0Ekm9M00hdYPmS5DyZqRBChtpE+MRBPZ6g=; b=MW/4MPoO8Z8tYTzr78l4/LZkokBqXeoSb/VpksFeIn7lhdC3vY2G0HrcoGZB0P4XQP A5YjKw82GqvDbdeEeLoyGbf+KWp47WeqqsIlbolFUfQ/CeQr2mwT3pYdpNnndQvgA5a+ AsIA2utlzSqOLFX2x84sOOwCyQycI+f4sbgMzWBTpF6iUGwwm+gIxzK8Y+RO0wfurB99 CNlShP98Dd44RK8ijmES3MR3qWqAnajKM4+nU1HPtD64ezGFLeE0/Em9raJyrvuqfSey XInSxsXblAsvLDYPxjfz/N+C94jrr92PPAeDICulMKaN4XytVXNSPIKgpm1LczpflS4f LOIA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to:cc :content-transfer-encoding; bh=ysGXNnMuo0Ekm9M00hdYPmS5DyZqRBChtpE+MRBPZ6g=; b=ZKmgOyhpTW6tvAuYVo3/XAMZNVeOXUuJSawbAVYKCrrY3isnaoGdO5LV4qJ6dc3S7z nbGrsPorzlv/DMM8O26PzJ0Er1hGjvTz/wq1rEijCQiVbf3QIuOWBKLe6XkRydQl2XTt u6zCGLJejG1jjgoWvisB6UoI50eFeCzssF5OY9vgHCFVH6bCFlLTRysqA5cFoTjOg41y 9SLwDQobtUwzSorP7sdiJDcuxaNlZxhsJELuPaqsXUEOw0tgAYcRMwkT/Ryed51T3F2j UZMY3QF+y6SRaocwMED+S3/Ip4oF3Z1k9kWX4BZDIUaoVarl8z7PIpIyPIvCyZ4bq0nX Sc3g== X-Gm-Message-State: AKaTC03Lw+JGTSSuTaf+tnJL2/CfBR7uti3rDk/uunglmplEu0eQqf+gup2iA1mXMI14o3Y+Bo5DNJ16667SUg== X-Received: by 10.200.47.38 with SMTP id j35mr72499891qta.136.1481304690727; Fri, 09 Dec 2016 09:31:30 -0800 (PST) MIME-Version: 1.0 Received: by 10.55.19.102 with HTTP; Fri, 9 Dec 2016 09:31:30 -0800 (PST) From: Jeremy Yallop Date: Fri, 9 Dec 2016 17:31:30 +0000 Message-ID: To: Caml List Cc: Ulrik Pagh Schultz Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Partial Evaluation & Program Manipulation (PEPM'17): Call for Participation CALL FOR PARTICIPATION Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2017) http://conf.researchr.org/home/PEPM-2017 Paris, France, January 16th - 17th, 2017 (co-located with POPL 2017) Registration ------------ http://popl17.sigplan.org/attending/registration Early registration deadline: Saturday 17th Dec 2016 Programme --------- Monday 16th January 09:00-10:00: Keynote Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation Neil D. Jones (with Daniil Berezun) 10:30-12:00: Programming languages Lightweight Soundness for Towers of Language Extensions Alejandro Serrano, Jurriaan Hage Detecting code clones with gaps by function applications Tsubasa Matsushita, Isao Sasano PEG Parsing in Less Space Using Progressive Tabling and Dynamic Analysis Fritz Henglein, Ulrik Terp Rasmussen 14:00-15:30: Tutorial and Poster Session Idris, Inside-Out: A Tutorial on Extending Idris in Idris David Christiansen Language-integrated Query with Ordering, Grouping and Outer Joins (poste= r) Tatsuya Katsushima, Oleg Kiselyov 16:00-17:00: Transformation (part I) Verification of Code Generators via Higher-Order Model Checking Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi Interactive data representation migration: Exploiting program dependence to aid program transformation Krishna Narasimhan, Julia Lawall, Christoph Reichenbach Tue 17th January 09:00-10:00: Tutorial Reversible computing from a programming language perspective Robert Gl=C3=BCck 10:30-12:00: Types Cost versus Precision for Approximate Typing for Python Levin Fritz, Jurriaan Hage Refining types using type guards in TypeScript Ivo Gabe de Wolff, Jurriaan Hage Predicting Resource Consumption of Higher-Order Workflows Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer 14:00-15:30: Tutorial Practical Partial Evaluation for Language Implementation with Graal & Tr= uffle Gilles Duboscq 16:00-17:00: Transformation (part II) Functional Parallels of Sequential Imperatives Tiark Rompf, Kevin J. Brown A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction Kazutaka Matsuda, Kazuyuki Asada