Simon Fowler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
1997–2026
Best venue rank
A
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | Coordination | Proof of Delivery: Mechanized Mailbox Types. | Edgard Schiebelbein, Annette Bieniusa, Simon Fowler |
| 2025 | ESOP | Multiparty Session Types with a Bang! | Matthew Alan Le Brun, Simon Fowler, Ornela Dardha |
| 2022 | GPCE | Language-Integrated Query for Temporal Data. | Simon Fowler, Vashti Galpin, James Cheney |
| 2021 | CONCUR | Separating Sessions Smoothly. | Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris |
| 2021 | ECOOP | Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. | Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay |
| 2020 | ECOOP | Model-View-Update-Communicate: Session Types Meet the Elm Architecture. | Simon Fowler |
| 2017 | ECOOP | Mixing Metaphors: Actors as Channels and Channels as Actors. | Simon Fowler, Sam Lindley, Philip Wadler |
| 2015 | PADL | Reactive Single-Page Applications with Dynamic Dataflow. | Simon Fowler, Loc Denuzire, Adam Granicz |
| 1997 | RTSS | Formal development of a real-time kernel. | Simon Fowler, Andy J. Wellings |