<html xmlns:v="urn:schemas-microsoft-com:vml" 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=us-ascii">
<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.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
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><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">SAS 2021 CALL FOR PAPERS<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">################## Extended Deadline ##################<o:p></o:p></p>
<p class="MsoNormal">Paper submission: April 30, 2021 <o:p>
</o:p></p>
<p class="MsoNormal">Artifact submission: May 6, 2021<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Full CFP: https://conf.researchr.org/home/sas-2021 <o:p></o:p></p>
<p class="MsoNormal">################## Extended Deadline ##################<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The 28th Static Analysis Symposium, SAS 2021, will be held in Chicago (US) from October 17-22, 2021 in conjunction with SPLASH 2021.
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary
venue for the presentation of theoretical, practical, and application advances in the area.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">PAPER SUBMISSION<o:p></o:p></p>
<p class="MsoNormal">All paper submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity.
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Submission link: https://easychair.org/conferences/?conf=sas2021
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Regular papers (18 pages max., lightweight double-blind) <o:p>
</o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Short papers (10 pages max.) may focus on any of the following:<o:p></o:p></p>
<p class="MsoNormal">* Experience with static analysis tools, Industrial Reports, and Case Studies (non-blind)
<o:p></o:p></p>
<p class="MsoNormal">* Tool papers (lightweight double-blind)<o:p></o:p></p>
<p class="MsoNormal">* Brief announcements of work in progress (lightweight double-blind)<o:p></o:p></p>
<p class="MsoNormal">* Well-motivated discussion of new questions or new areas (lightweight double-blind)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Radhia Cousot Award<o:p></o:p></p>
<p class="MsoNormal">The program committee will select an accepted regular paper for the Radhia Cousot Young Researcher Best Paper Award in memory of Radhia Cousot and her fundamental contributions to static analysis, as well as being one of the main promoters
and organizers of the SAS series of conferences.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">ARTIFACTS<o:p></o:p></p>
<p class="MsoNormal">As in previous years, we encourage authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. Artifact submission is optional. Artifact evaluation will be concurrent with paper review.
<o:p></o:p></p>
</div>
</body>
</html>