10th South of England Regional Programming Language Seminar (S-REPLS 10)

Birkbeck, University of London, 18 September 2018

Tentative Programme

The talks will be held in lecture theatre B01 in the Clore Management Centre. Lunch and refreshments will be provided in the foyer in front of the lecture theatre.

10:00-10:25 - Arrival and Coffee

10:25-10:30 - Welcome

10:30-12:10 - Session 1
- 10:30-11:20 - Keynote: Formal methods for JavaScript
  Philippa Gardner, Imperial College London
- 11:20-11:45 - Concurrency-Aware Thread Scheduling for High-Level Synthesis
  Nadesh Ramanathan, Imperial College London
- 11:45-12:10 - Relational Algebra by Way of Adjunctions
  Jeremy Gibbons, University of Oxford
  Slides

12:10-13:10 - Lunch

13:10-14:50 - Session 2
- 13:10-14:00 - Keynote: Synthesis of Surveillance Strategies for Mobile Sensors
  Rayna Dimitrova, University of Leicester
  Slides
- 14:00-14:25 - Semantics of Linker Scripts: A Static Analysis Perspective
  Kareem Khazem, University College London
  Slides
- 14:25-14:50 - What Are We Going To Do About Libraries? A Work in Non-Progress Talk
  Martin Brain, University of Oxford
  Slides

14:50-15:20 - Coffee Break

15:20-17:00 - Session 3
- 15:20-16:10 - Keynote: Logic Programming for Big Data in Computational Biology
  Nicos Angelopoulos, Wellcome Sanger Institute and University College London
  Slides
- 16:10-16:35 - Compiler Fuzzing: How Much Does it Matter?
  Michaël Marcozzi, Imperial College London
  Slides
- 16:35-17:00 - Generalized Points-to Graph: A New Abstraction of Memory in Presence of Pointers
  Pritam Gharat, Imperial College London
  Slides

17:00-17:30 - Coffee Break

17:30-18:45 - Session 4
- 17:30-17:55 - Parallel Parsing Processes Revisited
  Mike Spivey, University of Oxford
  Slides
- 17:55-18:20 - FROST: an attribute-based and user-centric access control policy language for open systems
  Kwok Cheung, Xain
- 18:20-18:45 - Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent
  Reuben Rowe, University of Kent
  Slides