[TYPES/announce] SOAP 2024 Call for Papers (co-located with PLDI'24, taking place in Copenhagen)

[Raphaël Monat]

*

SOAP 2024 <https://pldi24.sigplan.org/home/SOAP-2024> aims to bring 
together the members of the program analysis community to share new 
developments and shape new innovations in program analysis. SOAP is an 
ACM SIGPLAN workshop, co-located with PLDI’24, taking place in 
Copenhagen, Denmark on June 25th, 2024.

*
*

We invite contributions from researchers and practitioners working with 
program analysis. We are particularly interested in exciting analysis 
framework ideas, application of existing static analysis techniques to 
industrial software, adoption of static analysis in software engineering 
practices (such as DevOps), innovative designs, and analysis techniques, 
including preliminary results or work in progress.

Papers can be submitted through HotCRP <https://soap24.hotcrp.com/>.

Important dates

  *

    4 MarchSubmission deadline

  *

    19 April        Author notification

  *

    03 May Camera ready deadline

  *

    25 JuneWorkshop


Submission topics

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 and DevOps practices.

  *

    An experience report on the use of an existing program analysis
    framework.

  *

    A description of a program analysis tool and screenshots of the main
    parts of the demo.


Submission format

Submissions should be four to six-page papers and should be formatted 
according to the two-column ACM proceedings format. We strongly 
encourage authors to make their tool and experimental evaluation public 
and reproducible, through Docker or virtual machines archived on Zenodo.org.

Similar to SOAP 2023, the Program Committee of SOAP 2024 plans to invite 
a selection of accepted papers to submit extended versions to a special 
issue of the International Journal on Software Tools for Technology 
Transfer (STTT).

*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240209/c040e436/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature.asc
Type: application/pgp-signature
Size: 236 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240209/c040e436/attachment-0001.sig>