SAPLING 2009

9:30am-16:30pm, October 2, 2009

School of IT Lecture Theatre, School of Information Technology, University of Sydney

Program

9:30 Welcome and Introduction

9:30-10:10

Yi Lu and John Potter, University of New South Wales, Ownership Types After Ten Years abstract slides

10:10-10:30

Manuel Chakravarty, University of New South Wales, Accelerated Array Computations in Haskell abstract slides

10:30-10:50

Raymes Khoury, Bernhard Scholz and Bernd Burgstaller, University of Sydney, Accelerating the Execution of Matrix Languages with the Cell Broadband Engine Architecture abstract slides

10:50-11:20 Break

11:20-11:40

Barry Jay and Thomas Given-Wilson, University of Technology, Sydney, A Combinatory Account of Internal Structure abstract slides

11:40-12:00

Tony Sloane, Macquarie University, Lightweight domain-specific language processing in Kiama abstract slides

12:00-12:30 Break

12:30-12:50

Open Slot

12:50-13:10

Trevor McDonell, University of New South Wales, Accelerated protein matching using modern graphics processing units abstract slides

13:10-14:30 Lunch

14:30-14:50

Sardar Mohammad Farhad, University of Sydney, Static Translation of Stream Programs abstract slides

14:50-15:10

Roman Leshchinskiy, University of New South Wales, Generics in Data Parallel Haskell abstract slides

15:10-15:40 Break

15:40-16:00

Ben Lippmeier, Australian National University, Witnessing Purity, Constancy and Mutability abstract slides

16:00-16:20

Surinder Jain, University of Sydney, Symbolic Analysis for Buffer Overflow abstract slides

16:20-16:30 Conclusion