November 24, 2014
Oracle Labs, Australia
- Abstract submission deadline: October 13, 2014
- Travel application submission deadline: October 13, 2014
- Notification: October 20, 2014
- Meeting: November 24, 2014
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: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: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
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: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.