SAPLING 2006

10am-4pm, November 11, 2006

Level 1 Seminar Room, Building K17, University of New South Wales

Program

10:00-10:05 Welcome and Introduction

10:05-10:25

Ben Lippmeier, Australian National University, "Type Inference and Optimisation for an Impure World" abstract slides

10:25-10:45

Roman Leshchinskiy, University of New South Wales, Data Parallel Haskell abstract

10:45-11:00 Morning Tea

11:00-11:20

Howard Lovatt, Macquarie University, "A Pattern Enforcing Compiler (PEC) for Java: Use cases for Multiple Dispatch" abstract slides

11:20-11:40

Bernhard Scholz, University of Sydney, A new Elimination Framework using Annotated Decomposition Trees abstract

11:40-12:00

Don Stewart, University of New South Wales, "Rewriting Haskell Strings" abstract slides

12:00-1:30 Lunch

1:30-1:50

Simon Winwood, University of New South Wales, "Reference monitors for proof-carrying code" abstract slides

1:50-2:10

Shirley Goldrei, Macquarie University, "Towards improved abstractions for programming language processor specification" abstract slides

2:10-2:30

Sarah Webster, University of New South Wales, "Increased data distribution awareness within a compiler" abstract slides

2:30-2:45 Afternoon Tea

2:45-3:05

Young Sung (Sean) Lee, University of New South Wales, "High-Performance Computing by Advanced Stream Processing using GPUs" abstract slides

3:05-3:25

Bernd Burgstaller, University of Sydney, "Minimizing Bank Selection Instructions for Partitioned Memory Architectures" abstract slides

3:25-3:45

Matt Roberts, Macquarie University, "Implementing the Pure Pattern Calculus" abstract slides

3:45-4:00 Closing