Compressing and Running Compressed Bytecode for a Functional Language
Kate Stefanov (Macquarie University)
Anthony M. Sloane (Macquarie University)

Implementing the Pure Pattern Calculus
Matthew Roberts (Macquarie University)

Automated Verification of Shape and Size Properties
Nguyen Huu Hai (Singapore-MIT Alliance)
Cristina David (National University of Singapore)
Shengchao Qin (Durham University)
Wei-Ngan Chin (Singapore-MIT Alliance / National University of Singapore)

A Polymorphic Modal Type System
Hyeonseung Im (Pohang University of Science and Technology)

Fail-Safe C: the solution for preventing security holes in C programs
Yutaka OIWA (National Institute of Advanced Industrial Science and Technology)

The Fail-Safe C to Java translator
Yuki Kamijima (Tohoku University)

A Pattern Enforcing Compiler (PEC) for Java: Design Pattern Annotations
Howard C Lovatt (Macquarie University)
Anthony M Sloane (Macquarie University)
Dominic R Verity (Macquarie University)
Heinz M Kabutz (Maximum Solutions)

Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
Kohei Suenaga (University of Tokyo)
Naoki Kobayashi (Tohoku University)