Page Information

Versions Compared


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

November 20, 2015

The University of Sydney

Important Dates

  • Abstract submission deadline: October 16, 2015
  • Travel application submission deadline: October 16, 2015
  • Notification: October 23, 2015
  • Meeting: November 20, 2015

Local Arrangements

The University of Sydney will provide morning/afternoon tea and coffee during the day. Attendees are responsible for their own lunch.

SIT Lecture Theatre (Room 123)
Building J12
The University of Sydney


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

09:25 Welcome

09:30-10:50 Session 1

Nicholas Hollingum, University of Sydney, Towards a Scalable Framework for Context-Free Language Reachability

Gary Miller, UTS, The Prospects for Programming-Experience Design: On the Beauty of Language

Scott Buckley, Macquarie, Web browsers as compilers

Pongsak Suvanpong and Anthony Sloane, Macquarie, Evaluating Kiama Abstract State Machines for a Java Implementation

10:50-11:10 Break

11:10-12:30 Session 2

Raghavendra K. R., Oracle Labs Brisbane, Issues in applying points-to analysis for large-scale Java library codebases

James Noble, VUW, Delegation isn’t quite Inheritance: Objects, Classes and Initialisation in Grace

Kunshan Wang, ANU, Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development

John Zhang, ANU, MuPy: A First Language Client for Mu Micro Virtual Machine

12:30-14:00 Lunch

14:00-15:20 Session 3

G. Gange et al., Melbourne, Program analysis and machine arithmetic

Pavle Subotic, UCL, Horn Clauses for Communicating Timed Systems

David J. Pearce, VUW, Can we Verify C with Whiley?

Yutaka Nagashima, NICTA, Try hard! Proof automation, efficient-proof-script reconstruction, and proof-planning in Isabelle using monads

15:20-15:40 Break

15:40-17:00 Session 4

Francois Gauthier, Oracle Labs Brisbane, Static taint analysis of web applications: Haven't we solved this problem yet?

Amos Robinson, Ambiata, Icicle: Write Once, Run Once

Hayes et al., Queensland, Understanding Concurrent Programs using Rely-Guarantee Thinking

Yi Lu, Paddy Krishnan, Raghavendra K. R., Oracle Labs, Brisbane, From Access Control to Information Flow: Security Model and Static Analysis for Detecting Java Security Vulnerabilities

17:00 Wrap up

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