SAPLING 2007.1

10am-4:30pm, June 12, 2007

Room T5, Building E7B, Macquarie University

Program

10:00-10:05 Welcome and Introduction

10:05-10:25

Don Stewart, University of New South Wales, "Stream Fusion: From Lists to Streams to Nothing at All" abstract slides

10:25-10:45

Len Hamey, Macquarie University, "Implementing a DSL with Stratego" abstract slides

10:45-11:05

Barry Jay, University of Technology, Sydney, "Generic programming with XML" abstract slides

11:05-11:30 Morning Tea

11:30-11:50

Lachlan Patrick, "Optimising Virtual Machines" abstract slides

11:50-12:10

Gabriele Keller, University of New South Wales, "Generative Code Specialisation for High-Performance Monte-Carlo Simulations" abstract

12:10-12:30

Thomas Given-Wilson, University of Technology, Sydney, "Pure Bondi with datatypes and patterns" abstract slides

12:30-2:00 Lunch

2:00-2:20

Manuel Chakravarty, University of New South Wales, "Type Families in Haskell" abstract slides

2:20-2:40

Sean Seefried, NICTA, "Solving the expression problem in Haskell" abstract slides

2:40-3:00

Sean Lee, University of New South Wales, "Vector Primitive Operations on GPUs using CUDA" abstract

3:00-3:15 Afternoon Tea

3:15-3:35

Ben Lippmeier, Australian National University, "Graph based Type, Region, Effect, Closure, Mutability, Purity and Escape inference - OR - Drowning in Kinds" abstract slides

3:35-3:55

Shirley Goldrei, Macquarie University, "The Correspondence Between Attribute Grammars and Term Rewriting" abstract slides

3:55-4:15 Discussion and Closing