SAPLING 2018

December 6, 2018 (as part APLAS week 2018)

School of Engineering and Computer Science at Victoria University of Wellington

Victoria University of Wellington, New Zealand

Sponsors

Oracle Australian National University

Program

8:50 Welcome

9:00 Portable Memory Management Toolkit in Rust, Zixian Cai, Brenda Wang, Pavel Zakopaylo (Australian National University) abstract

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

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

10:30 Morning tea/coffee

11:00 (Keynote) On the Architecture of a (Verifying) Compiler, David Pearce (Victoria University of Wellington) abstract slides

12:00 Lunch

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

14:30 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) abstract slides

15:00 Afternoon Tea/Coffee

15:30 Construction of Control Flow Graphs for Binary Programs, Dominik Klumpp (University of Augsburg, the Technical University Munich and the Ludwig-Maximilians-University Munich), Franck Cassez (Macquarie University) abstract

16:00 Use of LINQ queries in C#, Erin Greenwood-Thessman, Michael Homer and James Noble (Victoria University of Wellington) abstract

16:30 The Bounded Lattice Type System, Robert Smart abstract slides

17:00 Nested Trait Composition for Modular Software Development, Marco Servetto (Victoria University of Wellington) abstract slides

17:30 Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages, Luís Eduardo de Souza Amorim (TU Delft) abstract

18:00 Closing