We solicit proposals for posters related to the KLEE infrastructure and symbolic execution more generally. In particular, we welcome two types of contributions:

  1. Posters presenting existing research papers or ongoing work. If presenting an existing research paper, please provide a link to the paper.

  2. Posters reporting the experience of using KLEE in a practical setting. Examples include the use of KLEE for testing open-source software, the use of KLEE in an industrial context, and the integration of KLEE within a larger system or tool.

A proposal should include:

  1. The title of the poster, prefixed by “Poster: “. For instance, “Poster: A novel technique for improving KLEE”.

  2. An abstract discussing the topic of the poster.

  3. A link to previously published work on this subject, if any.

  4. An explanation of the connections with KLEE, if any.

  5. The actual poster, if ready. The maximum allowed size is 10MB. If your poster is larger than this, please resize it or save it at a lower resolution. If you don’t submit the actual poster, please submit a single-page PDF with all the information in bullets 1–4 as the actual submission.

The poster proposals should be submitted on EasyChair at https://easychair.org/conferences/?conf=klee2018

If accepted, at least one author should register for the workshop before the early registration date.

Important dates

  • Submission deadline: Sunday, 21 January 2018
  • Notification deadline: Thursday, 1 February 2018
  • Early registration date: Saturday, 10 February 2018
  • Workshop dates: 19-20 April 2018

The deadlines are 23:59:59 UK time.