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 |