KLEE Workshop 2021

Call for Presentations

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

  1. Presentations of existing research papers or ongoing research work. If presenting an existing research paper, please provide a link to the paper. If the work builds upon KLEE, please be explicit about the connection.

  2. Presentations 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.

  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 KLEE”.

  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. We do not impose any specific format, as long as the text is easily readable. Submissions should be in PDF format. The workshop will have no proceedings, so 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 EasyChair at https://easychair.org/conferences/?conf=klee2021

If accepted, at least one author should register for the workshop.

Note that we plan two sessions of a few hours each, with the goal of having at least one session at a workable time around the world. Of course, the exact schedule will depend on the interest we see in an online workshop and the geographical distribution of the presenters.

Important dates

  • Submission deadline (Round 1): Tuesday, 12 May 2020
  • Notification deadline (Round 1): Monday, 25 May 2020
  • Submission deadline (Round 2): Tuesday, 26 January 2021
  • Notification deadline (Round 2): Tuesday, 2 February 2021
  • Submission deadline (Round 3): Monday, 10 May 2021
  • Notification deadline (Round 3): Tuesday, 18 May 2021
  • Registration: 20 May - 9 June 2021 (limited places available on a first-come first-served basis)
  • Workshop dates: 10-11 June 2021, Online (14-15 September 2020, London, UK, 22-23 April 2021, London, UK)

The deadlines are 23:55 UK time.