Adam Sampson's llvm bookmarks

The KLEE Symbolic Virtual Machine edit / delete

Symbolic execution for LLVM; this can automatically compute testcases to cause assertions to fail in arbitrary programs. The introductory paper's pretty neat.

to compiler llvm research static-checking tock ... on 09 April 2010

Things that amuse me edit / delete

Using the high-level LLVM bindings in Haskell to compile a typed language. This is awfully cute, but I'm not sure how you'd handle a language that let the user define their own datatypes -- you'd need a Haskell-type-level representation of source-level datatype names...

to compiler haskell llvm research tock types ... on 16 June 2009

unladen-swallow - Google Code edit / delete

Python on LLVM.

to compiler llvm python ... on 24 May 2009

teideal glic deisbhéalach » Blog Archive » LLVM bindings for Haskell edit / delete

LLVM bindings for Haskell. This'd be a good way to experiment with native code generation from Tock.

to compiler haskell llvm research tock ... on 07 January 2009

A Lazy Developer Approach: Building a JVM with Third Party Software edit / delete

Translating JVM bytecode into LLVM. We'd like to do this with occam.

to llvm research vm ... on 13 September 2008

The LLVM Compiler Infrastructure Project edit / delete

Proceedings of the LLVM developers' meeting. Worth looking at.