2nd International KLEE Workshop on Symbolic Execution
14-15 September, 2020 • London, United Kingdom
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 2,500 citations to the paper introducing KLEE, over 300 subscribers to its mailing list, over 50 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, 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.
The workshop will consist of a mix of keynotes, research talks and experience reports. A call for presentations and details about the registration will follow shortly. Updates to the website will be announced by @kleesymex on Twitter.