Posts by author nrungta@NDC.NASA.GOV

JPF Workshop 2012

The Java PathFinder Workshop 2012 is co-located with FSE 2012.

Organizers: Peter Mehlitz, Neha Rungta, and Willem Visser

Submission Deadline: July 24th, 2012

http://ti.arc.nasa.gov/events/jpf-workshop-2012/

The JPF Workshop will provide: (1) an introductory tutorial of the JPF framework for attendees unfamiliar with JPF, (2) detailed tutorials of JPF extensions such as symbolic execution, incremental program analysis, and android verification, and (3) give researchers and practitioners who already use JPF a forum to present their work. The workshop provides an opportunity to learn about software engineering, verification, and program analyses related research within the context of the Java Pathfinder framework.

We solicit submissions for existing research, applications, work in progress, and position papers on topics related to 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 comparative analysis papers that evaluate algorithms in JPF or its extensions with relevant tools. The goal of the workshop is to encourage the flow of ideas relevant to JPF. The papers should be at most 5 pages long in the IEEE trans format.

Accepted papers will be published in the ACM digital library.

Submission Deadline: July 24, 2012 Notification of Acceptance: Aug 15, 2012 Final Version Submission: Sept 2, 2012

We hope you will submit to the workshop and attend it as well.

JPF Workshop 2011

We have a JPF Workshop 2011 co-located with ASE 2011 in Oread, Lawrence, Kansas on Nov 12.

Call for Contributions:

We welcome contributions on all topics related to JPF or one of its extensions. In addition to research papers, we also solicit comparative analysis papers that evaluate algorithms in JPF or its extensions with relevant tools. The goal of the workshop is to encourage the flow of ideas relevant to JPF. We solicit two kinds of papers:

  1. Full Papers: The full papers should be at most 12 pages long in the IEEE trans format. The paper should describe a fully matured research topic that has been implemented within JPF core or one of its extensions. The papers can be previously published at other peer-reviewed venues or be original research papers not been published before. In previously published work we highly encourage addition of new material that provides new insights about either the implementation, engineering, or evaluation with respect to JPF.
  1. Short Papers: The short papers should be at most 5 pages long in the IEEE trans format. Short papers can describe an extension of JPF as a tool paper. Work in progress descriptions can also be submitted as short papers.

The best papers in the workshop will be invited to be included in a special STTT issue on Java Pathfinder.

Important Dates and Deadlines:

  • Paper Submission Deadline: August 29, 2011
  • Notification of acceptance/rejection: September 30, 2011
  • Deadline for Final Version: October 15, 2011

JPF accepted for GSoC 2011

Java Pathfinder has been accepted as one of the mentoring organizations for Google Summer of Code 2011. Students interested in JPF-related projects are encouraged to peruse the ideas for projects page on the wiki at:

http://babelfish.arc.nasa.gov/trac/jpf/wiki/events/soc2011

Students interested in projects are encouraged to explore ideas listed on the page as well as their own ideas. Email us at jpf.gsoc [at] gmail [dot] com if you have project specific questions. Ask questions on the JPF mailing list if the question seems relevant for the larger JPF community. The JPF mailing list is open to everyone at:

http://groups.google.com/group/java-pathfinder

We hope to have a very busy summer with lots of work on interesting JPF projects.