Programming Languages Research Group

Meetings

We meet weekly on Friday (1200-1300) in CO255 and discuss Programming Languages research. DavidPearce is the contact person.

Mailing List

Subscribe to the PL Group mailing list for meeting times and info: http://ecs.victoria.ac.nz/mailman/listinfo.cgi/pl-group

People

• LindsayGroves
• MichaelHomer
• TimothyJones
• AhmedKhalifa
• RomanKlapaukh
• ThomasKuehne
• JanLarres
• PaleyLi
• StephenNelson
• JamesNoble
• DavidPearce
• AlexPotanin
• ArthurProtin
• MarcoServetto

Schedule

31/05/2013 - The Billion-Dollar Fix: Safe Modular Circular Initialisation with Placeholders and Placeholder Types Marco Servetto, Julian Mackay, Alex Potanin, James Noble

24/05/2013 - It's Alive! Continuous Feedback in UI Programming, Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Jun Kato, Sean McDirmid, Michal Moskal, and Nikolai Tillmann. In PLDI 2013 (LINK)

17/05/2013 - "Why Do Scala Developers Mix the Actor Model with Other Concurrency Models?", Samira Tasharofi, Peter Dinges, Ralph Johnson. In ECOOP 2013 (LINK)

10/05/2013 - Principled Parsing for Indentation-Sensitive Languages: Revisiting Landin's Offside Rule, Michael D. Adams. POPL 2013. (LINK)

26/04/2013 - Talk by Marco on 42.

19/04/2013 - Comparing complexity of API designs: an exploratory experiment on DSL-based framework integration, Stefan Sobernig, Patrick Gaubatz, Mark Strembeck, Uwe Zdun. GPCE 2011. (LINK)

12/04/2013 - Practice presentation by Fahmi

05/04/2013 - Optimization coaching: optimizers learn to communicate with programmers, Vincent St-Amour, Sam Tobin-Hochstadt and Matthias Felleisen. OOPSLA, 2012 (LINK)

15/03/2013 - Software Visualisation with a Multi-Touch Table, Craig Anslow. (Craig will give a demo of his thesis work on the multi-touch table).

08/03/2013 - Loop Recognition in C++/Java/Go/Scala. Robert Hundt (Google), Scala Days 2011 (LINK)

08/02/2013 - Sound and Complete Flow Typing with Unions, Intersections and Negations, David J. Pearce (LINK)

01/02/2013 - Functional Reactive Programming, Continued, Henrik Nilsson, Antony Courtney and John Peterson (LINK)

18/01/2013 - State of the Lambda: Libraries Edition, Brian Goetz (LINK)

11/01/2013 - Reconsidering custom memory allocation, Emery D. Berger, Benjamin G. Zorn and Kathryn S. McKinley. OOPSLA'02 (awarded most influential paper from 10 years ago) (LINK)

07/12/2012 - Views: Compositional Reasoning for Concurrent Programs, Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew Parkinson and Hongseok Yang, POPL'13 (LINK)

30/11/2012 - Building Useful Program Analysis Tools Using an Extensible Java Compiler, Edward Aftandilian, Raluca Sauciuc, Siddharth Priya and Sundaresan Krishnan (LINK)

23/11/2012 - All Syntax Errors Are Not Equal, Paul Denny, Andrew Luxton-Reilly and Ewan Tempero, ITiCSE '12 (LINK)

16/11/2012 - Social Influences on Language Adoption, Leo Meyerovich and Ariel Rabkin, ICSE 2013 (LINK)

09/11/2012 - Confessions of a Used Programming Language Salesman: Getting the Masses Hooked on Haskell, Erik Meijer, OOPSLA 2007 (LINK).

02/11/2012 - Searching without Objectives (VIDEO), Kenneth Stanely, (LINK)

26/10/2012 - Predicate abstraction of Java programs with collections, Pavel Par�zek and Ondrej Lhot�k (LINK)

Previous Meetings

• ProgrammingLanguages2008
• ProgrammingLanguages2007
• ProgrammingLanguages2006
• ProgrammingLanguages2005