posted by user: jaichberg || 684 views || tracked by 1 users: [display]

KLEE 2022 : 3rd International KLEE Workshop on Symbolic Execution

FacebookTwitterLinkedInGoogle

Link: https://srg.doc.ic.ac.uk/klee22/
 
When Sep 15, 2022 - Sep 16, 2022
Where London, UK and Online
Submission Deadline Jul 14, 2022
Notification Due Jul 25, 2022
 

Call For Papers

# Call for Presentations

We solicit proposals for presentations related to the KLEE infrastructure and symbolic execution more generally. In particular, we welcome three types of contributions:

1. Presentations of existing research papers or ongoing research work. If presenting an existing research paper, please provide a link to the paper. If the work builds upon KLEE, please be explicit about the connection.
2. Presentations reporting the experience of using KLEE in a practical setting. Examples include the use of KLEE for testing open-source software, the use of KLEE in an industrial context, and the integration of KLEE within a larger system or tool.
3. Tutorial presentations on various aspects of KLEE. Examples include explaining the memory model of KLEE, showing how to create a new partial solver in KLEE, explaining how to handle new LLVM intrinsics, or demonstrating the use of Kleaver, KLEE’s solver tool.

We estimate having 20- to 30-minute slots for presentations, but the exact duration will be decided depending on the number of accepted proposals.

A proposal consists of an extended abstract discussing the topic of the presentation, which should include:

1. The title of the presentation, prefixed by “Presentation: “. For instance, “Presentation: A novel technique for improving KLEE”.
2. A complete list of all co-authors involved in the topic presented (with the exception of tutorials on KLEE).
3. A link to previously published work on this subject, if any.
4. An explanation of the connections with KLEE, if any.

The extended abstract should have no more than two pages, including all text, figures, references, and appendices. We do not impose any specific format, as long as the text is easily readable. Submissions should be in PDF format. The workshop will have no proceedings, so the extended abstract is only used for evaluation purposes; the authors and titles will appear in the workshop program.

The presentation proposals should be submitted on EasyChair at https://easychair.org/conferences/?conf=klee2022 .

If accepted, at least one author should register for the workshop before the early registration deadline. We expect the presentation to be done in-person, but if travel is not possible or you have concerns about COVID-19 (see this info: https://srg.doc.ic.ac.uk/klee22/covid.html), we can accommodate a certain number of online presentations.

## Important dates

- Submission deadline: Thursday, 14 July
- Notification deadline: Monday, 25 July 2022
- Early registration deadline: Wednesday, 10 August 2022
- Late registration deadline: Thursday, 1 September 2022 (limited places available on a first-come, first-served basis)
- Workshop dates: Thursday-Friday, 15-16 September 2022, London and Online

Related Resources

SYNASC 2024   26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
CCBDIOT 2024   2024 3rd International Conference on Computing, Big Data and Internet of Things (CCBDIOT 2024)
ICoIV 2024   2024 International Conference on Intelligent Vehicles (ICoIV 2024)
ADMIT 2024   2024 3rd International Conference on Algorithms, Data Mining, and Information Technology (ADMIT 2024)
VORTEX 2024   Verification and Monitoring at Runtime Execution 2024
CPS CCAT 2024   CPS--2024 the 3rd International Conference on Computer Application Technology (CCAT 2024)
FCSIT 2024   2024 3rd Eurasian Conference on Frontiers of Computer Science and Information Technology
CCVPR 2024   2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)
EXPLAINS 2024   1st International Conference on Explainable AI for Neural and Symbolic Methods