SAPLING 2011
9:30-17:00, November 18, 2011
Room CB10.04.460, Building 10
University of Technology, Sydney
Program
| 09:30-09:35 | Welcome and Introduction |
| 09:35-10:30 | Keynote: Professor Peter Thiemann, University of Freiburg, Germany, Access Permission Contracts for Scripting Languages abstract slides
|
| 10:30-11:00 | Break
|
| 11:00-12:30 |
|
Pavle Subotic, University of Sydney, Elimination-Based Data Flow Analysis for Variable Ranges abstract slides
| |
Gary Miller, Sumwise.com, 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
|
| 14:00-15:30 |
|
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
|
| 16:00-17:00 |
|
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
|
|
