[TYPES/announce] SOAP 2023 Call for Papers (co-located with PLDI'23)

[Liana Hadarean]

SOAP 2023 <https://urldefense.com/v3/__https://pldi23.sigplan.org/home/SOAP-2023*About__;Iw!!IBzWLUs!VR0D661B0MM9ML8R97pKyCGjqah2IM8UvY7pkFnisUZDf9mrMmExjjurDF6G3d7pz5WbkUgT5uLrCJ3LrcpUFgiGQLjleQ_v$ >aims to bring
together the members of the program analysis community to share new
developments and shape new innovations in program analysis.

For SOAP 2023, 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. We will also
focus on the state of the practice for program analysis by encouraging
submissions by industrial participants, including tool demonstration
submissions. The workshop agenda will continue its tradition of lively
discussions on extensions of existing frameworks, the development of novel
analyses and tools, and how program analysis is used in real-world
scenarios.

Papers can be submitted through EasyChair
<https://urldefense.com/v3/__https://easychair.org/conferences/?conf=soap2023__;!!IBzWLUs!VR0D661B0MM9ML8R97pKyCGjqah2IM8UvY7pkFnisUZDf9mrMmExjjurDF6G3d7pz5WbkUgT5uLrCJ3LrcpUFgiGQLZwH0wt$ >.
Important Dates
<https://urldefense.com/v3/__https://pldi23.sigplan.org/home/SOAP-2023*types-of-submissions__;Iw!!IBzWLUs!VR0D661B0MM9ML8R97pKyCGjqah2IM8UvY7pkFnisUZDf9mrMmExjjurDF6G3d7pz5WbkUgT5uLrCJ3LrcpUFgiGQFuMlauC$ >

Fri 10 Mar 2023 - Submission Deadline
Fri 21 Apr 2023 - Author notification
Fri 5 May 2023 - Camera ready deadline
Sun 18 June 2023 - Workshop

Types of submissions
<https://urldefense.com/v3/__https://pldi23.sigplan.org/home/SOAP-2023*types-of-submissions__;Iw!!IBzWLUs!VR0D661B0MM9ML8R97pKyCGjqah2IM8UvY7pkFnisUZDf9mrMmExjjurDF6G3d7pz5WbkUgT5uLrCJ3LrcpUFgiGQFuMlauC$ >

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.

Accepted papers will appear in the ACM Digital Library.
Format <https://urldefense.com/v3/__https://pldi23.sigplan.org/home/SOAP-2023*format__;Iw!!IBzWLUs!VR0D661B0MM9ML8R97pKyCGjqah2IM8UvY7pkFnisUZDf9mrMmExjjurDF6G3d7pz5WbkUgT5uLrCJ3LrcpUFgiGQDdyNXeh$ >

Submissions should be four to six-page papers and should be formatted
according to the two-column ACM proceedings format. Each reference must
list all authors of the paper. The citations should be in numerical style,
e.g., [52]. Templates for ACM format are available for Microsoft Word and
LaTeX at https://urldefense.com/v3/__http://www.sigplan.org/Resources/Author__;!!IBzWLUs!VR0D661B0MM9ML8R97pKyCGjqah2IM8UvY7pkFnisUZDf9mrMmExjjurDF6G3d7pz5WbkUgT5uLrCJ3LrcpUFgiGQB2bp_MG$ . The preprint template
should be set to use 10pt font and ‘numbers’ to ensure numerical style
citations, that is \documentclass[10pt, numbers]{sigplanconf}.

The Program Committee of SOAP 2023 will invite a selection of accepted
papers to submit extended versions to a special issue of the International
Journal on Software Tools for Technology Transfer
<https://urldefense.com/v3/__https://sttt.cs.uni-dortmund.de/__;!!IBzWLUs!VR0D661B0MM9ML8R97pKyCGjqah2IM8UvY7pkFnisUZDf9mrMmExjjurDF6G3d7pz5WbkUgT5uLrCJ3LrcpUFgiGQHpzz3SZ$ > (STTT).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230207/cb5a0676/attachment-0001.htm>