SAPLING 2007A

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

Room T5, Building E7B, Macquarie University

Program

10:00-10:05Welcome and Introduction
10:05-10:25Don Stewart, University of New South Wales, "Stream Fusion: From Lists to Streams to Nothing at All" abstract slides
10:25-10:45Len Hamey, Macquarie University, "Implementing a DSL with Stratego" abstract slides
10:45-11:05Barry Jay, University of Technology, Sydney, "Generic programming with XML" abstract slides
11:05-11:30Morning Tea
11:30-11:50Lachlan Patrick, "Optimising Virtual Machines" abstract slides
11:50-12:10Gabriele Keller, University of New South Wales, "Generative Code Specialisation for High-Performance Monte-Carlo Simulations" abstract
12:10-12:30Thomas Given-Wilson, University of Technology, Sydney, "Pure Bondi with datatypes and patterns" abstract slides
12:30-2:00Lunch
2:00-2:20Manuel Chakravarty, University of New South Wales, "Type Families in Haskell" abstract slides
2:20-2:40Sean Seefried, NICTA, "Solving the expression problem in Haskell" abstract slides
2:40-3:00Sean Lee, University of New South Wales, "Vector Primitive Operations on GPUs using CUDA" abstract
3:00-3:15Afternoon Tea
3:15-3:35Ben Lippmeier, Australian National University, "Graph based Type, Region, Effect, Closure, Mutability, Purity and Escape inference - OR - Drowning in Kinds" abstract slides
3:35-3:55Shirley Goldrei, Macquarie University, "The Correspondence Between Attribute Grammars and Term Rewriting" abstract slides
3:55-4:15Discussion and Closing