Page Information

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

9:25-16:45, November 19, 2010
Seminar Room (#113), Level 1, Building K17
University of New South Wales

See the attachments on this page for the abstracts and talk slides.

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

10:00-10:30

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

10:30-11:00 Break

11:00-11:30

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

11:30-12:30

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

12:30-14:00 Lunch

14:00-14:30

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

14:30-15:00

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

15:00-15:30 Break

15:30-16:00

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

16:00-16:30

  • Vitaly Nikolyenko, University of Sydney
    Synthesis of Software Kernels in Hardware

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

This wiki team is being migrated off the wiki platform. You can find the SAPLING pages on the new site.