From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 49F425D5 for ; Mon, 24 Jan 2022 08:57:52 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,311,1635199200"; d="scan'208,217";a="17545093" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Jan 2022 09:57:51 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id E9F81E0290; Mon, 24 Jan 2022 09:57:50 +0100 (CET) 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 BEFE6E02A3 for ; Mon, 24 Jan 2022 09:57:42 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=julien.signoles@gmail.com; spf=Pass smtp.mailfrom=julien.signoles@gmail.com; spf=None smtp.helo=postmaster@mail-lj1-f181.google.com IronPort-SDR: AdEgYzJwmu4Ai8a0fOlwZjwyYEQj+wCF2u7dh9OcdRcE4+JFGkt7m0oLYQFJo4hYTuQpx1GQ0w c99qJ9+hi5W8i+oHZdDEYJjJE2W51nqmqh4+5x2DvvSKW5KimP6VmNWBUJ/oBjmrFFXIfsCF95 97R8NmlsBwUskN05NFxqST8hk1i4bZ71hUh69UFTrr10nUkYVye6ctkrZZNrxsno0gK1c+6RRV xofeFGb56ZcgKvhrmu+HLRMRLVERso6xBIVOaIuFrjHjSTp4yfo70gjqq/SPB8jX8Kzi4jWc4n XBS84hzAQrDVHRwwb+s0l/2p X-IPAS-Result: =?us-ascii?q?A0BoAgDHaO5hf7XQVdFagmOCKDNLViwECzGESYEejVCCJ?= =?us-ascii?q?YwnkCuBfAsBAwENNQwEAQGIYQIdBwEEMgcOAQIEAQEBAQMCAwEBAQEBAQMBA?= =?us-ascii?q?QUBAQECAQECAwQBEwEBDQsQCDJgAWEDAUSBT4FPJQsDHxINgjUpAYN8CwYdA?= =?us-ascii?q?RseAxIJBzcCJAERAQUBIhsBCw6CY4JkAQMuD50tgh+BBD2LMoEVBReBAYIJB?= =?us-ascii?q?oFDBYMDChkoDWcDgVgCBxKBKIYKgSABAYcuEIFVRIEVNoQ3gVOBRINBgmUEk?= =?us-ascii?q?TpTC1MPAU9ONA6BGJFtrE96NAeDSIE3BguJN5RXM6d5hxOPNI0KmUkQIxKBM?= =?us-ascii?q?wKCDE0jUDGCOAlFAQIBAQENAQIBAQMBAgECCQEBAlSNYINahRSFS0MwOAIGC?= =?us-ascii?q?wEBAwmNdIJGAQE?= IronPort-PHdr: A9a23:mmXiaxTuRTpjr6ctkLCFO/SnXdpsoiaVAWYlg6HPa5pwe6iut67vI FbYra00ygOTB8OBtrkd07Ke8/i5HzBauNDZ6DFKWacPfidNsd8RkQ0kDZzNImzAB9muURYHG t9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oI xi6sxvdutMIjYZiJao91wfFrmdVcOhS2W9kOEifkhni6sut5pJv7zhct/c8/MNcTKv2eLg1Q 6ZFBzo8KWA148PrtRjHTQSR43YXT3sbnBlVDQXb9R/2Rpj+vDf0uep7wymaINb5TasoVjS47 qdkUwHnhSEaPDMk6m7Xi8hwjKVGoBK9ohF03oDZbJ2JOPd4Y6jQZs0RS3ZfUclNVixBGoK8Y JUJD+odJuZTso3xq0IToReiGQWgAeXiwSJKiHDrx603y+suHwHI0gIjAtwArmjboc7vO6sOS +241rXEwSnBYv5QxDzz6JLIchckofyUWbxwbM7RyUgxGAPDk16etI3lPzyT1uQKt2iU8fFgX v+ohm4ltgFxpjmvydkqioXTnYIVy1/E9SN+wIYxO9K4U1V2YdGhEJRKtiGaM5F6Td8lQ2Fto Ss3zKANtpGnciYQ0psn2wLfZOKdc4iO+h/uSfudLDlliH57dryyiBa//Eahx+D/VsS50lZEo jZFn9TSqnwA1QHe5MiDR/dh40qtxDWC2gLQ5+xHPU05mqXVJpg8ybA+kZoTtF7MHi7wmEjul 6+Wd0ok+vCs6+v9ZLXqvJicN5V7igz4L68gmdS/DPwmPgQSW2WX4+ex2b358UHnXLlHjec6n rTavZzHI8kQu7S3DBVP0ok57hayFzem38ocnXkANF9FfQiIj4ntO13XJPD4D+qzj02ikDt2x P3KI6ftAprKLnjEn7fheahy51RAxwo0yNBT/5NUCrcfL/LvQkL9qsDUAxsjPwG3w+vrEstx2 p8dVG6VH6OUM77evUeN5u01IumMYIEVuCz6K/gg//Puj2I5mVscfaa325sbcmu4HvVpI0WfZ nrshskOEXwRswoxSezlklyCUTpJa3muWKI84yk3CJi6AofbWoCtnLuB0T+nEZJMY2BGDkmAE XPpd4WfR/cBczmSI89kkjwcT7etUY4h1Re0tA/70bVrNOTU+jdL/a7kgfN84umbsRAp6XQgB M2Y1ySJTnpotmIOXT4/mq5l9x9T0FCGhIplh/1VE5Ro5vxPVQM3LtaIzfF+Ct30HBnAcdGOT Fu9atqjCDA1CNk2xoldMA5GB9y+g0WbjGKRCLgPmunOXcRsmkq99334JsImjm3DyLFklF4+B M1GKWyhgKd7sQnVHY/A1UuDxO6xbapJ+inL+S+YyHaW+llCWVtyTKHEUHZZfUrZq9P961jqQ LqnCLBhOQxEmoaZMqUfUtTylh1dQev7ftHXYma/gWC1UBSVwrKBaszxemob2yHQE2ALlgkS+ TCNMg1tTjy5rTf4CzpjXUnqf1uq8eR6ryajSVQoygiRc0B7/7+8+xpQgf7FDv1KjutCtyAmp DF5Wl262ro6EvKmoAxsNOVZaNI5uxJc0H7B8hd6JtqmJrxjgVgXd0J2uVnv3lN5ENcIl89it 34swAdoTMDQmFpcazOV24zxMbzLOyHz+h6ocavfxlDZ1p6f5K4O7P0yr1irshuuEwIu9HBu0 t8d1HX5hN2CDhcWUJ/3FF02+B59o7zBSiY47oLQk3ZrNOj8szPP3c4oGPpw0gypLLI9eOuPE A7/FdFfBtD7crR73Qj0KEhcbKYLpPdnWqHuP+GL06OqIut6yTevjGAcpZt4zlrJ7C1kDOjBw 5cCxficmAqBTTb1ylm74aWV0chJYy8fGm2nxG3qHolUM+dwYIIKBGHoOMy4wNJ6ioXFVHtR9 VrlDFQDkpzMG1Lafxnm0Atc2F5C6366nSq1yXpvkj4vqa6SxwTBxu3jcFwMPWsBFwwAxR/8Z IOzid4dRk2haQMkwQCk6UjNzK9evK1jLmPXTC+kZgDOJnp5Guu1v7uGOItU7Y8w9D5QSKK6a EybTbj0p10b1TniFi1Q3mJzezavs5T/1xt07QDVZHRuqHvUf4drxBjZ49jRXtZe2zMHQG9zj jyfClWnPtav9MmZjN+Z6rH4Bz/nDMUDN3C7lMuJr07ZrSVyDAe6nuyvl9GvCgU83SLhlpFrW SjOsBfgc9zu3qW+P/hgexoNZhe04M57F4di14oo0ctIiD5K29PPpSpByDeqYrA5kerkYXEAR CAG2YvQ6Qnhgwh4K26Rgpn+TjOby9dgYN+zZiUX3Dg85oZEEvTxjvQMkC1rr16/tQ+Ub+J6m 2JXy+Yq6XMcxfoItwwqyiiGKr8XFEhceyfrkl7birL25LUSf2upfbWqgQB8gNSgAbfEuQBTX nH9d4wKEip578E5O1XJmi6WiMmsaJzbatQdsQeRmhHLgr1OKZ4/ofENgDJuJWP3uXB2g/5+l xFl2ou2+ZSWM2g4trzsGQZWb3emAqFbsiGol6tVmdyampyiDok0UCteR4PmFLqpCG5A7qmhb lfWVmdg9THDXuCDVQ6HtBU48zSVSMvtbi/PYiFelIQHJlHVJVQD0l5KGmxixNhhUFjtnpSpc V8ltG5PoASk+10ckqQwcEOnGmbH+FX3MHFtFN7GfUAQtkYbtyK3eYSf9r4hQH0ep8f86lTLc ivCOUxJFT1bAxTUQQm8Yf/+o4GHqbHQB/LifaKROvPX+LAYD7HQgsvxt+kutzeUapfVZigkX 6B9gxATGyg+QpuRmi1TGXZOyWSQP4jC9U36omou/4i+6Ki5Aluxo9HUWv0Ja5M3vEnn5MXLf /iZgCIzQdpB/rULw3KAiL0W3VpJzjprayHoCrMY8yjEUKPXnKZTSR8dcSJ6csVSveo62UFWN MjXh8mQtPYwh+MpC1pDSV3qm924Lc0MLWanMVrbBUGNfL2YLDzPysvzbOuyU7pVxOlTshSxv 36cHSqBdnybkCL1Uhm0LexWpCSSPRgbvIPkNxg0WTGlQ9XhZRm2dtRwiHx+wLE5gG/LKX9JM TV4dBAozPXY5idZj/NjXm1ZuyA9fK/UxmDDt7mec8ZP4p4JSmxumulX4Wo30e5Q5SBAH7lun TfK68Vpuxegm/WOzTxuVFxPrCxKjcSFpxYHW+2R+59eVHLD5B9I43+XDkFApcZhC9Dp/btRx d7IkK/oADhH+tPQu8AbAoKHTaDPeGpkKhfvFDPOWUEdSiW3MGjEm0FHuPSb93nQqppj75a1y MNIRbhcW1g4UPgdDw42eb5KaIcyVTQin7mBiccO7nfrtxjdSvJRuZXfX+6TC/HiQN52pbZBb hoMh7j/KNZKXmUa80lra10/mIaTXkSJDYkLrSpmYQs55k5K9SomJoXW803gYwKppnQUEKzs9 iM= IronPort-Data: A9a23:29zwr6BiFrzZjxVW/w3lw5YqxClBgxIJ4kV8jS/XYbTApGsqgTQHz mAfXmrVPv2LZDfwKd8jPY+39B4HuJ6GzoBkOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6jMlkf5KkYAL+EnkZqTRMFWFx2XqPp8Zj2tQy2YHjWFvX0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYoz/Sj/lyz d9HjI2Pb18HPYqQwPYDAhYNRkmSPYUekFPGCX22sMjWy0+fNnW1k6woA0YxMokVvO1wBAmi9 9RCcGFLPk3F3brmhuvrE4GAhex7RCXvFIECvnBty3fCDPkgRpTOWI3F4NZZ2HE7gcUm8fP2P JpGNmc0PXwsZTV+MHQSLo8DotuTvVX8fWZzoXzM/7o4tj27IAtZieCxarI5YOeiTsxQmgOcp 3na13/oBwkTct2Z0zuMtHy27tIjhgv+UYMWUbm6r7tk2Q3KgGMUDxISWB2wpvzRZlOCt8x3I RcE0ykrp6IL5XONFvf+eEHgsmDVsUtJMzZPKNES5AaIw6vSxg+WAGkYUzJMAODKUudmFVTGM XfZz7vU6SxTXK69Ei3Cq+/Fxd+mEW1Ecj9YPH5soR4tuoG7+OkOYgTzosGP+ZNZY/XwEDD0h jSI9W0w3uVKy8EM0Kq/8BbMhDfESnn1ouwdtlq/soGNtFsRiGuZi2qAtwSzARFoct7xc7V5l CJY8/VyFchXZX13qASDQf8WAJai7OufPTvXjDZHRsd9rWXzoSD7JdsPsVmSwXuF1O5UKVcFh 2eD6WtsCGN7YRNGkIcrOdvqU51ypUQePY68DKuMBjaxXnSBXFbfoHsGib+40Gfqn0wh+ZzTy r/KGftA+U0yVPo6pBLrGL91+eJ6nkgWmDKILbimnkTP7FZrTCTKIVvzGADeML5RAWLtiFm9z uuzwOPTm0wAC7WvO3eOmWPRRHhTRUUG6VnNg5Q/Xoa+zsBOQgnN0tfdnuEsfZJLhaNQmrua9 32xQB4Kx1/2hHmBIgKPMygxZLTqVJd5jHQ6IS18ZQbyiyZ/Od6ivPUFap86Xbg77+g8n/N5S v8yfc/fUPlCTzLw/SsQMMvmp4t4eRX33g+DZnL3YDU2c5N6aRbO/9voIlnm+CUUX3i4sMI/p /ur0QaCGcgPQAFrDcD3bvOzzgPp7SJNxr4qB0aRe4tdYkTh9oRuOhfdtP5vLpFeMwjHyxuby x2SXkUVqOzLlIk/r4vEiKWCmIG2SrcsE0dfGV7b2ra4Lyzt+GSunN1bW+GScDGBDW759fnwZ ehRyP2gYvQLkEwQ79h5GrdviKY8vp7h/u8DiAtjG3rPYhKgDbY5eiuK2sxGt6tswL5FuFvpB hjepIECYbjZatn4FFMxJRY+arjR3/8jnDSPv+8+J1/35XMq8bfbA19eOQKA1H5UILdvat93x O4gvIsS6VX6hEN6a5CJiSdb82nKJXsFCv11upYfCY7tqwwq1lASPsCGW3GuuMmCO4dWL00nA j6In66e1b5S8UzPLigoHn/X0OsB2JkDtXimFrPZy4hlRzYEuhM24PGV2TE+TwAQyhceluwqa jEtOEpyKqGDuTxvgaCvmoxq9x5pXHWkFo7ZkjPlV1E1i2GnU2XMKCs2PuPlEIUx7TdHZjYCl F2H4D+NbNspFf0dGgM9XEdkr7roStkZGsguXiy4N5ztIqTWqgYJTkNjiaTkZvcn7Q4MaJX7m NRX IronPort-HdrOrdr: A9a23:F7jzEaubrYyA7ox/5MaSn1ap7skDYdV00zEX/kB9WHVpm7+j9/ xG/c5w6faaslossR0b6LW90ey7MBfhHP1OjrX5X43OYOCOggLBR72Kr7GSoQEIcBeeygcy79 YCT0EzMrPNMWQ= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.88,311,1635199200"; d="scan'208,217";a="3877539" X-MGA-submission: =?us-ascii?q?MDHES9d4jNzOft90fnX2+dRPgHcg6uP7jbnrl9?= =?us-ascii?q?/ZRw2HUrgarrx7LPP2YSfPJ+Qo1WjYs5pxCq/sw1IyVV7jsu0TQASIuz?= =?us-ascii?q?wINC3vBM3lB8nFXbCi4qzCgs3cmD3VKBKiQoR5Rwi7E7lQxgTvt9Id6A?= =?us-ascii?q?tCLOfFDPhY05QupzN37QhvuQ=3D=3D?= Received: from mail-lj1-f181.google.com ([209.85.208.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 24 Jan 2022 09:57:41 +0100 Received: by mail-lj1-f181.google.com with SMTP id z14so10056037ljc.13 for ; Mon, 24 Jan 2022 00:57:41 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to; bh=GHsQbf5i+0JHv1z01eKdNghiQ3xbJEFO9rAQFAlqDLA=; b=I8MYxjVzABE0ts2d01GdDwgNHJFWOB2F17mK4pKkShLSBiESJqnhri6SgwZvIX/EHE 7DAtxS3LwBEV+8j7zXOnUSvTcStBxWyl/QKmDMwFibcbgC9Aj0vYLNiO8zQWkWV3HafO M7xp5hGmgNT7dWVuGxDv+ikjIuVNWpn7VqXry8x1DLhtoKRjtdqmlt6Td3QeetomwZkl PsX6WeB7RiH7g4v7IxFUjlKA3URoZEPpu7u74J1tKG8u8pjr9bOc1xWQgIHopbLJgCZ2 tfAfI1YVKXl2r4xx/qqo71dZuIY9mWbSDaSACJDzRvmmkLyXHozgTrCyBZ84sM5CQ92A FxMw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=GHsQbf5i+0JHv1z01eKdNghiQ3xbJEFO9rAQFAlqDLA=; b=68/DL4DHrHoE061IEp7sWnnn2AqfnHua68mQ3+xmudpmaJHtDI6shLDpFWEFpQFdtk Z9ojV2F5SmU8l5dG80ovEQqrlqsW28W4iccE/iwwrbf+etTbbDPslg7aGmxIqGbKOOCt N/f2RXp3gVnk9XysP+qbeoUWF/arpZS8QscN2VePvYuVT+OBQisxGlP3FugGLcrbQ3qi saGQ0MFIoTATzKrSzwGFAfYlT19DzXQPQ/Ih+sOIuyeLX0sYHgHPq9DiBnNIRc3lwuNU fYw3aLxwmuEapTWfpzlbeZI7YHd7XVUP07u+0JG4orHfsHxQvN4KpfraWdUMNy9pN1gI Q/mQ== X-Gm-Message-State: AOAM531hufWoFzKjtAMCBPk/D1BmGx+QWD28hvCazecfLDeAshHeyEOQ LOq6Dpj6asHEQmCdSHn6ecpYygpHj86BBv/VNLQa2uBGuVc= X-Google-Smtp-Source: ABdhPJwuDyTd070S6PcQ4ao5hhltnxgNLm8LlvjrfmY+4ssVh1OC1rBEFWKdITlli/Hz6Tq5Qccj5tne4RwSNRoV3f4= X-Received: by 2002:a2e:7d0a:: with SMTP id y10mr4593417ljc.109.1643014660377; Mon, 24 Jan 2022 00:57:40 -0800 (PST) MIME-Version: 1.0 From: Julien Signoles Date: Mon, 24 Jan 2022 09:57:29 +0100 Message-ID: To: Caml List Content-Type: multipart/alternative; boundary="00000000000031511805d6502966" Subject: [Caml-list] SOAP 2022 - CFP Reply-To: Julien Signoles X-Loop: caml-list@inria.fr X-Sequence: 18682 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --00000000000031511805d6502966 Content-Type: text/plain; charset="UTF-8" Call for Papers -- Deadline : March, 8th, 2022 Workshop : June, 21th, 2022 - colocated with PLDI ---https://pldi22.sigplan.org/home/SOAP-2022 SOAP 2022 aims to bring together the members of the program analysis community to share new developments and shape new innovations in program analysis. For SOAP 2022, we invite contributions from researchers and practitioners working with program analysis. We are particularly interested in exciting analysis framework ideas, innovative designs, and analysis techniques, including preliminary results or work in progress. We will also focus on the state of the practice for program analysis by encouraging submissions by industrial participants, including tool demonstration submissions. Type of Submissions Possible submissions include, but are not limited to: * A report on a novel implementation of a program analysis, with a focus on practical details or optimization techniques for obtaining precision and performance. * A new research tool, data, and other artifacts, that showcase early implementations of novel program analysis concepts, as well as mature prototypes. * A description of a novel analysis component, for example, front-ends or abstract domains. * A report describing an innovative tool built on top of an existing framework. * A compelling use case for a feature that is not yet supported by existing analysis tools, with good examples and an informal design of the proposed feature. * An idea paper proposing the integration of existing program analyses to answer interesting novel questions about programs, for example in IDEs. * An experience report on the use of a program analysis framework. * A description of a program analysis tool and screenshots of the main parts of the demo. Accepted papers will appear in the ACM Digital Library. Submissions should be four to six-page papers and should be formatted according to the two-column ACM proceedings format. Each reference must list all authors of the paper. The citations should be in numerical style, e.g., [52]. Templates for ACM format are available for Microsoft Word and LaTeX at http://www.sigplan.org/Resources/Author. --00000000000031511805d6502966 Content-Type: text/html; charset="UTF-8" 
Call for Papers

