Page Information

Versions Compared

Key

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

9:30-17:00, November 18, 2011
Room CB10.04.460, Building 10
University of Technology, Sydney

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

Program

9:30-9:35 Welcome and Introduction

9:35-10:30 Keynote: Professor Peter Thiemann, University of Freiburg, Germany
Access Permission Contracts for Scripting Languages

10:30-11:00 Break

11:00-12:30

  • Pavle Subotic, University of Sydney
    Elimination-Based Data Flow Analysis for Variable Ranges
  • Gary Miller, Sumwise.com
    Closing trapdoors, taking the meta out of the menu, and dynamic nodes
  • Rifat Shahriyar, Australian National University
    Back to Basics: Achieving High Performance Garbage Collectors by Improving Reference Counting

12:30-14:00 Lunch

14:00-15:30

  • Timothy Bourke, INRIA Paris-Rocquencourt
    Programming hybrid systems with synchronous languages
  • S. M. Farhad, University of Sydney
    How to Measure Communication Cost in Stream Programs
  • Yi Lin, Australian National University
    Untie the twisted: VM/application isolation in metacircular VMs

15:30-16:00 Break

16:00-17:00

  • Thomas Martin Gawlitza, University of Sydney
    Static Analysis through Abstract Interpretation, Convex Optimization, and Strategy Iteration
  • Vasvi Kakkad, University of Sydney
    Cascade: Stream Based Query Language for Wireless Sensor Networks

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