SAPLING 2017
November 20, 2017
W2.4A 2.300 Active Learning Space (in 21 Wally's Walk aka Macquarie Theatre building)
Macquarie University, Sydney
Sponsors
Program
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 |