The Macquarie University Programming Languages Reading Group is a collection of faculty, students and researchers in the Department of Computing at Macquarie University who are interested in learning more about programming language design and implementation. Attendees from outside Macquarie are also welcome.
We read papers and articles on programming language topics and discuss them at (mostly) weekly meetings. Topics are chosen according to the interests of the participants. Occasionally, we have seminars from visitors or students presenting their current work or watch videos on programming language topics.
We meet on Fridays from 4-6pm in E6A357 except when there is a Friday afternoon seminar and social event in the department. For directions to the Macquarie campus, see here.
Announcements about reading group meetings are sent to the whole Department of Computing, but we also maintain a mailing list for regular participants and for participants who are not in the department. The mailing list receives announcements and special mailings not of general interest. Anyone can ask to be subscribed to the list. Alternatively, you can receive announcements by subscribing to the RSS feed of the Latest Space News for the Programming Languages Research Group (PLRG) via the sidebar to the left of this page.
Current Topic: The Skink Program Verification Tool
On November 10 Franck Cassez and Pongsak Suvanpong will present practice talks for the upcoming SAPLING workshop. Franck will talk about the Skink verification tool being developed by himself, Tony Sloane, Matt Roberts and Pongsak in the Programming Languages and Verification group at Macquarie, focusing on the methods used by the tool and its capabilities. Pongsak will present preliminary results from his work to extend the verification method used by Skink to infer invariants for loops.
Some ideas are here: PL Reading Group Topic List