S-REPLS 8 (#srepls8)
South of England Regional Programming Language Seminar series
King's College London, Bush House, BH (S) 4.04
Overview
S-REPLS is a regular and informal meeting for those based in the South of England with a professional interest - whether it be academic or commercial - in the semantics and implementation of programming languages. Attendance is free and lunch and refreshments are provided.
On this page you can find a programme, directions for travel, availability of wifi access for attendees, and information about our sponsors and organisers. For your diary, you may wish to note that S-REPLS 9 will be held at the University of Sussex on 2018-05-25.
Programme
| Time | Session | Speaker |
|---|---|---|
| 10:00 -- 10:30 | Arrival and coffee | |
| 10:30 -- 10:35 | Welcome | |
| 10:35 -- 11:30 | Who guards the guards? Formal Validation of the ARM v8-M Architecture Specification | Alastair Reid |
| Safe and Efficient Data Representations for Dynamic Languages with Shared-Memory Parallelism | Stefan Marr | |
| 11:30 -- 12:00 | Break | |
| 12:00 -- 13:00 | Keynote talk: We Software People are not Worthy - All Hail the Hardware Gods | Sylvan Clebsch |
| 13:00 -- 14:15 | Lunch | |
| 14:15 -- 15:15 | String-diagram Semantics for Functional Languages with Data-flow | Steven Cheung |
| Slicing Extended Finite State Machines | Kelly Androutsopoulos | |
| 15:15 -- 16:00 | Afternoon break with refreshments | |
| 16:00 -- 17:30 | Rule-based Graph Programming | Detlef Plump |
| Transactions in Relaxed Memory Architectures | Brijesh Dongol | |
| Fast, Precise Dynamic Checking of Types and Bounds in C | Stephen Kell | |
| 18:00 -- late | Dinner at Fire and Stone, 31/32 Maiden Lane, WC2E 7JS |
Tickets
Travel
#srepls8 will be held in Bush House, King's College London, in room BH (S) 4.04 (Bush House Central Block, floor 4, South Side, room 4.04). For travel planning, we recommend using Citymapper (either the website or mobile app) with a destination postcode of WC2B 4LL. We recommend entering Bush House via its main Northern entrance (between the big pillars) from the North Side (via Kingsway). The reception staff will sign you and direct you to the right room.
WiFi access at King's
#srepls8 attendees from UK academic institutions can use their Eduroam account during the event (SSID: eduroam). Visitors without an Eduroam account may use the free Cloud service (SSID: The Cloud).
Sponsorship
#srepls8 is free to attend, thanks to the support of the EPSRC Lecture fellowship.
Organisation
If you have any questions at all about #srepls8, please don't hesitate to contact us.
| Organisers: | Lukas Diekmann, Laurence Tratt |
| Email: | info@soft-dev.org |
