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
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 |