2nd International KLEE Workshop on Symbolic Execution

10-11 June, 2021 • Online

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 3,000 citations to the paper introducing KLEE, over 400 subscribers to its mailing list, over 70 contributors to its core codebase and components, and the constant stream of visitors to its website and GitHub repository.

Following on the successful first edition of the KLEE workshop which took place in 2018, which has brought together people from three different continents spanning academia, industry and government, one of the main goals of the workshop is to get together KLEE developers and users to exchange ideas, understand each other’s interests and needs, and discuss the evolution of KLEE. 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 also discuss recent developments in symbolic execution and related areas, such as fuzzing and constraint solving.

Important updates will be announced by @kleesymex on Twitter.

Update March 2021: The workshop was initially planned to take place in London, but due to COVID-19 we will move it online, on 10-11 June, 2021. We hope for the 3rd edition of the workshop to take place again in person sometime in 2022 or 2023. A new call for presentations is now available.

Update June 2021: The slides and videos are now online: see the schedule and visit our new YouTube channel.