You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 14 Next »

December 6, 2018 (as part APLAS week 2018)

School of Engineering and Computer Science (SECS) at Victoria University of Wellington

Victoria University of Wellington, New Zealand



Important Dates

  • Abstract and funding submission deadline: October 1, 2018
  • Notification: should be before October 12, 2018
  • Meeting: December 6, 2018


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 

A limited amount of travel support is available for students, thanks to financial support from Oracle Labs, Australia. Students requesting travel support must submit a brief justification to Tony Sloane (Anthony.Sloane AT ).

Travel support will only be available for students from Australia and New Zealand. Funds are limited and we will give priority to students likely to benefit most from attending the meeting, i.e. students whose  is most aligned with the topic. Support will not exceed the cheapest airfare or train fare from the nearest major airport/train station to Wellington.

Other Funding 

A limited number of APLAS registration grants, accommodation grants and volunteering positions may be available to SAPLING student speakers. Please indicate clearly in your submission if you would like to be considered for one of these.

Local Arrangements

Please see the APLAS 2018 venue information.

Program (actual times to follow)


On the Architecture of a (Verifying) Compiler, David Pearce (Victoria University of Wellington)

The DaCapo Benchmark Suite: A Methodological, Engineering, and Social Journey, Steve Blackburn (Australian National University)


Practical Field-remembering Write Barriers, Steve Blackburn (Australian National University)

Portable Memory Management Toolkit in Rust, Zixian Cai, Brenda Wang and Pavel Zakopaylo (Australian National University)

Construction of Binary Control Flow Graphs Using Trace Abstraction Refinement, Dominik Klumpe and Franck Cassez (Macquarie University)

Use of LINQ queries in C#, James M. Greenwood-Thessman, Michael Homer and James Noble (Victoria University of Wellington)

What Programming Languages Do Developers Use? A Theory of Static vs Dynamic Language Choice, Aaron Pang, Craig Anslow and James Noble (Victoria University of Wellington)

Using Program Analysis for Detecting Denial of Service (DoS) Vulnerabilities in Java Code, Shawn Rasheed (Massey University) and Jens Dietrich (Victoria University of Wellington)

Nested Trait Composition for Modular Software Development, Marco Servetto (Victoria University of Wellington)

The Bounded Lattice Type System, Robert Smart

Understanding & Analysing the G1 Family of Garbage Collectors, Wenyu Zhao (Australian National University)

  • No labels