Page Information

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

10am-4pm, November 11, 2006
Level 1 Seminar Room, Building K17, University of New South Wales

See the attachments on this page for the abstracts and talk slides.

10:00-10:05 Welcome and Introduction

10:05-10:25

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

10:25-10:45

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

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"

11:20-11:40

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

11:40-12:00

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

12:00-1:30 Lunch

1:30-1:50

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

1:50-2:10

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

2:10-2:30

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

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"

3:05-3:25

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

3:25-3:45

  • Matt Roberts, Macquarie University
    "Implementing the Pure Pattern Calculus"

3:45-4:00 Closing

This wiki team is being migrated off the wiki platform. You can find the SAPLING pages on the new site.