Tasty » Adam Sampson's llvm bookmarks

pocl - Portable Computing Language edit / delete

LLVM-based OpenCL implementation.

to compiler gpgpu llvm opencl pocl ... on 29 July 2013

mikeash.com: Friday Q&A 2013-06-28: Anatomy of a Compiler Bug edit / delete

Excellent description of how to track down a Clang code generation bug.

to bugs clang debugging llvm ... on 11 July 2013

Libcpu edit / delete

LLVM-based generic CPU emulation library.

to cpu emulation llvm software ... on 15 January 2013

Home · kripken/emscripten Wiki · GitHub edit / delete

Compiles LLVM output to Javascript. Claims to achieve about 25% the speed of native code, which is pretty impressive. Javascript Transterpreter, anyone?

to compiler javascript llvm software ... on 28 July 2012

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.

to compiler jit llvm research vm ... on 16 August 2008