SAPLING 2014

November 24, 2014

Oracle Labs, Australia (Brisbane)

Program

Talk slots are twenty minutes plus five minutes for questions.
10:00Welcome
10:05-11:20Session 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:40Break
11:40-12:30Session 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:00Lunch
14:00-15:15Session 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:45Break
15:45-17:00Session 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:00Wrap up, followed by drinks and nibbles.