4th International KLEE Workshop on Symbolic Execution

15–16 April 2024 • Lisbon, Portugal • Co-located with ICSE 2024

Symbolic execution has gained significant attention over the last few years, becoming an essential ingredient of techniques and systems across many computer science fields including software engineering, programming languages, software testing, program verification, cybersecurity, and computer systems. The technique has enabled a wide range of applications, including the automatic detection of bugs and security vulnerabilities, high-coverage test suite generation, patch testing, and automatic debugging, among many others.

KLEE is one of the most popular symbolic execution engines, providing a flexible and modular framework on which to build many different symbolic execution based techniques. KLEE has a large number of users from both academia and industry, as exemplified by e.g., over 4,000 citations to the paper introducing KLEE, over 400 subscribers to its mailing list, over 100 contributors to its core codebase and components, and the constant stream of visitors to its website and GitHub repository.

Following three successful KLEE workshops (2018, 2021 and 2022), which have brought together over 400 participants from six different continents spanning academia, industry and government, one of the main goals of the workshop is to get together symbolic execution researchers, KLEE developers and KLEE users to exchange ideas, understand each other’s interests and needs, and discuss the evolution of symbolic execution technology. A particular emphasis will be placed on connecting academic researchers working with KLEE and symbolic execution with industrial users interested in using KLEE to improve their software products.

While a particular emphasis will be placed on the KLEE ecosystem, the workshop will more broadly discuss recent developments in symbolic execution and related areas, such as fuzzing and constraint solving.

The workshop will be primarily an in-person event, with all presenters expected to attend in person. However, we will also try to accommodate online participation too.

Important updates will be announced by @kleesymex on Twitter.