Page Information

Versions Compared


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

November 24, 2014

Oracle Labs, Australia


Important Dates

  • Abstract submission deadline: October 13, 2014
  • Travel application submission deadline: October 13, 2014
  • Notification: October 20, 2014
  • Meeting: November 24, 2014

Local Arrangements

Oracle Labs, Australia will provide morning/afternoon teas during the day and drinks & nibbles after the sessions. Attendees are responsible for their own lunch.


Oracle Labs, Australia  is located at Level 14, 300 Ann St, Brisbane QLD 4000. See Visitor Information on the Oracle Labs site for more detailed directions.


Talk slots are twenty minutes plus five minutes for questions. See the attachments on this page for the abstracts from the meeting.

10:00 Welcome

10:05-11:20 Session 1

David J. Pearce, Lindsay Groves, VUW, Reflecting on the Design of the Whiley Programming Language
Najwani Razali, James Noble, Stuart Marshall, VUW, Operators and operator precedence in programming language design
Min-Hsien Weng, Mark Utting, Bernhard Pfahringer, Waikato, Bound Analysis for Whiley Programs

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
Vincent Gramoli and Andrew E. Santosa, University of Sydney and Oracle Labs Australia, A Conclusion to Inheritance Anomaly

12:30-14:00 Lunch

14:00-15:15 Session 3

Rob Everest, UNSW, Streams and nested parallelism in Accelerate
Matthew Roberts, Macquarie, Type Indexed Functions and Parametricity
Amos Robinson, UNSW, Fusing Filters with Integer Linear Programming

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
Nicholas Allen, Bernhard Scholz and Padmanabhan Krishnan, Oracle Labs Australia, Staged Points-To Analysis for Large Code Bases
Ian J. Hayes, Daniel Wainwright, Kirsten Winter, Chenyi Zhang, UQ, May-Happen-in-Parallel Analysis for C Programs

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

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