Publications

Separating Sessions Smoothly
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, and J. Garrett Morris
Logical Methods in Computer Science
Extended journal version of CONCUR'21 paper
[LMCS]
Special Delivery: Programming with Mailbox Types
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay and Phil Trinder
PACMPL 7(ICFP), 2023
[Extended] [Artifact (Evaluated)]
Language-Integrated Query for Temporal Data
Simon Fowler, Vashti Galpin, and James Cheney
GPCE 2022
[Extended] [Artifact]
Separating Sessions Smoothly
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, and J. Garrett Morris
CONCUR 2021
Shortlisted for best paper award
Superseded: See journal version
[Extended] [LIPIcs] [Video]
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
Paul Harvey, Simon Fowler, Ornela Dardha, and Simon J. Gay
ECOOP 2021
[Extended] [LIPIcs] [Artifact (Evaluated)] [Video]
Cross-tier web programming for curated databases: A case study
Simon Fowler, Simon D. Harding, Joanna Sharman, and James Cheney
International Journal of Digital Curation 16(1). Presented at IDCC 2020.
[arXiv] [Data] [IDCC Pre-print (Old)]
A Polymorphic RPC Calculus
Kwanghoon Choi, James Cheney, Simon Fowler, and Sam Lindley
Science of Computer Programming
[Elsevier]
Model-View-Update-Communicate: Session Types meet the Elm Architecture
Simon Fowler
ECOOP 2020
[Extended] [LIPIcs] [Artifact (Evaluated)] [Video]
Language-Integrated Updatable Views
Rudi Horn, Simon Fowler, and James Cheney
IFL 2019
[Extended] [Artifact]
Exceptional Asynchronous Session Types: Session Types without Tiers
Simon Fowler, Sam Lindley, J. Garrett Morris, and Sara Decova
PACMPL 3(POPL), 2019
Note: this version fixes a small error in Lemma 3.4, so should be preferred to the journal version.
[Extended] [ACM] [Artifact (Evaluated)] [Video]
Mixing Metaphors: Actors as Channels and Channels as Actors
Simon Fowler, Sam Lindley, and Philip Wadler
ECOOP 2017
Superseded: see the chapters in my PhD Thesis.
[LIPIcs] [Video]
An Erlang Implementation of Multiparty Session Actors
Simon Fowler
ICE 2016
[EPTCS]
Reactive Single-Page Applications with Dynamic Dataflow
Simon Fowler, Loic Denuziere, and Adam Granicz
PADL 2015
[Springer]
Dependent Types for Safe and Secure Web Programming
Simon Fowler and Edwin Brady
IFL 2013
[ACM]

Theses

Typed Concurrent Functional Programming with Channels, Actors, and Sessions
PhD Thesis, University of Edinburgh, 2019
Monitoring Erlang/OTP Applications using Multiparty Session Types
MSc by Research Thesis, University of Edinburgh, 2015
Verified Networking using Dependent Types
BSc Dissertation, University of St Andrews, 2014

Miscellaneous

Event-Driven Multiparty Session Actors
Simon Fowler and Raymond Hu
Extended abstract, presented at HOPE 2023
Introduction to Session Types
Slides for course given at SPLV 2023.