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