S-REPLS is a regular meeting, based in the south of England, for anyone with an interest in the semantics and implementation of programming languages. Fun in the Afternoon is a seminar on functional programming and related topics. This site describes the arrangements for a joint meeting of these two communities at Bristol Engine Shed in November 2023.
- Bob Atkey, University of Strathclyde
- Data Types with Negation
- Inductive data types are a foundational tool for representing data and knowledge in dependently typed programming languages. The user defines an inductive data type by declaring constructors for constructing positive evidence. For example, evidence of a path through some graph, or the parse tree as evidence that a context-free grammar accepts some input. But in some cases, positive evidence is not enough. What if we want evidence that no path exists? or we want to represent parse trees of backtracking parsers, where alternatives are only tried in the case when another parse didn’t work? In this talk, I will explain how the use of negative evidence arises in many places in programming languages, describe a way of extending inductive data types with negation, and how we can understand them as a complex interaction of inductive and coinductive types.
- Ákos Hajdu, Meta/WhatsApp
- Static and dynamic code analyses for WhatsApp server
- This talk gives an overview of the code analysis techniques that regularly scan WhatsApp server’s Erlang codebase. We focus on a dynamic analysis based on traffic generation and static analyses based on symbolic execution and abstract interpretation. The analyses are capable of detecting pre-defined issues (such as crashes), as well as user-defined properties (such as taint analysis). We report on our experience and the challenges of deploying these analyzers on Erlang code at an industrial scale, supporting the messaging app used everyday by over 2 billion people.
|09:00 - 09:50||Arrival|
|09:50 - 10:00||Welcome from the organisers|
|10:00 - 11:15||Contributed Talks 1
|11:15 - 11:30||Break (15 mins)|
|11:30 - 12:30||Keynote 1: Bob Atkey, University of Strathclyde|
|12:30 - 13:30||Lunch (60 mins)|
|13:30 - 14:30||Keynote 2: Akos Hajdu, Meta/WhatsApp|
|14:30 - 14:45||Break (15 mins)|
|14:45 - 16:00||Contributed Talks 2
|16:00 - 16:30||Break (30 mins)|
|16:30 - 17:20||Contributed Talks 3
|17:20 - 17:50||Break (30 mins)|
|17:50 - 18:40||Contributed Talks 4
|18:40 - 19:00||Closing|
Please sign up at EventBrite if you wish to attend.
Attendance is free of charge, and both refreshments and lunch will be provided, but we need you to sign up because places are limited and catering requirements must be estimated.
Engine shed is adjacent to Bristol Temple Meads railway station. Great Western Railway (GWR) offer some reduced rail fares for event delegates if you are travelling from a station operated by GWR.
Organisers & Sponsors
This event is made possible by the generous sponsorship of the UK Research Institute on Verified Trustworthy Software Systems.
The event is organised and part funded by the Programming Languages Research Group (PLRG) at the University of Bristol. For any queries, please contact: Alex Kavvos and Steven Ramsay on firstname.lastname@example.org.