kleesymex (@kleesymex) / X

Two more days (Friday, 24th April) until the early submission deadline!

Delighted to announce the 5th International KLEE Workshop on Symbolic Execution (KLEE 2026), co-located with ASE 2026 in Munich, Germany! The workshop dates are 15-16 October 2026, and the calls for presentations and posters are already up! srg.doc.ic.ac.uk/klee26/

kleesymex

@kleesymex

Feb 20

Delighted to announce the 5th International KLEE Workshop on Symbolic Execution (KLEE 2026), co-located with ASE 2026 in Munich, Germany! The workshop dates are 15-16 October 2026, and the calls for presentations and posters are already up! srg.doc.ic.ac.uk/klee26/

kleesymex

@kleesymex

Dec 23, 2025

KLEE 3.2 is released! Many thanks to all the contributors to the main codebase and subprojects! During the development of this release, the number of projects and publications enabled by KLEE surpassed 300! github.com/klee/klee/rele… klee-se.org/publications/

Release KLEE 3.2 · klee/klee

Slides and talks from the KLEE 2024 workshop in Lisbon are now available! Thanks again to all of our speakers! srg.doc.ic.ac.uk/klee24/keynote… srg.doc.ic.ac.uk/klee24/accepte…

kleesymex

@kleesymex

Apr 16, 2024

Cristian Cadar is concluding the Fourth International KLEE Workshop on Symbolic Execution