<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Plain Text Char";
margin:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
span.PlainTextChar
{mso-style-name:"Plain Text Char";
mso-style-priority:99;
mso-style-link:"Plain Text";
font-family:"Calibri",sans-serif;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
font-family:"Calibri",sans-serif;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">===============================================================<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""> The 11th ACM SIGPLAN International Workshop<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""> on the State of the Art in Program Analysis (SOAP)<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""> First Call for Papers<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""> 21 June 2022<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""> https://pldi22.sigplan.org/home/SOAP-2022<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""> Co-located with PLDI 2022<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">===============================================================<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Static and dynamic analysis techniques and tools for Java, and other programming<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">languages, have received widespread attention for a long time. The application<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">domains of these analyses range from core libraries to modern technologies such<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">as web services and Android applications. Over time, various analysis frameworks<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">have been developed to provide techniques for optimizing programs, ensuring code<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">quality, and assessing security and compliance.<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">SOAP 2022 aims to bring together the members of the program analysis community<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">to share new developments and shape new innovations in program analysis. For<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">SOAP 2022, we invite contributions and inspirations from researchers and<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">practitioners working with program analysis. We are particularly interested in<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">exciting analysis framework ideas, innovative designs, and analysis techniques,<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">including preliminary results of work in progress. We also focus on the state<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">of the practice for program analysis by encouraging submissions by industrial<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">participants, including tool demonstration submissions. The workshop agenda will<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">continue its tradition of lively discussions on extensions of existing frameworks,<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">development of new analyses and tools, and how program analysis is used in real-<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">world scenarios.<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Possible submissions include, but are not limited to:<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">- A report on a novel implementation of a program analysis, with a focus on<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Practical details or optimization techniques for obtaining precision and performance.<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">- A new research tool, data, and other artifacts, that showcase early implementations<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">of novel program analysis concepts, as well as mature prototypes.<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">- A description of a new analysis component, for example, front-ends or abstract domains.<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">- A report describing an innovative tool built on top of an existing framework.<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">- A compelling use case for a feature that is not yet supported by existing analysis<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">tools, with good examples and an informal design of the proposed feature.<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">- An idea paper proposing the integration of existing program analyses to answer<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">interesting novel questions about programs, for example in IDEs.<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">- An experience report on the use of a program analysis framework.<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">- A description of a program analysis tool and screenshots of main parts of the demo.<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Important Dates<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">================<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Submission deadline: 8 March 2022<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Author notification: 21 April 2022<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Camera ready deadline: 5 May 2022<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Workshop co-located with PLDI: June 2022<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Submission Details<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">==================<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Submissions should be 4 to 6 pages long and should be formatted according<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">to the two-column ACM proceedings format. Each reference must list all authors of<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">the paper. The citations should be in numerical style, e.g., [52].<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Templates for ACM format are available for Microsoft Word and LaTeX at<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">https://www.sigplan.org/Resources/Author/. The preprint template should be set<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">to use 10pt font and ‘numbers’ to ensure numerical style citations, that is:<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">\documentclass[10pt, numbers]{sigplanconf}.<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Papers must be submitted in PDF format at the EasyChair submission<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">site: https://easychair.org/my/conference?conf=soap2022.<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Organizers<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">==========<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Laure Gonnord (Univ. Grenoble Alpes)<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Laura Titolo (NIA/NASA LaRC)<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Program Committee<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">=================<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Pietro Ferrara (Università Ca'Foscari)<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Carsten Fuhs (Birbeck, University of London)<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Isabel Garcia-Contreras (University of Waterloo)<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Francois Gauthier (Oracle Labs)<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Laure Gonnord (Univ. Grenoble Alpes)<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Yannick Moy (AdaCore)<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Jorge Navas (Certora)<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Julien Signoles (CEA LIST)<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">Laura Titolo (NIA/NASA LaRC)<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">More Information<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">================<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">For additional information, please visit the website (https://pldi22.sigplan.org/home/SOAP-2022),<o:p></o:p></span></p>
<p class="MsoPlainText"><span style="font-family:"Courier New"">follow @SOAP_Workshop on Twitter, or contact the chairs at soap2022@easychair.org.<o:p></o:p></span></p>
</div>
</body>
</html>