« earlier | later » Page 1 of 1
The KLEE Symbolic Virtual Machine
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
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
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.
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
Target for the nanopass paper.
to conference haskell research tock ... on 01 April 2008
« earlier | later » Page 1 of 1
| - tock | |
| 1 | c99 |
| 4 | compiler |
| 1 | conference |
| 1 | floating-point |
| 3 | haskell |
| 3 | llvm |
| 5 | research |
| 1 | static-checking |
| 5 | tock |
| 1 | types |
tasty by Adam Sampson.