10:00-17:00, November 21, 2016

Engineering Theatre, Building 32 (Engineering), Australian National University, Canberra


Talk slots are twenty-five minutes including questions, except for the invited talk. See the attachments on this page for the abstracts and slides from the meeting.

10:00-10:05 Welcome

10:05-10:45 Invited talk: Tony Hosking (ANU), Keith Chapman (Purdue), Eliot Moss (UMass): Hybrid STM/HTM for Nested Transactions on OpenJDK abstract slides

10:45-11:15 Break

11:15-11:40 Mark Utting (Sunshine Coast): Verifying Whiley Programs with Boogie abstract slides

11:40-12:05 Min-Hsien Weng, Bernhard Pfahringer, Mark Utting (Waikato): Memory Optimization for C implementations of Whiley abstract slides

12:05-12:30 Pongsak Suvanpong, Anthony Sloane, Franck Cassez (Macquarie): Applying Predicates Abstraction on Trace Abstraction Refinement abstract

12:30-14:00 Lunch

14:00-14:25 Clint Jeffery (Idaho): Recent Developments in Unicon abstract slides

14:25-14:50 Yi Lu, Paddy Krishnan and Raghavendra K. R. (Oracle Labs, Australia): On Dynamic Analysis for Information-Flow Security in Object-Oriented Programs. abstract

14:50:15:15 Alexander Jordan (Oracle Labs, Australia), Roberto Amadini (Melbourne): Real-world Challenges for JavaScript Analysis: Efficient String Domains and Beyond abstract slides

15:15-15:45 Break

15:45-16:10 Matthew Roberts, Anthony Sloane, Franck Cassez (Macquarie): (SL)Engineering a Static Analyser abstract

16:10-16:35 Behnaz Hassanshahi (Oracle Labs, Australia): A Study on Dynamic Analysis and Penetration Testing Tools for Web Applications abstract slides

16:35-17:00 Stepan Sindelar, Paddy Krishnan, Bernhard Scholz, K. R. Raghavendra and Yi Lu (Oracle Labs Australia): Scalable Provenance Generation from Flow-Insensitive Points-To Information abstract slides

17:00 Wrap up