Page Information

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

November 20, 2015

The University of Sydney

Important Dates

  • Abstract submission deadline: October 16, 2015
  • Travel application submission deadline: October 16, 2015
  • Notification: October 23, 2015
  • Meeting: November 20, 2015

Local Arrangements

The University of Sydney will provide morning/afternoon tea and coffee during the day. Attendees are responsible for their own lunch.

SIT Lecture Theatre (Room 123)
Building J12
The University of Sydney

http://sydney.edu.au/engineering/it/about/directions.shtml

Program

Talk slots are twenty minutes including questions. See the attachments on this page for the abstracts from the meeting.

09:25 Welcome

09:30-10:50 Session 1

Nicholas Hollingum, University of Sydney, Towards a Scalable Framework for Context-Free Language Reachability

Gary Miller, UTS, The Prospects for Programming-Experience Design: On the Beauty of Language

Scott Buckley, Macquarie, Web browsers as compilers

Pongsak Suvanpong and Anthony Sloane, Macquarie, Evaluating Kiama Abstract State Machines for a Java Implementation

10:50-11:10 Break

11:10-12:30 Session 2

Raghavendra K. R., Oracle Labs Brisbane, Issues in applying points-to analysis for large-scale Java library codebases

James Noble, VUW, Delegation isn’t quite Inheritance: Objects, Classes and Initialisation in Grace

Kunshan Wang, ANU, Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development

John Zhang, ANU, MuPy: A First Language Client for Mu Micro Virtual Machine

12:30-14:00 Lunch

14:00-15:20 Session 3

G. Gange et al., Melbourne, Program analysis and machine arithmetic

Pavle Subotic, UCL, Horn Clauses for Communicating Timed Systems

David J. Pearce, VUW, Can we Verify C with Whiley?

Yutaka Nagashima, NICTA, Try hard! Proof automation, efficient-proof-script reconstruction, and proof-planning in Isabelle using monads

15:20-15:40 Break

15:40-17:00 Session 4

Francois Gauthier, Oracle Labs Brisbane, Static taint analysis of web applications: Haven't we solved this problem yet?

Amos Robinson, Ambiata, Icicle: Write Once, Run Once

Hayes et al., Queensland, Understanding Concurrent Programs using Rely-Guarantee Thinking

Yi Lu, Paddy Krishnan, Raghavendra K. R., Oracle Labs, Brisbane, From Access Control to Information Flow: Security Model and Static Analysis for Detecting Java Security Vulnerabilities

17:00 Wrap up

This wiki team is being migrated off the wiki platform. You can find the SAPLING pages on the new site.