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

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

Faster Floating Point to Integer Conversions. edit / delete

How to do rounding and truncating float-to-int conversions efficiently using C99. We'll want this in the Tock support header.

to c99 compiler floating-point research tock ... on 14 October 2008

Haskell Symposium 2008 edit / delete

Target for the nanopass paper.

to conference haskell research tock ... on 01 April 2008

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom