Colin James

Posts

• Sequentialising Parallel Moves

  Short algorithm for compiling parallel moves.

• Pattern Matching in Trees

  Using Aho-Corasick to match trees against other trees.

• Aho-Corasick

  Tutorial covering my favourite string matching algorithm.

• Compiling Pattern Matching

  Brief description of Maranget's algorithm and examples.

• Compiling Lambda Calculus

  Compiling a strict variant of untyped lambda calculus to LLVM.

• ANF Conversion

  Conversion into A-Normal Form.

• Trampolining in C

  Transliterating CPS'd code into C with dynamic calls as a form of obfuscation.