SAPLING 2010

9:25-16:45, November 19, 2010

Seminar Room (#113), Level 1, Building K17

University of New South Wales

Program

9:25-9:30 Welcome and Introduction

9:30-10:00

Ben Lippmeier, University of New South Wales, Head Lazy, but Shapely, and Deeply Mutable abstract slides

10:00-10:30

S. M. Farhad and Bernhard Scholz, University of Sydney, Minimizing stream communication via graph transformation abstract slides

10:30-11:00 Break

11:00-11:30

Surinder Jain, University of Sydney, Detecting buffer overflows for C like programs using CLP abstract slides

11:30-12:30

Dominic R Verity, Macquarie University, Monads, Arrows, Traces and other Categorical Amusements (Tutorial) abstract

12:30-14:00 Lunch

14:00-14:30

Matthew Roberts, Macquarie University, Typed lisp-like operations for generic programming abstract slides

14:30-15:00

Jose Alberto Vergara Medina, University of Technology, Sydney, Type inference with constraints for the Static Pattern Calculus abstract slides

15:00-15:30 Break

15:30-16:00

Trevor L. McDonell, University of New South Wales, Programming Multicore GPUs in Haskell abstract slides

16:00-16:30

Vitaly Nikolyenko, University of Sydney, Synthesis of Software Kernels in Hardware abstract slides

16:30-16:45 Conclusion and Wrap-up