llvm

Applied Symbolic Execution with KLEE/LLVM

Is LLVM the beginning of the end for GNU (as we know it)?

Why F# needs Mono (and really should be a JVM language)

Symbolic Execution