Page Information

Versions Compared


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

November 20, 2017

W2.4A 2.300 Active Learning Space (in 21 Wally's Walk aka Macquarie Theatre building)

Macquarie University, Sydney


Image Removed

Important Dates

  • Abstract submission deadline: October 18, 2017
  • Travel application submission deadline: October 18, 2017
  • Notification: October 23, 2017
  • Meeting: November 20, 2017


Submissions for talks should be in the form of an abstract no longer than one A4 page in plain text, PostScript or PDF format. The abstract should be emailed to Tony Sloane (Anthony.Sloane AT

Travel Funding 


Local Arrangements

Participants are responsible for their own lunch which we usually get as a group from food outlets nearby. Snacks, tea and coffee will be available throughout the day either at the venue or at nearby coffee places.


Please see these general directions for getting to Macquarie University campus. Campus maps can be found on Google Maps or here. Building W2.4A (also known as 21 Wally's Walk and the Macquarie Theatre) is in the middle of campus about a 10-15 minute walk from the train station or shopping centre. Room 2.300 is a room on the second floor of the north side of the building.


There is a Travelodge Hotel on Macquarie University campus. Other hotels in the Macquarie Park area are within walking distance of campus. Also, some of the residential colleges sometimes have rooms but these may be hard to come by during semester and exam period (this SAPLING is in the middle of exam period): Dunmore Lang College and Robert Menzies College.


Talk slots are 20 minutes including questions, except for the Mu Micro Virtual Machine slot which is 45 minutes. See the attachments on this page for the abstracts from the meeting. Details about facilities available in the room can be found on the MQ timetables site.

09:30 Welcome

09:30 It's Time for Secure Languages - Cristina Cifuentes (Oracle Labs, Australia)
09:50 Wyvern - Security by Design - Alex Potanin (Victoria University of Wellington), Jonathan Aldrich (Carnegie Mellon University)
10:10 Type-Based Capability for Java - Xi Wu, Yi Lu, Ian J. Hayes, Larissa A. Meinicke (University of Queensland; Oracle Labs, Australia)
10:30 Making aliasing safe again: An exploratory comparison of linear types and deny-capabilities - Chris Hall (University of New South Wales)

10:50-11:15 Break

11:15 Secure Contracts - David Poxon (Queensland University of Technology)
11:35 A Scalable Bug Checking Framework for Smart Contracts - Michael Kong, Lexi Brent, Anton Jurisevic, Bernhard Scholz (University of Sydney)
11:55 Soufflé in the Cloud - Lyndon Henry (University of Sydney)
12:15 The Mu Micro Virtual Machine - Steve Blackburn. Implementing an Efficient Micro Virtual Machine - Isaac Oscar Gariano. Mu for Dynamic Languages: Retargeting the RPython JIT to a Micro Virtual Machine - Zixian Cai. Mu for Functional Languages: Retargeting the GHC Backend to a Micro Virtual Machine - Pavel Zakopaylo (Australian National University)

13:00-14:00 Lunch

14:00 The Skink Static Analysis Tool - Franck Cassez, Anthony Sloane, Matthew Roberts, Pongsak SuvanPong (Macquarie University)
14:20 Skink Refinement Loop with Predicate Abstraction - Pongsak Suvanpong (Macquarie University)
14:40 Fast Provenance in a Bottom-Up Evaluation - David Zhao, Bernhard Scholz, Paul Subotic (University of Sydney)
15:00 Points-to Analysis as Constraint Solving - Patrick Nappa, Bernhard Scholz, Jens Dietrich (University of Sydney)

15:20-15:45 Break

15:45 Efficient parallel stencil computations in Accelerate - Josh Meredith (University of New South Wales)
16:05 Shimmer: the reflective lambda machine - Ben Lippmeier (University of New South Wales)
16:25 Model Transformations applied to Process Calculi - Djurre van der Wal (University of Twente)

16:45 Close


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