Tasty » Adam Sampson's compiler bookmarks

pyjamas edit / delete

Some uninteresting web development stuff -- but part of this is a Python-to-Javascript compiler, which is interesting.

to compiler javascript python software ... on 04 February 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

Henry Baker's Archive of Research Papers edit / delete

Lots of interesting papers on language implementation -- including "CONS should not CONS its arguments", which is the paper that describes compiling Scheme into never-returning C.

to compiler research retrocomputing ... on 04 December 2008

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

Home Page for ATS edit / delete

Functional language with a powerful type system, an efficient via-C compilation process, and (obviously) a superb name.

to compiler functional language-design research type-checking ... on 13 September 2008

What's New in Python 2.6 edit / delete

Two interesting things: the multiprocessing module which provides some new farming facilities, and the ast module which provides a Python parser that we could use to do static checking.

to compiler concurrency python research ... on 02 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

"clang" C Language Family Frontend for LLVM edit / delete

LLVM now has a C/C++ frontend. Since the AST it produces is designed to support static analysis and refactoring, this would allow us to do occam-style concurrency analysis of C++ programs -- which'd be neat. We should look more at LLVM.

to c compiler cpp research ... on 16 August 2008

Objectives | GGCC edit / delete

Project adding static analysis facilities to GCC. Perhaps we might be able to do occam-style analysis of C/C++ this way -- alias checking should certainly be trivial.

to compiler concurrency research ... on 31 May 2008

I'm Cross! edit / delete

Another system for cross-building Windows binaries. Worth looking at for KRoC's MinGW port, since previously I'd been doing essentially the same thing by hand.

to compiler porting research software ... on 27 April 2008