Martin Nowack

[kleesymex @kleesymex]

"Can Symbolic Execution Be a Productivity Multiplier for Human Bug-Finders?" Delighted to announce the first keynote of the upcoming 3rd International KLEE Workshop on Symbolic Execution, from @peter_a_goodman of @trailofbits!

https://t.co/01u5lEwKt0

[kleesymex @kleesymex]

Announcing the 3rd International KLEE Workshop on Symbolic Execution, taking place in London and online on 15-16 September 2022!!
The calls for presentations and posters are now online. We are all looking forward to an exciting workshop!
https://t.co/H5zNUxrKTw

[kleesymex @kleesymex]

KLEE 2.3 is finally here!
Thanks to all the contributors for the many improvements and fixes! https://t.co/jJ5m0GRE6m
Next stop: KLEE 3.0!

[Cristian Cadar @c_cadar]

KLEE 2.3 is here! Thanks to everyone for their contributions! It's also great to see the list of publications & systems using KLEE at over 250 items now, still need to catch up with all this interesting work! https://t.co/B1GaEfyN5n

[Manuel Rigger @RiggerManuel]

.@nowack_m and I seek reviewers for the artifact evaluation at ISSTA 2021. We expect reviewers to review 2-3 artifacts. We especially encourage members from underrepresented groups in our field to nominate themselves. @issta_conf https://t.co/kkeZUc7Hqr

[kleesymex @kleesymex]

KLEE 2.1 has been released! Check https://t.co/ooYhltzCGb for the new features and updates. Many thanks to all the contributors to this release!

[Martin Nowack @nowack_m]

@c_cadar @daniel_dunbar @junfengy @ACMSIGOPS @kleesymex Well deserved! Awesome paper and a great software artifact that's still alive and used a decade later.