Hi all,
A final reminder about the first (visa-safe) submission deadline for
KLEE 2024. We are looking forward to your submissions! And thanks to
everyone who has already submitted their interesting work!
https://srg.doc.ic.ac.uk/klee24/cfpresentations.html
https://srg.doc.ic.ac.uk/klee24/cfposters.html
Best,
Cristian
On 27/10/2023 13:23, Cristian Cadar wrote:
Hi all,
Just a short reminder that there is one week left until the early
submission deadline for KLEE 2024! As I mentioned before, the
submission process is very lightweight: an abstract and a link to
already published work that you'd like to present, or an extended
abstract of up to two pages for work in progress.
https://srg.doc.ic.ac.uk/klee24/
https://srg.doc.ic.ac.uk/klee24/
Best wishes,
Cristian
On 13/09/2023 12:57, Cristian Cadar wrote:
Dear all,
It is my great pleasure to announce the 4th edition of the
International KLEE Workshop on Symbolic Execution, KLEE 2024!
KLEE 2024 will take place in April in Lisbon, Portugal, co-located
with ICSE 2024, the flagship software engineering conference:
https://srg.doc.ic.ac.uk/klee24/
KLEE 2024 follows three successful editions (2018, 2021 and 2022),
which together have gathered 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, as well as KLEE developers and 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.
As in prior years, the workshop has no proceedings. Instead, we will
have a call for presentations and posters; the submission site is
already open! Both published and ongoing work are welcome to be
presented and the submission is low-effort: an abstract and a link to
published work, or an extended abstract of up to two pages for work in
progress.
The first round deadline (which is more likely to guarantee a
presentation/poster slot, as well as provide ample time to obtain a
visa if needed) is on 3rd of November!
We thank again our sponsors for the first three editions: UK EPSRC,
Baidu, Bloomberg, Fujitsu, Google, Qualcomm, Huawei, Samsung, Trail of
Bits and Imperial College London. If you would like to sponsor the
next edition, please get in touch with me by replying to this message.
Looking forward to your submissions,
Cristian, also on behalf of Daniel, Frank and Martin as KLEE 2024 Chairs
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev