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.
28th Feb - Early bird registration: March 31st
Please register here.
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.