Hi all, We are delighted to host this September the 3rd International KLEE Workshop on Symbolic Execution at Imperial: 3rd International KLEE Workshop on Symbolic Execution 15–16 September 2022 • London, UK and Online https://srg.doc.ic.ac.uk/klee22/ In-person registration is now open at https://srg.doc.ic.ac.uk/klee22/registration.html. Early registration closes 10th August.
Following on the first two successful KLEE workshops in 2018 and 2021, which have brought together people from six 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. The workshop has an exciting line-up of keynotes, regular presentations and posters: https://srg.doc.ic.ac.uk/klee22/keynotes.html. https://srg.doc.ic.ac.uk/klee22/accepted_contributions.html Big thanks to our sponsors this year: Bloomberg, Samsung, Google, Qualcomm, Trail Of Bits and Imperial College London! We are looking forward to welcome you in person. The KLEE 2022 Organisers _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
