[Om] [fm-announcements] First Call for Papers SOAP 2022

Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements fm-announcements at lists.nasa.gov
Tue Jan 18 19:11:47 CET 2022



===============================================================

           The 11th ACM SIGPLAN International Workshop

    on the State of the Art in Program Analysis (SOAP)

                     First Call for Papers



                            21 June 2022

             https://pldi22.sigplan.org/home/SOAP-2022

                      Co-located with PLDI 2022

===============================================================





Static and dynamic analysis techniques and tools for Java, and other programming

languages, have received widespread attention for a long time. The application

domains of these analyses range from core libraries to modern technologies such

as web services and Android applications. Over time, various analysis frameworks

have been developed to provide techniques for optimizing programs, ensuring code

quality, and assessing security and compliance.



SOAP 2022 aims to bring together the members of the program analysis community

to share new developments and shape new innovations in program analysis. For

SOAP 2022, we invite contributions and inspirations from researchers and

practitioners working with program analysis. We are particularly interested in

exciting analysis framework ideas, innovative designs, and analysis techniques,

including preliminary results of work in progress. We 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,

development of new analyses and tools, and how program analysis is used in real-

world scenarios.



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 new 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.

- An experience report on the use of a program analysis framework.

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





Important Dates

================

Submission deadline: 8 March 2022

Author notification: 21 April 2022

Camera ready deadline: 5 May 2022

Workshop co-located with PLDI: June 2022





Submission Details

==================

Submissions should be 4 to 6 pages long 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://www.sigplan.org/Resources/Author/. The preprint template should be set

to use 10pt font and ‘numbers’ to ensure numerical style citations, that is:

\documentclass[10pt, numbers]{sigplanconf}.



Papers must be submitted in PDF format at the EasyChair submission

site: https://easychair.org/my/conference?conf=soap2022.





Organizers

==========

Laure Gonnord (Univ. Grenoble Alpes)

Laura Titolo (NIA/NASA LaRC)





Program Committee

=================

Pietro Ferrara (Università Ca'Foscari)

Carsten Fuhs (Birbeck, University of London)

Isabel Garcia-Contreras (University of Waterloo)

Francois Gauthier (Oracle Labs)

Laure Gonnord (Univ. Grenoble Alpes)

Yannick Moy (AdaCore)

Jorge Navas (Certora)

Julien Signoles (CEA LIST)

Laura Titolo (NIA/NASA LaRC)





More Information

================

For additional information, please visit the website (https://pldi22.sigplan.org/home/SOAP-2022),

follow @SOAP_Workshop on Twitter, or contact the chairs at soap2022 at easychair.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om/attachments/20220118/32b6ed8e/attachment-0001.htm>
-------------- next part --------------
---
To opt-out from this mailing list, send an email to 

fm-announcements-request at lists.nasa.gov 

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting 

fm-announcements-owner at lists.nasa.gov 


More information about the Om mailing list