SAPLING 2006

10am-4pm, November 11, 2006

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

Program

10:00-10:05Welcome and Introduction
10:05-10:25Ben Lippmeier, Australian National University, "Type Inference and Optimisation for an Impure World" abstract slides
10:25-10:45Roman Leshchinskiy, University of New South Wales, Data Parallel Haskell abstract
10:45-11:00Morning Tea
11:00-11:20Howard Lovatt, Macquarie University, "A Pattern Enforcing Compiler (PEC) for Java: Use cases for Multiple Dispatch" abstract slides
11:20-11:40Bernhard Scholz, University of Sydney, A new Elimination Framework using Annotated Decomposition Trees abstract
11:40-12:00Don Stewart, University of New South Wales, "Rewriting Haskell Strings" abstract slides
12:00-1:30Lunch
1:30-1:50Simon Winwood, University of New South Wales, "Reference monitors for proof-carrying code" abstract slides
1:50-2:10Shirley Goldrei, Macquarie University, "Towards improved abstractions for programming language processor specification" abstract slides
2:10-2:30Sarah Webster, University of New South Wales, "Increased data distribution awareness within a compiler" abstract slides
2:30-2:45Afternoon Tea
2:45-3:05Young Sung (Sean) Lee, University of New South Wales, "High-Performance Computing by Advanced Stream Processing using GPUs" abstract slides
3:05-3:25Bernd Burgstaller, University of Sydney, "Minimizing Bank Selection Instructions for Partitioned Memory Architectures" abstract slides
3:25-3:45Matt Roberts, Macquarie University, "Implementing the Pure Pattern Calculus" abstract slides
3:45-4:00Closing