Tasty » Adam Sampson's research bookmarks

MASON Multiagent Simulation Toolkit edit / delete

What Jon's been playing with for granuloma simulation.

to complex-systems cosmos research simulation ... on 09 October 2008

Ct: C for Throughput Computing edit / delete

Intel's approach to implicit parallelism: a C++ library that lets you write expressions which compile down to parallel code. I suspect debugging this would be "interesting".

to c++ concurrency multicore research ... on 23 September 2008

py library edit / delete

Includes a "greenlets" module that provides coroutines for Python without needing to modify the interpreter. We could build a CSP scheduler on top of this fairly easily (even using multiple threads).

to concurrency lightweight-concurrency python research software ... on 17 September 2008

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

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

python-safethread - Google Code edit / delete

CPython modified for better (i.e. no GIL) concurrency. The design rationale is interesting, although I think it's bonkers.

to concurrency python research software ... on 02 September 2008

Concurrency - parrotcode edit / delete

"Independent Concurrency"?

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

Eliminating Array Bound Checking through Non-dependent types edit / delete

A neat trick: using existentially-qualified (but unspecified) types to track instances of arrays at the type level.

to haskell research static-analysis typechecking ... on 18 August 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