November 20, 2017

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

Macquarie University, Sydney




Talk slots are 20 minutes including questions, except for the Mu Micro Virtual Machine slot which is 45 minutes. 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) abstract slides

09:50 Wyvern - Security by Design - Alex Potanin (Victoria University of Wellington), Jonathan Aldrich (Carnegie Mellon University) abstract slides

10:10 Type-Based Capability for Java - Xi Wu, Yi Lu, Ian J. Hayes, Larissa A. Meinicke (University of Queensland; Oracle Labs, Australia) abstract slides

10:30 Making aliasing safe again: An exploratory comparison of linear types and deny-capabilities - Chris Hall (University of New South Wales) abstract slides

10:50-11:15 Break

11:15 Secure Contracts - David Poxon (Queensland University of Technology) abstract slides

11:35 A Scalable Bug Checking Framework for Smart Contracts - Michael Kong, Lexi Brent, Anton Jurisevic, Bernhard Scholz (University of Sydney) abstract slides

11:55 Soufflé in the Cloud - Lyndon Henry (University of Sydney) abstract slides

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) Cai abstract Cai slides Gariano abstract Zakopaylo abstract Zakopaylo slides

13:00-14:00 Lunch

14:00 The Skink Static Analysis Tool - Franck Cassez, Anthony Sloane, Matthew Roberts, Pongsak SuvanPong (Macquarie University) abstract slides

14:20 Skink Refinement Loop with Predicate Abstraction - Pongsak Suvanpong (Macquarie University) abstract slides

14:40 Fast Provenance in a Bottom-Up Evaluation - David Zhao, Bernhard Scholz, Paul Subotic (University of Sydney) abstract slides

15:00 Points-to Analysis as Constraint Solving - Patrick Nappa, Bernhard Scholz, Jens Dietrich (University of Sydney) abstract slides

15:20-15:45 Break

15:45 Efficient parallel stencil computations in Accelerate - Josh Meredith (University of New South Wales) abstract slides

16:05 Shimmer: the reflective lambda machine - Ben Lippmeier (University of New South Wales) abstract

16:25 Model Transformations applied to Process Calculi - Djurre van der Wal (University of Twente) abstract slides

16:45 Close