The KLEE workshop is designed to be an informal event, in which participants share and discuss their recent work on symbolic execution, including but not limited to KLEE. As such, the workshop has no proceedings, and consists of a series of invited, solicited and proposed presentations and posters from participants and the organising team.

In past editions, we have received more proposals than we could accommodate, so we had to do a lightweight selection process to ensure a diverse high-quality program.

In particular, we welcome three types of presentations:

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

  2. Presentations reporting the experience of using symbolic execution in a practical setting, covering both open-source and industry software.

  3. Tutorial presentations on various aspects of KLEE. Examples include explaining the memory model of KLEE, showing how to create a new partial solver in KLEE, explaining how to handle new LLVM intrinsics, or demonstrating the use of Kleaver, KLEE’s solver tool.

We estimate having 20- to 30-minute slots for presentations, but the exact duration will be decided depending on the number of accepted proposals.

A proposal consists of an extended abstract discussing the topic of the presentation, which should include:

  1. The title of the presentation, prefixed by “Presentation: “. For instance, “Presentation: A novel technique for improving constraint solving for symbolic execution”.

  2. A complete list of all co-authors involved in the topic presented (with the exception of tutorials on KLEE).

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

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

The extended abstract should have no more than two pages, including all text, figures, references, and appendices. If presenting an existing paper, a submission could simply include the title, abstract and a link to the full paper. We do not impose any specific format, as long as the text is easily readable. Submissions should be in PDF format. As the workshop will have no proceedings, the extended abstract is only used for evaluation purposes; the authors and titles will appear in the workshop program.

The presentation proposals should be submitted on HotCRP at

If accepted, at least one author should register for the workshop before the early registration deadline and attend the workshop in person in Lisbon, Portugal. To accommodate as many speakers as possible, we plan to have each participant deliver a single presentation. An extra poster presentation might also be allowed.

You might also like to check the Call for Posters.

Important dates

The deadlines can be found here.