SAPLING 2019

November 15, 2019

SIT Lecture Theatre 123, School of Information Technologies Building (J12), University of Sydney

Sponsors

Oracle

Program

9:20Welcome
9:30A Data Layout Description Language for Cogent, Christine Rizkallah (University of New South Wales)
10:00Flogent: Information Flow Security for Cogent, Vivian Dang (University of New South Wales) slides
10:30Break
11:00Combining Testing With Formal Verification in Cogent, Zilin Chen (CSIRO Data61, University of New South Wales)
11:30Logic with Performance: The Hybrid Approach, Lyndon Henry (University of Sydney)
12:00Experiments with String Analysis, Kostyantyn Vorobyov, Yang Zhao, Raghavendra Ramesh, Padmanabhan Krishnan (Oracle Labs Australia) slides
12:30Lunch
14:00Decidable Subtyping for Path Dependent Types, Julian Mackay, Alex Potanin, and Lindsay Groves (Victoria University of Wellington), Jonathan Aldrich (Carnegie Mellon University)
14:30Extending Moth to Support Types as Objects, Erin Greenwood-Thessman, Michael Homer, James Noble (Victoria University of Wellington) slides
15:00Affogato: Runtime Detection of Injection Attacks for Node.js, Sora Bae, François Gauthier, Behnaz Hassanshahi, Alexander Jordan (Oracle Labs Australia) slides
15:30Break
16:00Met-Rec: A Type-System for Staged Meta-Programming of Recursive Types, Isaac Oscar Gariano​ (Victoria University of Wellington)
16:30Incremental Datalog Prototype in Souffle, David Zhao, Pavle Subotic, Bernhard Scholz (University of Sydney) slides
17:00Close