9:30-17:00, November 18, 2011

Room CB10.04.460, Building 10

University of Technology, Sydney


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 abstract slides

10:30-11:00 Break


Pavle Subotic, University of Sydney, Elimination-Based Data Flow Analysis for Variable Ranges abstract slides

Gary Miller,, Closing trapdoors, taking the meta out of the menu, and dynamic nodes abstract slides

Rifat Shahriyar, Australian National University, Back to Basics: Achieving High Performance Garbage Collectors by Improving Reference Counting abstract

12:30-14:00 Lunch


Timothy Bourke, INRIA Paris-Rocquencourt, Programming hybrid systems with synchronous languages abstract slides

S. M. Farhad, University of Sydney, How to Measure Communication Cost in Stream Programs abstract slides

Yi Lin, Australian National University, Untie the twisted: VM/application isolation in metacircular VMs abstract slides

15:30-16:00 Break


Thomas Martin Gawlitza, University of Sydney, Static Analysis through Abstract Interpretation, Convex Optimization, and Strategy Iteration abstract

Vasvi Kakkad, University of Sydney, Cascade: Stream Based Query Language for Wireless Sensor Networks abstract