S-REPLS 3
Welcome to the 3rd South of England Regional Programming Language Seminar. The seminar is free of charge and lunch provided.
Please sign up to attend via this Doodle poll.
Our Invited Speaker is Derek Dreyer from MPI-SWS speaking on the Rust language.
Location
Directions to University of Kent at Canterbury. We are in Grimond Lecture Theatre 2.
The workshop will start at 11:45am and end at 6:00pm. Lunch will be provided from 1pm to 2pm.
Schedule
| 11:45–12:00 | Welcome |
| 12:00–13:00 | Invited talk by Derek Dreyer (MPI-SWS) |
| RustBelt: Logical Foundations for the Future of Safe Systems Programming Abstract | |
| 13:00–14:00 | Lunch |
| 14:00–14:30 | Jeremy Gibbons (Oxford) |
| Free Delivery Abstract | |
| 14:30–15:00 | Stephen Dolan (Cambridge) |
| Principal type inference with subtyping Abstract | |
| 15:00–15:30 | Matthew Pickering (Oxford) |
| Profunctor Optics Abstract | |
| 15:30–16:00 | Kathryn Gray (Cambridge) |
| Sail: A DSL for Rigorous Architectural Specifications Abstract | |
| 16:00–16:30 | Break |
| 16:30–17:00 | Andrew Kennedy (Facebook) |
| The Hack programming language: Types for PHP Abstract | |
| 17:00–17:30 | Luís Pina (Imperial) |
| Deploying Dynamic Analyses and Preventing Compiler Backdoors with Multi-Version Execution Abstract | |
| 17:30–18:00 | Ilya Sergey (UCL) |
| Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects Abstract |