(Apologies��for��multiple��postings)


��NEW!��Are��you��running��late��in��preparing��your��SAS��paper?��No��worries!
��Submit��what��you��have��(e.g.,��title��and��abstract)��and��you��will��have
��one��extra��week��until��May��1��for��updating��your��paper��(and��May��6��for
��your��artifact).

----------------------------------------------------------------------
��������������������Final��Call��for��Papers��-��Extended��deadlines
��������Paper��submission��April��24,��Paper��update��May��1,��Artifacts��May��6

��������������������������������������SAS��2023
��������������������The��30th��Static��Analysis��Symposium
������������Cascais��(Lisbon),��Portugal,��Sun��22��-��Tue��24,��October��2023

��������������������������https://2023.splashcon.org/home/sas-2023

----------------------------------------------------------------------

The��30th��Static��Analysis��Symposium,��SAS��2023,��will��be��co-located��with
SPLASH��2023��in��Cascais��(Lisbon),��Portugal.

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.

IMPORTANT��DATES

All��deadlines��are��AoE��(Anywhere��on��Earth)

**NEW**
-��Paper��submission��(title��and��abstract):��April��24,��2023
-��Paper��update��deadline:��(Extended)��May��1,��2023
-��Artifact��submission:��(Extended)��May��6,��2023

-��Author��response��period:��June��11-14,��2023
-��Notification:��June��29,��2023
-��Final��version��due:��August��3,��2023
-��Conference:��Part��of��SPLASH,��Oct��22-24,��2023

TOPICS

The��technical��program��for��SAS��2023��will��consist��of��invited��lectures
and��presentations��of��refereed��papers.��Contributions��are��welcomed��on
all��aspects��of��static��analysis,��including,��but��not��limited��to:

-��Abstract��interpretation
-��Automated��deduction
-��Data��flow��analysis
-��Debugging��techniques
-��Deductive��methods
-��Emerging��applications
-��Model-checking
-��Data��science
-��Program��optimizations��and��transformations
-��Program��synthesis
-��Program��verification
-��Machine��learning��and��verification
-��Security��analysis
-��Tool��environments��and��architectures
-��Theoretical��frameworks
-��Type��checking
-��Distributed��or��networked��systems


PAPER��SUBMISSION

All��paper��submissions��will��be��judged��on��the��basis��of��significance,
relevance,��correctness,��originality,��and��clarity.

Submission��link:��https://easychair.org/conferences/?conf=sas2023

We��welcome��regular��papers��as��well��as��papers��focusing��on��any��of��the
following��in��the��NEAT��(New��questions/areas,��Experience,��Announcement,
Tool)��category:

-��Well-motivated��discussion��of��new��questions��or��new��areas.
-��Experience��with��static��analysis��tools,��Industrial��Reports,��and��Case
����Studies
-��Brief��announcements��of��work��in��progress
-��Tool��papers

We��do��not��impose��a��page��limit��for��submitted��papers��but��we��encourage
brevity��as��reviewers��have��a��limited��time��that��they��can��spend��on��each
paper.��With��the��exception��of��experience��papers,��all��other��papers��will
follow��a��lightweight��double-blind��reviewing��process.����The��identity��of
the��authors��for��the��remaining��papers��will��be��known��to��the��reviewers.

Submissions��can��address��any��programming��paradigm,��including
concurrent,��constraint,��functional,��imperative,��logic,
object-oriented,��aspect,��multi-core,��distributed,��and��GPU��programming.

Papers��must��be��written��and��presented��in��English.��A��submitted��paper
must��describe��original��work��and��must��not��substantially��overlap��with
papers��that��have��been��published��or��that��are��simultaneously��submitted
to��a��journal��or��a��conference��with��refereed��proceedings.

All��submitted��papers��will��be��judged��on��the��basis��of��significance,
relevance,��correctness,��originality,��and��clarity.��The��review��process
will��include��a��rebuttal��period��where��authors��have��the��opportunity��to
respond��to��preliminary��reviews��on��the��paper.

RADHIA��COUSOT��AWARD

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.

ARTIFACTS

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.

PROGRAM��COMMITTEE

Gogul��Balakrishnan,��Google,��United��States
Liqian��Chen,��National��University��of��Defense��Technology,��China
Yu-Fang��Chen,��Academia��Sinica,��Taiwan
Patrick��Cousot,��United��States
Michael��Emmi,��Amazon��Web��Services,��United��States
Pietro��Ferrara,��Universit����Ca'��Foscari,��Venezia,��Italy
Roberto��Giacobazzi,��University��of��Verona,��Italy
Roberta��Gori,��University��of��Pisa,��Italy
Manuel��Hermenegildo,��U.��Pol.��de��Madrid��and��IMDEA��SW.,��Spain��(Co-Chair)
Francesco��Logozzo,��Facebook,��United��States
Isabella��Mastroeni,��University��of��Verona,��Italy
Antoine��Min��,��Sorbonne��Universit��,��France
Jos����Morales,��IMDEA��Software��Institute,��Spain��(Co-Chair)
Kedar��Namjoshi,��Nokia��Bell��Labs,��United��States
Jorge��A.��Navas,��Certora,��inc.,��United��States
Martin��C.��Rinard,��Massachusetts��Institute��of��Technology,��United��States
Daniel��Schoepe,��Amazon,��United��Kingdom
Helmut��Seidl,��Technische��Universit��t��M��nchen,��Germany
Mihaela��Sighireanu,��IRIF,��Universit����Paris��Diderot,��France
Gagandeep��Singh,��U.��of��Illinois��at��Urbana-Champaign,��United��States
Yulei��Sui,��University��of��New��South��Wales,��Sydney,��Australia
Laura��Titolo,��Laura��Titolo,��NIA/NASA��LaRC,��United��States
Jingling��Xue,��UNSW��Sydney,��Australia
Xin��Zhang,��Peking��University,��China

Artifact��Evaluation��Committee��Chair:��Marc��Chevalier,��Snyk,��Switzerland
Publicity��Chair:��Louis��Rustenholz,��UPM��and��IMDEA��SW,��Spain