posted by organizer: cyrille_artho || 2157 views || tracked by 3 users: [display]

JPF 2019 : Java Pathfinder Workshop 2019

FacebookTwitterLinkedInGoogle

Link: https://2019.ase-conferences.org/home/jpf-2019
 
When Nov 11, 2019 - Nov 11, 2019
Where San Diego, CA, USA
Submission Deadline Aug 12, 2019
Notification Due Aug 30, 2019
Final Version Due Sep 13, 2019
Categories    software engineering   software model checking   program analysis   symbolic execution
 

Call For Papers

** Fast abstracts (presentation only) welcome until Sep 4 **

Java Pathfinder is the annual workshop on technologies related to Java Pathfinder and similar program analysis tools and approaches.

We solicit regular paper submissions on existing research and applications related to Java Pathfinder (JPF) or its extensions. If the underlying research idea has been published in another venue, the paper needs to clarify the novel aspects that are being presented in the paper. We also solicit extended abstracts and position paper submissions on recent work or work in progress. We welcome comparative analysis papers that evaluate algorithms in JPF or its extensions with other relevant tools. The goal of the workshop is to encourage the flow of ideas relevant to JPF and Java/Android program analysis in general.

Topics of interest include the following:

JPF extensions or tools
JPF case studies
Position papers on JPF, such as future directions
Java program analysis or verification
Android program analysis or verification
General software verification and symbolic execution techniques or tools

Submission formats

We solicit two types of submissions to be uploaded on EasyChair/JPF2019:

Regular papers: At most 5-page long papers in the ACM SEN Proceedings format will be reviewed by the organizing committee. Accepted regular papers will be presented at the workshop and published in the ACM SIGSOFT Software Engineering Notes and the ACM Digital Library, as in previous years.
Extended abstracts: At most 2-page long abstracts will be selected by the organizing committee. Accepted abstracts will be presented at the workshop but NOT published.

Related Resources

Voxxed Days 2020   Voxxed Days Minsk 2020
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus
CLSB 2020   International Conference on Cloud Computing, Security and Blockchain
SPRA--EI, Scopus 2020   2020 Symposium on Pattern Recognition and Applications (SPRA 2020)--EI Compendex, Scopus
IEEE CAIT--Ei, Scopus 2020   2020 IEEE International Conference on Artificial Intelligence Technology (CAIT 2020)--Ei Compendex, Scopus
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
HCI 2020   VI IBEROAMERICAN CONFERENCE OF HUMAN-COMPUTER INTERACTION 2020 & CCIS SPRINGER
AIPR--ACM, Ei and Scopus 2020   ACM--2020 3rd International Conference on Artificial Intelligence and Pattern Recognition (AIPR 2020)--Ei Compendex, Scopus