November 24, 2014

Oracle Labs, Australia (Brisbane)


Talk slots are twenty minutes plus five minutes for questions.

10:00 Welcome

10:05-11:20 Session 1

David J. Pearce, Lindsay Groves, VUW, Reflecting on the Design of the Whiley Programming Language abstract slides

Najwani Razali, James Noble, Stuart Marshall, VUW, Operators and operator precedence in programming language design abstract slides

Min-Hsien Weng, Mark Utting, Bernhard Pfahringer, Waikato, Bound Analysis for Whiley Programs abstract slides

11:20-11:40 Break

11:40-12:30 Session 2

Lian Li, Andrew Santosa, Oracle Labs Australia, Dynamic Symbolic Execution for Object-Oriented Libraries abstract slides

Vincent Gramoli and Andrew E. Santosa, University of Sydney and Oracle Labs Australia, A Conclusion to Inheritance Anomaly abstract slides

12:30-14:00 Lunch

14:00-15:15 Session 3

Rob Everest, UNSW, Streams and nested parallelism in Accelerate abstract slides

Matthew Roberts, Macquarie, Type Indexed Functions and Parametricity abstract slides

Amos Robinson, UNSW, Fusing Filters with Integer Linear Programming abstract slides

15:15-15:45 Break

15:45-17:00 Session 4

Jens Troeger and Chenyi Zhang, Oracle Labs Australia, A Hybrid Approach to Memory Safety of C Programs abstract slides

Nicholas Allen, Bernhard Scholz and Padmanabhan Krishnan, Oracle Labs Australia, Staged Points-To Analysis for Large Code Bases abstract slides

Ian J. Hayes, Daniel Wainwright, Kirsten Winter, Chenyi Zhang, UQ, May-Happen-in-Parallel Analysis for C Programs abstract slides

17:00 Wrap up, followed by drinks and nibbles.