--
Deadline : March, 8th, 2022
Workshop : June, 21th, 2022 - colocated with PLDI 
---
https://pldi22.sigplan.org/home/SOAP-2022   

SOAP 2022 aims to bring together the members of the program analysis
community to share new developments and shape new innovations in
program analysis.

For SOAP 2022, we invite contributions from researchers and
practitioners working with program analysis. We are particularly
interested in exciting analysis framework ideas, innovative designs,
and analysis techniques, including preliminary results or work in
progress. We will also focus on the state of the practice for program
analysis by encouraging submissions by industrial participants,
including tool demonstration submissions.  Type of Submissions

Possible submissions include, but are not limited to:
* A report on a novel implementation of a program analysis, with a focus on practical details or optimization techniques for obtaining precision and performance.
* A new research tool, data, and other artifacts, that showcase early implementations of novel program analysis concepts, as well as mature prototypes.
* A description of a novel analysis component, for example, front-ends or abstract domains.
* A report describing an innovative tool built on top of an existing framework.
* A compelling use case for a feature that is not yet supported by existing analysis tools, with good examples and an informal design of the proposed feature.
* An idea paper proposing the integration of existing program analyses to answer interesting novel questions about programs, for example in IDEs.
* An experience report on the use of a program analysis framework.
* A description of a program analysis tool and screenshots of the main parts of the demo.

Accepted papers will appear in the ACM Digital Library.
Submissions should be four to six-page papers and should be formatted according to the two-column ACM proceedings format. Each reference must list all authors of the paper. The citations should be in numerical style, e.g., [52].

Templates for ACM format are available for Microsoft Word and LaTeX at http://www.sigplan.org/Resources/Author.
--00000000000031511805d6502966--