Daniel Schemmel

[kleesymex @kleesymex]

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! https://t.co/L9kRoVZODA

[SRG Imperial @SRGImperial]

We are very happy to host Michael Pradel, who just presented his work on "LLM Agents for Program Repair and Project Setup" at our SRG Seminar.

[SRG Imperial @SRGImperial]

@c_cadar is opening the 4th International KLEE Workshop on Symbolic Execution right now. Greetings to everyone from Portugal!

[kleesymex @kleesymex]

KLEE 3.1 is released! Many thanks to all the contributors!
https://t.co/wgmvFJ6vNG

[kleesymex @kleesymex]

One week left until the first (visa-safe) deadline for KLEE 2024! Submission process is lightweight, and you can present both published and in-progress work!
Early submission deadline: Friday, 3rd November AoE
https://t.co/gFebUcpVQN

[SRG Imperial @SRGImperial]

We recently had the pleasure of hosting @ShaohuaLi8 from ETH Zurich for a seminar on his recent work, in collaboration with @zhendongsu, on detecting bugs in compiler sanitizers.

[Alastair Donaldson @afd_icl]

Really delighted that our paper on GrayC, a tool for greybox fuzzing of C compilers and analysers, received a distinguished paper award at #ISSTA! Come to G01 now if you wanna see @arindam_sharma8's talk! Joint work with @KarineEvenMend1 @c_cadar.

https://t.co/efxIoSjT7b

[Cristian Cadar @c_cadar]

Daniel ⁦@danielschemmel⁩ presenting at ⁦@issta_conf⁩ KDAlloc⁩, our new memory allocator for KLEE, which provides several advantages, among which determinism and better support for use-after-free error detection.

[FormaliSE @FormaliSEconf]

The best artifact award goes to...Cristian Cadar, Daniel Schemmel, Arindam Sharma for their paper Patch Specifications via Product Programs#FormaliSE23 #bestartifactaward #ICSE23

[SRG Imperial @SRGImperial]

Our @danielschemmel talks about the challenges of testing of floating-point code at SIAM CSE in Amsterdam. #SIAMCSE23

[Cristian Cadar @c_cadar]

I have a postdoc position for 12m to work with me on program analysis or systems topics, in the context of evolving software. Closing 6th March. Please let me know if you are interested, or know someone who is: https://t.co/qjMqIldnlV

[kleesymex @kleesymex]

Slides and videos are now available for most KLEE 2022 workshop presentations. Thanks again to all participants for the great talks! https://t.co/gAn7vlMw3x

[Imperial Engineering @ImpEngineering]

Two academics from @ICComputing and @ImpMaterials have won European Research Council (@ERC_Research) Proof of Concept Grants to accelerate their research ideas and concepts.

Read the news story: https://t.co/GdmAuEj8B7

[Alastair Donaldson @afd_icl]

This was such a great event!!

The number of international participants is testament to how much interest there is in dynamic symbolic execution, and KLEE in particular.

[SRG Imperial @SRGImperial]

We had a blast at the @kleesymex 2022 workshop! Our @danielschemmel @f_busse and @nowack_m all gave presentations and served as co-chairs under @c_cadar. It was great to meet you all and we hope to see you at the next @kleesymex workshop!

[BINSEC Team @ Université Paris-Saclay, CEA, List @BinsecTool]

Thanks Cristian and the whole KLEE team for the great workshop!

[BINSEC Team @ Université Paris-Saclay, CEA, List @BinsecTool]

Second day of @kleesymex workshop starts with our Sébastien's keynote, on five shades of symbolic execution for vulnerability hunting.

A wild tale of years researching to unleash the power of symbolic execution on binary code to solve security issues...

[kleesymex @kleesymex]

Vitaly Chipounov @vitalychh giving an industry keynote at the @kleesymex workshop about the journey of S2E from a research prototype to a commercial product.

[kleesymex @kleesymex]

Thanks once again to all participants for a wonderful workshop! See you next time!

[Sean Heelan @seanhn]

I'll be at the @kleesymex conference tomorrow. Come talk to me about profiling and optimising program analysis tools! Here's a quick analysis of what you get if you run KLEE on a system that https://t.co/ee0bL0aLHu is observing: