Following four successful KLEE workshops (2018, 2021, 2022 and 2024), which have brought together over 450 participants from six different continents spanning academia, industry and government, one of the main goals of the KLEE 2026 workshop is to get together symbolic execution researchers, KLEE developers and KLEE 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.
While a particular emphasis will be placed on the KLEE ecosystem, the workshop will more broadly discuss recent developments in symbolic execution and related areas, such as fuzzing and constraint solving.
Please visit https://srg.doc.ic.ac.uk/klee26/ for more information.
Fri 16 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:45 - 10:00 | |||
08:45 15mDay opening | Opening Remarks KLEE Cristian Cadar Imperial College London | ||
09:00 60mKeynote | Deriving Test Oracles for Verification Infrastructure KLEE Maria Christakis TU Wien | ||
10:30 - 10:50 | |||
10:30 5mPoster | Automatic Unit-Test Generation Based on Symbolic Execution KLEE Tigran Avagyan RAU, Levon Shahbazyan Center of Advanced Software Technologies, Russian-Armenian University, Hovhannes Movsisyan RAU, Hayk Aslanyan RAU | ||
10:35 5mPoster | EAR: Debugging Libraries through API Call Traces KLEE | ||
10:40 5mPoster | Interprocedural Symbolic Static Analysis for Go KLEE | ||
10:50 - 12:30 | Exploration Strategies for Symbolic ExecutionKLEE at Forum 8 Chair(s): Frank Busse Independent Researcher | ||
10:50 20mTalk | FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution KLEE | ||
11:10 20mTalk | Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery KLEE Md Shafiuzzaman University of California at Santa Barbara, Achintya Desai UCSB, Wenbo Guo University of California, Santa Barbara, Tevfik Bultan University of California at Santa Barbara | ||
11:30 20mTalk | Enhancing Symbolic Execution of Programs for Control Flow Path Feasibility Analysis KLEE | ||
11:50 20mTalk | Enhancing Symbolic Execution with Self-Configuring Parameters KLEE | ||
12:10 20mTalk | Triggering the Hidden: Oracle Design Meets KLEE for Backdoor Detection KLEE Michaël Marcozzi Université Paris-Saclay; CEA List | ||
12:30 - 14:00 | |||
14:00 - 16:00 | LLMs, Specifications and Proofs with and for Symbolic ExecutionKLEE at Forum 8 Chair(s): Daniel Schemmel | ||
14:00 20mPoster | Extended Lunch Poster Session KLEE | ||
14:20 20mTalk | Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code KLEE | ||
14:40 20mTalk | Enhancing Symbolic Execution with Machine-Checked Safety Proofs KLEE | ||
15:00 20mTalk | Agentic Concolic Execution KLEE Zhengxiong Luo National University of Singapore, Huan Zhao National University of Singapore, Dylan Wolff National University of Singapore, Cristian Cadar Imperial College London, Abhik Roychoudhury National University of Singapore | ||
15:20 20mTalk | LLM-Driven Generation of Summaries for Symbolic Execution KLEE Frederico Ramos Instituto Superior Técnico, João Matos Instituto Superior Técnico, Jorge Hristovsky Instituto Superior Técnico, Pedro Adão IST-ULisboa and Instituto de Telecomunicações, Ruben Martins Carnegie Mellon University, José Fragoso Santos INESC-ID; Instituto Superior Técnico - University of Lisbon | ||
15:40 20mTalk | A Case Study in Firmware Verification: Applying Formal Methods to Intel TDX Module KLEE Dirk Beyer LMU Munich, Po-Chun Chien LMU Munich, Bo-Yuan Huang Intel, USA, Nian-Ze Lee National Taiwan University, Taiwan, Thomas Lemberger Technische Hochschule Deggendorf | ||
16:30 - 17:35 | |||
16:30 60mKeynote | The Role of SAT Solving in Automated Reasoning KLEE Armin Biere University of Freiburg, Germany | ||
17:30 5mDay closing | Closing Remarks KLEE Cristian Cadar Imperial College London | ||
Accepted Papers
Call for Presentations and Posters
Please see the Call for Presentations and the Call for Posters on the KLEE 2026 website.
| Fri 24 Jul 2026 Late notification |
| Fri 10 Jul 2026 Late submission deadline |
| Fri 15 May 2026 Early Notification |
| Fri 24 Apr 2026 Early Submission Deadline |
- No members yet