Tasty » Adam Sampson's compiler bookmarks

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

Prof. W. Kahan's web pages edit / delete

Includes a variety of splendid publications on floating-point maths and how it's implemented. Worth referring to for occam-pi's maths implementation.

to compiler floating-point maths papers research ... on 13 December 2007

/trunk/hsloopo/LMath/Algo/OmegaTest.hs - LooPo - Trac edit / delete

The Omega test mostly in Haskell. I'd hope we can replace the C++ libraries it uses, or at least use it as a guide to implementation.

to compiler research ... on 06 December 2007