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: 2021 | 2020 | 2019 | 2017 | 2016 | 2015 | 2013
Number of items: 12.

2021

Fowler, S. , Kokke, W., Dardha, O. , Lindley, S. and Morris, J. G. (2021) Separating Sessions Smoothly. In: 32nd International Conference on Concurrency Theory (CONCUR 2021), 23-27 Aug 2021, 36:1-36:18. ISBN 9783959772037 (doi:10.4230/LIPIcs.CONCUR.2021.36)

Harvey, P., Fowler, S. , Dardha, O. and Gay, S. J. (2021) Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. In: 35th European Conference on Object Oriented Programming (ECOOP 2021), 12-17 Jul 2021, (doi:10.4230/LIPIcs.ECOOP.2021.10)

Harvey, P., Fowler, S. , Dardha, O. and Gay, S. J. (2021) Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. [Artefact]

Fowler, S. , Harding, S. D., Sharman, J. and Cheney, J. (2021) Cross-tier web programming for curated databases: a case study. International Journal of Digital Curation, 16(1), (doi: 10.2218/ijdc.v16i1.735)

2020

Fowler, S. (2020) Model-View-Update-Communicate: Session Types meet the Elm Architecture. In: 34th European Conference on Object-Oriented Programming (ECOOP 2020), 15-17 Nov 2020, p. 14. ISBN 9783959771542 (doi:10.4230/LIPIcs.ECOOP.2020.14)

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

2019

Horn, R., Fowler, S. and Cheney, J. (2019) Language-Integrated Updatable Views. In: 31st Symposium on Implementation and Application of Functional Languages (IFL 2019), Singapore, 25-27 Sep 2019, p. 13. ISBN 9781450375627 (doi:10.1145/3412932.3412945)

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 Mon Sep 20 01:36:31 2021 BST.
Jump to: Articles | Book Sections | Conference Proceedings | Artefact
Number of items: 12.

Articles

Fowler, S. , Harding, S. D., Sharman, J. and Cheney, J. (2021) Cross-tier web programming for curated databases: a case study. International Journal of Digital Curation, 16(1), (doi: 10.2218/ijdc.v16i1.735)

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. , Kokke, W., Dardha, O. , Lindley, S. and Morris, J. G. (2021) Separating Sessions Smoothly. In: 32nd International Conference on Concurrency Theory (CONCUR 2021), 23-27 Aug 2021, 36:1-36:18. ISBN 9783959772037 (doi:10.4230/LIPIcs.CONCUR.2021.36)

Harvey, P., Fowler, S. , Dardha, O. and Gay, S. J. (2021) Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. In: 35th European Conference on Object Oriented Programming (ECOOP 2021), 12-17 Jul 2021, (doi:10.4230/LIPIcs.ECOOP.2021.10)

Fowler, S. (2020) Model-View-Update-Communicate: Session Types meet the Elm Architecture. In: 34th European Conference on Object-Oriented Programming (ECOOP 2020), 15-17 Nov 2020, p. 14. ISBN 9783959771542 (doi:10.4230/LIPIcs.ECOOP.2020.14)

Horn, R., Fowler, S. and Cheney, J. (2019) Language-Integrated Updatable Views. In: 31st Symposium on Implementation and Application of Functional Languages (IFL 2019), Singapore, 25-27 Sep 2019, p. 13. ISBN 9781450375627 (doi:10.1145/3412932.3412945)

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

Harvey, P., Fowler, S. , Dardha, O. and Gay, S. J. (2021) Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. [Artefact]

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

This list was generated on Mon Sep 20 01:36:31 2021 BST.

Simon Fowler in front of a whiteboard