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 |