From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 8E6F98239C for ; Wed, 6 Dec 2017 05:55:35 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=pepm.workshop@gmail.com; spf=Pass smtp.mailfrom=pepm.workshop@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f193.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of pepm.workshop@gmail.com) identity=pra; client-ip=209.85.216.193; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pepm.workshop@gmail.com"; x-sender="pepm.workshop@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of pepm.workshop@gmail.com designates 209.85.216.193 as permitted sender) identity=mailfrom; client-ip=209.85.216.193; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pepm.workshop@gmail.com"; x-sender="pepm.workshop@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-f193.google.com) identity=helo; client-ip=209.85.216.193; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pepm.workshop@gmail.com"; x-sender="postmaster@mail-qt0-f193.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AZXV/qh+7AEv6Pf9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?2ugcTK2v8tzYMVDF4r011RmSAtWdtqoMotGVmp6jcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS46tL2HV93a76DpXHhTkKSJ0?= =?us-ascii?q?IP70E8jclZeN2vi26qHUNgVThTO7bvZpLBywoi3Xt8hQiIAkKL5i5AHOpy5wVt?= =?us-ascii?q?xzjVxvP1GInxHkrpOo8YZmtTtXofE698lYear/dqU8C7dfCWJ1YCgO+MT3uEyb?= =?us-ascii?q?HkO07XwGXzBOnw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AyHQDvdidaf8HYVdFdHgEGDINkKxRuJ?= =?us-ascii?q?weDe5h+HoFaBSCCZoRmghkBhCuJBoIBCgUggVyIfQdCFQEBAQEBAQEBAQESAQE?= =?us-ascii?q?JCwsIJjGCOCKCbAYdARsRBwYDEhAPAiYCIAEDAREBBQE1CIoCAQMVEJlWg0VAg?= =?us-ascii?q?3CIIIIFBQEcgwoFgWOCAAoZJw1YgkIBHQIGEn2CO4FgKoFWgWmEdIFbgUoBCwc?= =?us-ascii?q?BCIMsgmMFikSIVY8wMB6BTIYMjR+CFmOFLosyjQGJPBQFH4EWNYEEbUwjTzKBd?= =?us-ascii?q?wmCOhuBdhAyN4dbDxiCIAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AyHQDvdidaf8HYVdFdHgEGDINkKxRuJweDe5h+HoFaBSC?= =?us-ascii?q?CZoRmghkBhCuJBoIBCgUggVyIfQdCFQEBAQEBAQEBAQESAQEJCwsIJjGCOCKCb?= =?us-ascii?q?AYdARsRBwYDEhAPAiYCIAEDAREBBQE1CIoCAQMVEJlWg0VAg3CIIIIFBQEcgwo?= =?us-ascii?q?FgWOCAAoZJw1YgkIBHQIGEn2CO4FgKoFWgWmEdIFbgUoBCwcBCIMsgmMFikSIV?= =?us-ascii?q?Y8wMB6BTIYMjR+CFmOFLosyjQGJPBQFH4EWNYEEbUwjTzKBdwmCOhuBdhAyN4d?= =?us-ascii?q?bDxiCIAEBAQ?= X-IronPort-AV: E=Sophos;i="5.45,366,1508796000"; d="scan'208";a="247333596" Received: from mail-qt0-f193.google.com ([209.85.216.193]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Dec 2017 05:55:34 +0100 Received: by mail-qt0-f193.google.com with SMTP id w10so6175191qtb.10 for ; Tue, 05 Dec 2017 20:55:34 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:reply-to:from:date:message-id:subject:to :content-transfer-encoding; bh=Hb+NOrqaReGWaYKLvH+ZlHeiYR3umfOI4JQwiiTp/Mk=; b=MfJYwNUsn2A//5SOLWwRNlEaVYDKBFjZYGz9hOJzWJZjfE75wu6nyBNapZ+rUSVOH1 zv1rKeW2MIO/0h7aTpIR4zmgi2qqZ4KiaLmSbdLUQsc915nVG4fP7aDGJi1N7MCwNu0f BfB2LfqAtIdaVXt77iHDYiP/MavnIvlHSI3Jk689Lxzu3gXDZG+PWvxxf4tUk9v+H9yY cj5Bgkt2b+TNhypsQ8NdViGb6D0rKuDwDlfBGstRPPvinvhiiKOWvntWe3IfkpNaq7XD wcUQPCBqlFagJVcRKdwCn6m8R6O5y3N75ps8GzQXrI+G+ZX5r9tX0309rFExUyYIDr1I jhqA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:reply-to:from:date:message-id :subject:to:content-transfer-encoding; bh=Hb+NOrqaReGWaYKLvH+ZlHeiYR3umfOI4JQwiiTp/Mk=; b=mmSGz+5scUTD9GWOW2ZQtXOA+rjIhFjAGr7gXW3ygFvYKQ7Gamn1Ev9U/Te/ZsZglY 1vBi1xQt3cwJDUBNlJOgEQDjFCoHN0debP4OEEz7HyZ7B8h3zsIRtiDHPLWThrXmyeqR MBWGojrfkCBM6nOGKCfYyH3iaC7bRcEJ/8FyNYb1NLcBlitqwgfZntWPkY+afyEbfx/+ qZnQL3b9spiwj7vp7Td/wDp3+Bqs0QCTqQH5GMh6KgU2A/Mzupe00BTdKTuQmYcyAmTN 9buihW2XJH7QLtMrwpwbpQ+xhkQQUHTt1iwYhvn/QsFfa7ixg/4mJOSZ4iogKtUjgDR4 cXQQ== X-Gm-Message-State: AKGB3mJKjj2m2HbV5tsG9B4RGp8mB2H3nJniXWgiUrma8sw8WOifPqtU xKIRv7iX7RG9usUWEjqI+Si8HcX7beeKfWx0yUT5dQ== X-Google-Smtp-Source: AGs4zMYZiP2kPiziOJUHwdxXDP7qlP3ypYNhCLSErcrkFmOnR3zMP2fxdYxuRO0POU0r4IFoAMqXHNvPQLHVv+mc16g= X-Received: by 10.237.33.130 with SMTP id l2mr3277394qtc.120.1512536132535; Tue, 05 Dec 2017 20:55:32 -0800 (PST) MIME-Version: 1.0 Received: by 10.12.172.136 with HTTP; Tue, 5 Dec 2017 20:55:32 -0800 (PST) Reply-To: hsiang-shang@nii.ac.jp From: PEPM Workshop Date: Wed, 6 Dec 2017 13:55:32 +0900 Message-ID: To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] PEPM 2018 Final Call for Poster/Demo Abstracts and Participation PEPM 2018 Final Call for Poster/Demo Abstracts and Participation =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D A tentative programme is available, with two invited talks decided. Poster/demo abstracts are due this Friday (8th December, AoE). See below for the submission guideline. Registration ------------ * Web page : https://popl18.sigplan.org/attending/Registration * Early registration deadline : 10th December 2017 Programme --------- * https://popl18.sigplan.org/track/PEPM-2018#program Monday, 8th January 2018 10:30 - 11:30 Developments in Property-Based Testing (Invited Talk) Jan Midtgaard 11:30 - 12:00 Selective CPS Transformation for Shift and Reset Kenichi Asai, Chihiro Uehara Lunch 14:00 - 14:30 A Guess-and-Assume Approach to Loop Fusion for Program Verification Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi 14:30 - 15:00 Gradually Typed Symbolic Expressions David Broman, Jeremy G. Siek 15:00 - 15:30 On the Cost of Type-Tag Soundness Ben Greenman, Zeina Migeed Break 16:00 - 17:00 TBA (Invited Talk) Conal Elliott Tuesday, 9th January 2018 10:30 - 11:30 Challenges in the Design and Compilation of Programming Languages for Exascale Machines (Invited Talk) Alex Aiken 11:30 - 12:00 Checking Cryptographic API Usage with Composable Annotations (Short Paper) Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder Lunch 14:00 - 14:30 Partially Static Data as Free Extension of Algebras (Short Paper) Jeremy Yallop, Tamara von Glehn, Ohad Kammar 14:30 - 15:00 Program Generation for ML Modules (Short Paper) Takahisa Watanabe, Yukiyoshi Kameyama 15:00 - 15:30 Recursive Programs in Normal Form (Short Paper) Barry Jay Break 16:00 - 17:30 Posters/demos (TBA) Poster/demo abstract submission guideline ----------------------------------------- * https://popl18.sigplan.org/track/PEPM-2018#Call-for-Poster-Demo-Abstrac= ts To maintain PEPM=E2=80=99s dynamic and interactive nature, PEPM 2018 will c= ontinue to have special sessions for poster/demo presentations. In addition to the ma= in interactive poster/demo session, there will also be a scheduled short-talk session where each poster/demo can be advertised to the audience in, say, 5= =E2=80=9310 minutes. Poster/demo abstracts should describe work relevant to PEPM (whose scope is detailed below), typeset as a one-page PDF using the two-column =E2=80=98si= gplan=E2=80=99 sub-format of the new =E2=80=98acmart=E2=80=99 format available at: http://sigplan.org/Resources/Author/ and sent by email to the programme co-chairs, Fritz Henglein and Josh Ko, a= t: henglein@diku.dk, hsiang-shang@nii.ac.jp Please also include in the email: * a short summary of the abstract (in plain text), * the type(s) of proposed presentation (poster and/or demo), and * whether you would like to give a scheduled short talk (in addition to t= he poster/demo presentation). Abstracts should be sent no later than: Friday, 8th December 2017, anywhere on earth and will be considered for acceptance on a rolling basis. Accepted abstrac= ts, along with their short summary, will be posted on PEPM 2018=E2=80=99s websi= te. At least one author of each accepted abstract must attend the workshop and present the work during the poster/demo session. Student participants with accepted posters/demos can apply for a SIGPLAN PAC grant to help cover travel expenses and other support. PAC also offers oth= er support, such as for child-care expenses during the meeting or for travel c= osts for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on = the PAC programme, see its web page. Scope ----- In addition to the traditional PEPM topics (see below), PEPM 2018 welcomes submissions in new domains, in particular: * Semantics based and machine-learning based program synthesis and program optimisation. * Modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types,= and contract specifications. More generally, topics of interest for PEPM 2018 include, but are not limit= ed to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, st= aged computation, and model-driven program generation and transformation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated test= ing and test case generation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and softw= are development processes, descriptions of robust tools capable of effectiv= ely handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distribu= ted and web-based applications, embedded and resource-limited computation, = and security. This list of categories is not exhaustive, and we encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Fritz Henglein and Josh Ko (henglein@diku.dk, hsiang-shang@nii.ac.jp).