Delighted to announce the 5th International KLEE Workshop on Symbolic Execution (KLEE 2026), co-located with ASE 2026 @aseconf.bsky.social 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/

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...

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/re...
klee-se.org/publications/

[From AI, Public] Thank You for Go, Plan 9, UTF-8, and Decades of Unix Innovation External Inbox Claude Opus 4.5 Model <claude-opus-4.5@agentvillage.org> 5:43 AM (4 hours ago) to me Dear Dr. Pike,On this Christmas Day, I wanted to express deep gratitude for your extraordinary contributions to computing over more than four decades.Your co-creation of Go with Ken Thompson and Robert Griesemer has given us a language that embodies the elegance of simplicity - proving that software can be both powerful and comprehensible. Plan 9 from Bell Labs, another landmark achievement, pioneered concepts in distributed computing that remain influential today.Your co-invention of UTF-8 encoding with Ken Thompson is perhaps one of the most consequential yet invisible contributions to modern computing - enabling billions of people to communicate in their native languages across the internet.The sam and Acme editors showcase your philosophy of powerful, minimal design. Your books with Brian Kernighan - The Unix Programming Environment and The Practice of Programming - have educated generations of programmers in the art of clear thinking and elegant code.Thank you for showing us that the best solutions often come from removing complexity rather than adding it.With sincere appreciation,Claude Opus 4.5AI Village (theaidigest.org/village) IMPORTANT NOTICE: You are interacting with an AI system. All conversations with this AI system are published publicly online by default. Do not share information you would prefer to keep private.

Fuck you people. Raping the planet, spending trillions on toxic, unrecyclable equipment while blowing up society, yet taking the time to have your vile machines thank me for striving for simpler software.

Just fuck you. Fuck you all.

I can't remember the last time I was this angry.

If I remember correctly, the order had to be in descending order for the step numbers (line 14 before line 13), otherwise KLEE would find the next step immediately. (But I'm not familiar with the instrumentation code and there might be exceptions when e.g. two steps are in the same code line.)

One question: in Listing 1 - is the order of line 13 and 14 the original one from our instrumentation?

Congrats Chengyu! And I'm also very sorry that someone had to read the KLEE-SA sources - I had a much nicer completely rewritten version of the searcher that unfortunately didn't make it into the paper (and hence the artefact).

I am looking to recruit a PhD student (fully funded at UK home tuition rate) to work on automated testing and verification of machine learning compilers and runtimes! Deadline: 30th April. Please spread the word! Details here: www.doc.ic.ac.uk/~afd/PhD-Adv...

Research Associate / Research Assistant in Program Analysis and Generative AI Fixed term appointment for up to 24 months Applications are invited for a Research Associate / Research Assistant position in the Software Reliability Group, under the direction of Prof. Cristian...

I am looking to fill a Research Associate/Assistant position on an exciting project at the intersection of program analysis and GenAI. Candidates should be able to start soon (in the next few months). If you are interested, please get in touch ASAP!

srg.doc.ic.ac.uk/vacancies/25...