SAPLING 2014
November 24, 2014
Oracle Labs, Australia (Brisbane)
Program
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.
|