News
12th Apr - New speaker: Tobias Wrigstad, Uppsala
Secretly, Tobias has a split personality where one half likes to design abstractions and type systems that solve hard problems safely, and the other enjoys the beauty and simplicity of C.
10th Apr - New speaker: Steve Blackburn, ANU
Steve's research interests include the design of new high-throughput garbage collection algorithms, the performance analysis and methodology for memory management, and the engineering of memory management systems.
27th Mar - Martin Odersky is no longer able to speak at PLISS due to family obligations.
1st Mar - New speaker: Jeff Bezanson, Julia Computing
Jeff is a co-creator of the Julia programming language, and an alumnus of the MIT Computer Science and Artificial Intelligence Laboratory.
25th Feb - New speaker: Matt Might, University of Utah
Matt conducts research in static analysis of higher-order programs, is a visiting professor at the Harvard Medical School and a strategist in the Executive Office of the President at the White House.
Title: Introduction to Static Analysis via Abstracting Abstract Machines.
25th Feb - New speaker: Francesco Logozzo, Facebook
Francesco is a senior research facebook, looking at abstract interpretation and static program analysis.
Title: Formal methods for real: Abstract interpretation and its industrial applications.
14th Feb - New speaker: David Edelsohn, IBM Research
David is the maintainer of GCC port for PowerPC, a member of the GCC Steering Committee, member of the PyPy leadership team.
Title: The Benefits and Pitfalls of Extending a Statically Typed Language JIT Compiler for Dynamic Scripting Languages.
10th Feb - New speaker: Sophia Drossopoulou, Imperial College
Sophia's research is centered around reasoning about programs, program composition, session types, ownership types, concurrency, and in general, programming language design and modelling.
Title: The Language Pony.