<div dir="ltr"><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">===============================================================</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">                             The 10th ACM SIGPLAN International Workshop </span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">                            on the State of the Art in Program Analysis (SOAP)</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">                                                        Call for Papers</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span id="gmail-docs-internal-guid-9e911058-7fff-7309-b4af-ea018a5abcc6"><br></span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">                                                      June 2021 - Virtual</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">                                   </span><a href="https://pldi21.sigplan.org/home/SOAP-2021" style="text-decoration-line:none"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">https://pldi21.sigplan.org/home/SOAP-2021</span></a></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">                                               Co-located with PLDI 2021</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">===============================================================</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Static and dynamic analysis techniques and tools for Java, and other programming</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">languages, have received widespread attention for a long time. The application</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">domains of these analyses range from core libraries to modern technologies such</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">as web services and Android applications. Over time, various analysis frameworks</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">have been developed to provide techniques for optimizing programs, ensuring code quality, and assessing security and compliance.</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">SOAP 2021 aims to bring together the members of the program analysis community</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">to share new developments and shape new innovations in program analysis. For</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">SOAP 2021, we invite contributions and inspirations from researchers and</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">practitioners working with program analysis. We are particularly interested in exciting</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">analysis framework ideas, innovative designs, and analysis techniques, including</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">preliminary results of work in progress. We will also focus on the state of the practice</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">for program analysis by encouraging submissions by industrial participants, including</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">tool demonstration submissions. The workshop agenda will continue its tradition of</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">lively discussions on extensions of existing frameworks, development of new</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">analyses and tools, and how program analysis is used in real-world scenarios.</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Possible submissions include, but are not limited to:</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">- A report on a novel implementation of a program analysis, with a focus on practical</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">details or optimization techniques for obtaining precision and performance.</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">- A new research tool, data, and other artifacts, that showcase early implementations </span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">of novel program analysis concepts, as well as mature prototypes.</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">- A description of a new analysis component, for example, front-ends or abstract </span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">domains.</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">- A report describing an innovative tool built on top of an existing framework.</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">- A compelling use case for a feature that is not yet supported by existing analysis tools,</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">with good examples and an informal design of the proposed feature.</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">- An idea paper proposing the integration of existing program analyses to answer </span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">interesting novel questions about programs, for example in IDEs.</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">- An experience report on the use of a program analysis framework.</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">- A description of a program analysis tool and screenshots of main parts of the demo.</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Submissions should be four to six-page papers and should be formatted according to the</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">two-column ACM proceedings format. Each reference must list all authors of the paper. </span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">The citations should be in numerical style, e.g., [52].</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Templates for ACM format are available for Microsoft Word and LaTeX at [1]. The preprint</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">template should be set to use 10pt font and ‘numbers’ to ensure numerical style citations,</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">that is: \documentclass[10pt, numbers]{sigplanconf}.</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Submissions should be made on EasyChair [2].</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">More Information</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">================</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">For additional information, please visit the website [3], follow @SOAP_Workshop on</span></p><p dir="ltr" style="line-height:1.656;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Twitter [4], or contact the chairs </span><span style="background-color:transparent;color:rgb(28,30,33);font-family:Consolas,sans-serif;font-size:10.5pt;white-space:pre-wrap">Lisa Nguyen Quang Do [5] and Caterina Urban [6].</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span id="gmail-docs-internal-guid-59cf99cb-7fff-002f-413b-93683d65d51f"></span><br class="gmail-Apple-interchange-newline"></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">[1] </span><a href="http://www.sigplan.org/Resources/Author" style="text-decoration-line:none"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">http://www.sigplan.org/Resources/Author</span></a></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">[2] </span><a href="https://easychair.org/conferences/?conf=soap2021" style="text-decoration-line:none"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">https://easychair.org/conferences/?conf=soap2021</span></a><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap"> </span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">[3] </span><a href="https://pldi21.sigplan.org/home/SOAP-2021#Call-for-Papers" style="text-decoration-line:none"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">https://pldi21.sigplan.org/home/SOAP-2021#Call-for-Papers</span></a><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap"> </span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">[4] </span><a href="https://twitter.com/SOAP_Workshop" style="text-decoration-line:none"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">https://twitter.com/SOAP_Workshop</span></a><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap"> </span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">[5] <a href="mailto:nqd.lisa@gmail.com">nqd.lisa@gmail.com</a></span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:10.5pt;font-family:Consolas,sans-serif;color:rgb(28,30,33);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">[6] <a href="mailto:caterina.urban@inria.fr">caterina.urban@inria.fr</a></span></p></div>