Dr Simon Fowler

  • Research Associate (Computing Science)

Biography

I am a Research Associate in the School of Computing Science, working on the STARDUST project with Simon Gay and Phil Trinder. My current focus is on type systems for communication protocols, known as session types, and their integration with distribution-friendly programming paradigms such as the actor model.

Before joining Glasgow, I spent six years at the University of Edinburgh, firstly obtaining my PhD under the supervision of Sam Lindley and Phil Wadler, and secondly working as a Research Software Engineer with James Cheney. I have also worked at IntelliFactory in Budapest, and OCaml Labs in Cambridge.

Research interests

Broadly speaking, my research interests are in the design and implementation of programming languages. I am particularly interested in functional programming languages, and their applications to concurrency, web applications, and data management.

Publications

List by: Type | Date

Jump to: 2020 | 2019 | 2017 | 2016 | 2015 | 2013
Number of items: 8.

2020

Fowler, S. (2020) Model-View-Update-Communicate: Session Types meet the Elm Architecture. In: European Conference on Object-Oriented Programming 2020 (ECOOP'20), 15-17 Nov 2020, p. 14. (In Press)

Fowler, S. , Horn, R. and Cheney, J. (2020) Artifact for "Language-Integrated Updatable Views". [Artefact]

Horn, R. , Fowler, S. and Cheney, J. (2020) Language-Integrated Updatable Views. In: 31st Symposium on Implementation and Application of Functional Languages (IFL 2019), Singapore, 25-27 Sep 2019, (In Press)

2019

Fowler, S. , Lindley, S. , Morris, J. G. and Decova, S. (2019) Exceptional asynchronous session types: session types without tiers. Proceedings of the ACM on Programming Languages, 3(POPL), 28. (doi: 10.1145/3290341)

2017

Fowler, S. , Lindley, S. and Wadler, P. (2017) Mixing Metaphors: Actors as Channels and Channels as Actors. In: 31st European Conference on Object-Oriented Programming (ECOOP 2017), Barcelona, Spain, 18-23 Jun 2017, p. 11. ISBN 9783959770354 (doi:10.4230/LIPIcs.ECOOP.2017.11)

2016

Fowler, S. (2016) An Erlang implementation of multiparty session actors. Electronic Proceedings in Theoretical Computer Science, 223, pp. 36-50. (doi: 10.4204/eptcs.223.3)

2015

Fowler, S. , Denuzière, L. and Granicz, A. (2015) Reactive single-page applications with dynamic dataflow. In: Pontelli, E. and Son, T. C. (eds.) Practical Aspects of Declarative Languages: 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings. Series: Lecture notes in computer science (9131). Springer: Cham, pp. 58-73. ISBN 9783319196855 (doi:10.1007/978-3-319-19686-2_5)

2013

Fowler, S. and Brady, E. (2013) Dependent Types for Safe and Secure Web Programming. In: Proceedings of the 25th symposium on Implementation and Application of Functional Languages (IFL '13), Nijmegen, The Netherlands, 28-30 Aug 2013, pp. 49-60. ISBN 9781450329880 (doi:10.1145/2620678.2620683)

This list was generated on Wed Sep 23 13:09:17 2020 BST.
Jump to: Articles | Book Sections | Conference Proceedings | Artefact
Number of items: 8.

Articles

Fowler, S. , Lindley, S. , Morris, J. G. and Decova, S. (2019) Exceptional asynchronous session types: session types without tiers. Proceedings of the ACM on Programming Languages, 3(POPL), 28. (doi: 10.1145/3290341)

Fowler, S. (2016) An Erlang implementation of multiparty session actors. Electronic Proceedings in Theoretical Computer Science, 223, pp. 36-50. (doi: 10.4204/eptcs.223.3)

Book Sections

Fowler, S. , Denuzière, L. and Granicz, A. (2015) Reactive single-page applications with dynamic dataflow. In: Pontelli, E. and Son, T. C. (eds.) Practical Aspects of Declarative Languages: 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings. Series: Lecture notes in computer science (9131). Springer: Cham, pp. 58-73. ISBN 9783319196855 (doi:10.1007/978-3-319-19686-2_5)

Conference Proceedings

Fowler, S. (2020) Model-View-Update-Communicate: Session Types meet the Elm Architecture. In: European Conference on Object-Oriented Programming 2020 (ECOOP'20), 15-17 Nov 2020, p. 14. (In Press)

Horn, R. , Fowler, S. and Cheney, J. (2020) Language-Integrated Updatable Views. In: 31st Symposium on Implementation and Application of Functional Languages (IFL 2019), Singapore, 25-27 Sep 2019, (In Press)

Fowler, S. , Lindley, S. and Wadler, P. (2017) Mixing Metaphors: Actors as Channels and Channels as Actors. In: 31st European Conference on Object-Oriented Programming (ECOOP 2017), Barcelona, Spain, 18-23 Jun 2017, p. 11. ISBN 9783959770354 (doi:10.4230/LIPIcs.ECOOP.2017.11)

Fowler, S. and Brady, E. (2013) Dependent Types for Safe and Secure Web Programming. In: Proceedings of the 25th symposium on Implementation and Application of Functional Languages (IFL '13), Nijmegen, The Netherlands, 28-30 Aug 2013, pp. 49-60. ISBN 9781450329880 (doi:10.1145/2620678.2620683)

Artefact

Fowler, S. , Horn, R. and Cheney, J. (2020) Artifact for "Language-Integrated Updatable Views". [Artefact]

This list was generated on Wed Sep 23 13:09:17 2020 BST.

Simon Fowler in front of a whiteboard