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. A complete list of all co-authors involved in the topic presented.

  3. An abstract discussing the topic of the poster.

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

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

  6. 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=klee2022 .

If accepted, at least one author should register in-person for the workshop before the early registration deadline. If travel is not possible or you have concerns about COVID-19 (see this info), please consider submitting a presentation instead.

Important dates

The deadlines can be found here.