JPF 2019 : Java Pathfinder Workshop 2019

  in Conferences   Posted on April 30, 2019

Conference Information

Submission Deadline Monday 29 Jul 2019 Proceedings indexed by :
Conference Dates Nov 11, 2019 - Nov 11, 2019
Conference Address San Diego, United States
Conference & Submission Link https://2019.ase-conferences.org/home/jpf-2019
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Call for Papers

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.

Other Conferences in United States

eCrime 2019 : eCrime - Symposium on Electronic Crime Research

Deadline :
Fri 16 Aug 2019
Nov 13, 2019 - Nov 15, 2019 - Pittsburgh
United States

SOSA 2020 : The Third Symposium on Simplicity in Algorithms

Deadline :
Fri 16 Aug 2019
Jan 6, 2020 - Jan 7, 2020 - Salt Lake City
United States

APOCS 2020 : SIAM Symposium Algorithmic Principles of Computer Systems (APOCS20)

Deadline :
Fri 16 Aug 2019
Jan 8, 2020 - Jan 8, 2020 - Salt Lake City
United States

LCPC 2019 : Languages and Compilers for Parallel Computing

Deadline :
Fri 16 Aug 2019
Oct 22, 2019 - Oct 24, 2019 - Atlanta
United States

WSDM 2020 : ACM International Conference on Web Search and Data Mining

Deadline :
Fri 16 Aug 2019
Feb 5, 2020 - Feb 9, 2020 - Houston
United States