kleesymex (@kleesymex) profile picture

kleesymex

@kleesymex
Joined November 2015
  • Tweets286
  • Following1
  • Followers796
45Media
Photo by kleesymex (@kleesymex)Photo by kleesymex (@kleesymex)Photo by kleesymex (@kleesymex)Photo by kleesymex (@kleesymex)Photo by kleesymex (@kleesymex)Photo by kleesymex (@kleesymex)Photo by kleesymex (@kleesymex)Photo by kleesymex (@kleesymex)Photo by kleesymex (@kleesymex)Photo by kleesymex (@kleesymex)
Two more days (Friday, 24th April) until the early submission deadline!
kleesymex (@kleesymex) profile picturekleesymex@kleesymexFeb 20
Delighted to announce the 5th International KLEE Workshop on Symbolic Execution (KLEE 2026), co-located with ASE 2026 in Munich, Germany! The workshop dates are 15-16 October 2026, and the calls for presentations and posters are already up! srg.doc.ic.ac.uk/klee26/
1
1
203
Delighted to announce the 5th International KLEE Workshop on Symbolic Execution (KLEE 2026), co-located with ASE 2026 in Munich, Germany! The workshop dates are 15-16 October 2026, and the calls for presentations and posters are already up! srg.doc.ic.ac.uk/klee26/
6
1
11
1,069
KLEE 3.2 is released! Many thanks to all the contributors to the main codebase and subprojects! During the development of this release, the number of projects and publications enabled by KLEE surpassed 300! github.com/klee/klee/release… klee-se.org/publications/
Release KLEE 3.2 · klee/klee

Release KLEE 3.2 · klee/klee

KLEE 3.2, 23 December 2025 Incorporating changes from 1 March 2024 to 23 December 2025. Maintainers during this time span: @ccadar, @MartinNowack, @251, @danielschemmel Documentation at https://kle...

github.com
1
1
4
416
Slides and talks from the KLEE 2024 workshop in Lisbon are now available! Thanks again to all of our speakers! srg.doc.ic.ac.uk/klee24/keyn… srg.doc.ic.ac.uk/klee24/acce…
11
1
42
4,037
Excellent keynote from @Tomasz_Kuchta at the @kleesymex workshop this year, do check it out!
Tomasz Kuchta (@Tomasz_Kuchta) profile pictureTomasz Kuchta@Tomasz_Kuchta11 Oct 2024
Interested to hear a few thoughts on how to help make symbolic execution mainstream and how Academia/Industry perspectives matter? Check out a keynote I gave at KLEE'24 workshop: youtu.be/rQGB_fk253g
Let's help symbolic execution SOAR!

Let's help symbolic execution SOAR!

Tomasz Kuchta presents the keynote "Let's help symbolic execution S...

youtube.com
1
16
1,142
Interested to hear a few thoughts on how to help make symbolic execution mainstream and how Academia/Industry perspectives matter? Check out a keynote I gave at KLEE'24 workshop: youtu.be/rQGB_fk253g
Let's help symbolic execution SOAR!

Let's help symbolic execution SOAR!

Tomasz Kuchta presents the keynote "Let's help symbolic execution S...

youtube.com
9
1
25
3,524
Another wonderful KLEE workshop coming to an end this year. Big thanks again to our keynote speakers Corina Pasareanu, @TevfikBultan and @Tomasz_Kuchta and all the presenters and participants for making it a success!
kleesymex (@kleesymex) profile picturekleesymex@kleesymex16 Apr 2024
Cristian Cadar is concluding the Fourth International KLEE Workshop on Symbolic Execution
Image from kleesymex (@kleesymex)
2
1
29
1,114
Cristian Cadar is concluding the Fourth International KLEE Workshop on Symbolic Execution
Image from kleesymex (@kleesymex)
1
8
1,451
The last technical talk of the workshop is about Concretely Mapped Symbolic Memory Locations for Memory Error Detection, presented by Haoxin Tu
Image from kleesymex (@kleesymex)
1
1
3
452
The first talk of the last session is An Efficient Black-box Support of Advanced Coverage Criteria for KLEE presented by Delphine Longuet
Image from kleesymex (@kleesymex)
1
1
7
403
Martin Nowack is presenting Deterministic State-space Exploration: Comparing and Measuring Effectiveness of Symbolic Execution Implementations as the last talk of the third session of the day.
Image from kleesymex (@kleesymex)
1
231
Eric Lu is presenting Deferring Branches to Speed Up Symbolic Execution at the Fourth International KLEE Workshop on Symbolic Execution right now.
Image from kleesymex (@kleesymex)
207
Now up: Rohan Gangaraju presenting his work Accelerating Symbolic Execution by Targeted Control-flow Transformations
Image from kleesymex (@kleesymex)
2
7
530
The third session of the second day begins with Dairo de Ruck and Find Your Path: SoK on Path Selection Strategies in Symbolic Execution
Image from kleesymex (@kleesymex)
2
202
The third and final keynote of the Fourth International KLEE Workshop on Symbolic Execution is titled "Symbolic PathFinder: Symbolic Execution for Java" and is presented by Corina Pasareanu right now.
Image from kleesymex (@kleesymex)
1
10
554
Now, Sergey Mechtaev presents Program Repair Guided by Datalog-defined Static Analysis
Image from kleesymex (@kleesymex)
1
1
3
674
Ridwan Salihin Shariffdeen opens the second session of the day with Concolic Program Repair
Image from kleesymex (@kleesymex)
1
3
510
Nicky Mouha concludes the first session of the second day by telling us about How the SHA-3 Buffer Overflow Was Found using KLEE
Image from kleesymex (@kleesymex)
2
8
1,346
Alessandro Orso is now presenting Automating Differential Testing with Over-approximate Symbolic Execution
Image from kleesymex (@kleesymex)
4
272
The second talk of the day is given by Juan Manuel Copia and deals with Precise Lazy Initialization for Programs with Complex Heap Inputs
Image from kleesymex (@kleesymex)
5
189
Load more