S-REPLS 8 (#srepls8)
South of England Regional Programming Language Seminar series

Fri Jan 5th 2018 10:00 - 18:00
King's College London, Bush House, BH (S) 4.04


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.


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


Powered by Eventbrite


#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).


#srepls8 is free to attend, thanks to the support of the EPSRC Lecture fellowship.


If you have any questions at all about #srepls8, please don't hesitate to contact us.

Organisers: Lukas DiekmannLaurence Tratt
Email: info@soft-dev.org