SAPLING 2016
November 21, 2016
Engineering Theatre, Building 32 (Engineering), Australian National University, Canberra
Program
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 |