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

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.

Please register before Dec 11th using the registration form below.

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

Powered by Eventbrite

Travel

#srepls8 will be held in Bush House, King's College London, in room BH (S) 4.40 (Bush House Central Block, floor 4, South Side, room 4.40). For travel planning, we recommend using Citymapper (either the website or mobile app) with a destination postcode of WC2B 4PJ. Bush House has entrances from the North (via Kingsway) and South (via the Strand) – either can be used, though the North entrance has permanent reception staff, who can be useful if you're unsure where to go.

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 DiekmannLaurence Tratt
Email: info@soft-dev.org